ゼロ知識証明（ZKP）

ゼロ知識証明は、元のデータを明かしたり作業をやり直したりせずに、ある主張が正しいことを証明できる仕組みです。重要なのは、証明を確認するほうが、作るよりはるかに安く済むことです。

たとえば Pearl はゼロ知識証明（Plonky2 というシステムを使用）を使うので、プールは各シェアの重い計算が正しく行われたことを安く再検証できます。