Ligero 是一个用于安全多方计算 (MPC) 和零知识证明 (ZKP) 的轻量级、可扩展协议。