0からZKまで コンセプトの一瞥 #5:簡潔さ 前回のコンセプトバイトでは、「ゼロノレ」特性がプライバシーにとって実際に重要な場合について話しました。しかし、プライバシーはZKの二つの超能力のうちの一つに過ぎません。もう一つは簡潔さで、ブレヴィスがほぼすべての統合で使っているものです。🚀 簡潔性とは、証明が証明される計算量よりも劇的に小さいことを意味します。10万件のトランザクションを処理すると、その結果得られる証明は数キロバイトに過ぎません。イーサリアムブロック全体の実行を検証すれば、その証明は単一のオンチェーンコールに収まります。証明の大きさは、元の課題量がどれだけ重くてもほぼ一定のままです。 ここからが面白いところです。 証明を生成することは、計算自体を実行するよりもコストがかかります。なぜなら、証明者は生の実行に加えて追加の暗号操作を行う必要があるからです。しかし、その証明を検証するのに比べればほとんどコストがかかりません。関係性はこんな感じです: 実行>証明>>検証。 そのコスト構造こそがブロックチェーンに必要なものです。現在では、すべてのイーサリアム取引が数十万のバリデーターによって独立して再実行されており、同じ作業がネットワーク全体で繰り返されています。簡潔な証明では、一方が重労働を担い、コンパクトな証明を作り出します。他の人はただチェックするだけです。ネットワークは「みんながすべてをやる」から「一度計算し、どこでも検証する」に変わります。 📜 だからこそ、BrevisはPancakeSwapのVIP料金ティア向けの過去データ検索や、Linea向けの10億トークンの報酬分配などをガスコストを大きく高くすることなく提供できるのです。計算はオフチェーンで行われ、コストが安いです。証明はオンチェーンに届き、背後でどれだけデータを処理しても検証が固定され、手頃な価格で行われます。 簡潔さこそが、Pico Prismのリアルタイムイーサリアムブロック証明が機能する理由でもあります。ブロック全体の実行を証明し、それをスマートコントラクトでミリ秒単位で検証できるものに圧縮するのは、証明自体がブロックデータと同じくらい大きいなら意味がありません。圧縮比こそがモデル全体の実用性を生み出しています。 パート2をお読みください: