ゼロ知識証明は実行を証明に圧縮します: 1 つの証明で全員の作業が検証されます。 ブロックチェーンのスケーリングが容易な小さな証明におけるブロックチェーンの大きな数学。