Ligero 是一個用於安全多方計算 (MPC) 和零知識證明 (ZKP) 的輕量級、可擴展協議。