昨年、数人の開発者と話していた時、彼らは「今のZKを学ぶのは公務員試験のようだ」と不満を言っていました。まずは楕円曲線とCircomという二冊の「論文教材」をしっかり勉強しなければなりません。しかし、サトシの賢いところは、この開発体験を根本的に覆したことです――今ではRustのコードを書くことさえできれば、残りのZK証明生成作業は彼らのSP1 zkVMに任せることができます。これは、プロの一眼レフカメラをスマートフォンの「ポートレートモード」に変えるようなもので、開発者は構図だけを気にすれば、複雑な露出設定はすべて自動で処理されます。

技術指標上では確かに優れています。公式テストによると、SP1 zkVMの性能は従来のソリューションより4倍から28倍速く、特定のシナリオでは開発時間を100倍節約できることもあります。しかし、私が本当に興味を持ったのは彼らの経済モデルの設計です。その分散型証明者ネットワーク（Prover Network）は本質的には計算能力版の滴滴打車システムであり、世界中のノードがいつでも注文を受けるために待機しています。$P