「知識から知識ゼロへ」のパート5はライブ配信中です。 コードは実際にどのように証明可能になるのでしょうか? zkVMとは何で、なぜ重要なのでしょうか?🧵

ZK証明システムは数学の方程式を扱います。 開発者はコードを書く。 そのギャップを埋めるには、かつては手作業で算術回路を書く必要がありました。強力だが、それを成し遂げられるのは専門家だけだ。 zkVMsはこれを変えました。 普通のRustを書いて、証明を集めましょう。回路の専門知識は必要ありません。

AI開発の進化を考えてみてください。 TensorFlowを使う前は、低レベルのGPUコードを書く必要がありました。神経ネットワークを構築できるのは専門家だけです。 フレームワークは複雑さを抽象化しました。その後、何百万人もの開発者が続きました。 zkVMもゼロノミックに対して同じことをしています。

すべてのzkVMが同じではありません。各チームは最適化対象に基づいてアーキテクチャの選択を行います。 透明性を重視するところもあります。 安価なオンチェーン認証を優先する人もいます。 スピードを優先する人もいます。 すべてに最適化することはできません。 トレードオフは避けられません。