ZK証明は暗号通貨を革命的に変え、エゴを膨らませています。誰もが唯一の真の証明システムを持っていると主張しますが、重要なのは応用であり、証明は今や商品化されています。 また、企業の新しいzk証明が「h」や「hyper」で始まる場合、彼らは古い神を捨ててsum-checkに切り替えた

Sum-checkはZKのアプローチで、あまりにも古いもので、Twitterで誰もそれを発明したとは言えません。 ジャスティン・セイラーは、それが実際に役立つことを指摘して名を馳せました。彼の言う通りかもしれない...あるいは新しいカルトを結成する。 しかしプロジェクトは総和チェックに切り替え、時には自分たちの作り話の神を装うこともあります...

さて、寓話はこれくらいにしよう。 SNARKはプログラムを多項式として表現します。和検査は多変量多項式を用い、例えば P(x,y) = x^2+2y を用います。さらに混乱を招くのは、「h」と「ハイパー」という命名スタイルは、ブールハイパーキューブを形成する多項式に由来することです。各変数が0か1といった、ちょっとした言い方です。

コンピュータに例えてください。コンピュータは10進法ではなく2進数で動作します。なぜなら、一般的な操作の中にはビット単位で分解した方が効率的なものもあるからです。 Sum-checkは、満たされていることを証明したプログラムに対して非常に似たようなことを行っています。

この手法の利点の一つは、和検査に特有のものではありません(例えば折りたたみ方式を参照)ストリーミングです。多くのFFT重視やハッシュベースの証明システムでは、証明する文全体をメモリに収める必要があります。小さなものには問題なく使えますが、ノートパソコンはすぐに使い切れます。

この制約は、証明のためにデータを送る必要がある大きなサーバーに限定されます。あまり多くはありません。 巨大なゴミ圧縮機(ええと、集中型のロールアップ)を動かすには便利ですが、クライアント側のプライバシーには失敗しており、市場は(現時点で)そちらに注目しています

繰り返しますが、sum-checkだけがストリーミング方式ではありません。折りたたみもあります。これらすべてのzkスキームを作るために注がれた努力は、それらを商品にもしていました。必要なものを選び、応募に集中しましょう。証明システムやチームを崇拝しないでください。チーム内部ではそうではありません