ligeroは、安全な多者計算（mpc）およびゼロ知識証明（zkp）のための軽量でスケーラブルなプロトコルです。