Vitalik の GKR: ZK 証明は迅速に行われたのか、それとも単なる手先の技でしょうか? 🤯

ほら!見よ、イーサリアムの大迷宮の共同設計者である著名なヴィタリック・ブテリンが、新しいスキーム、GKR プロトコルを発表します。現代錬金術の驚異であり、ゼロ知識証明という難解な芸術を促進すると主張しています。 「これがあれば、農民のラップトップでも王にふさわしい取引を検証できるようになる!」と彼は宣言する。それとも、おそらく、私が疑っているように、それはブロックチェーンの真の複雑さの煙と鏡から目をそらすための単なる魔術師のトリックなのかもしれません。 🌀

ブログ投稿 (パーカーを着た筆記者が書いた巻物と読む) によると、GKR はすべての計算を精査するという面倒な儀式を省略している。ダンスの振り付けを無視して「見よ!フィナーレは盛大だ!」と宣言する道化師のように、入力と出力だけを見つめます。これにより、かつてはパリのカフェで淹れるよりも多くのコーヒーが必要だった昔の面倒な手順の「余分な計算」が軽減される、と彼らは主張している。 🫧

見よ、GKR チュートリアル!

– vitalik.eth (@VitalikButerin) 2025 年 10 月 20 日

GKR の基礎である sumcheck プロトコルは、膨大な計算を運任せのゲームに変えます。貴族の宴の紙吹雪のようにデータ全体にランダムなチェックをばらまき、この混沌を再帰的に重ねていきます。 “効率!”エンジニアたちは叫びますが、残りの私たちはこれが天才なのか狂人の税法なのかを考えています。 🤷

ブテリンの例: 5 幕の茶番劇

私たちのヒーローは、GKR がポセイドン 2 ハッシュを加速することを実証します。これは、目隠しをした状態でカタツムリとレースするのに似た偉業です。多項式チェックと行列計算をインターリーブすることにより、最終結果のみが残るまで作業が「簡素化」されます。これは、海を沸騰させ、その蒸気をティーカップに注ぐのと同じようなブロックチェーンと言えるかもしれません。 ☕

X についてブテリン氏は、ZK システムの不透明さを嘆いています。「もっと多くのシステムがオーバーヘッド率を共有してくれればいいのに!」高貴な嘆願、それともライバルに対するベールに包まれた攻撃でしょうか?悲しいことに、暗号の世界はエラーの喜劇であり、時間自体も暗号化される変数です。 ⏳

GKRの他に、私たちの男はイーサリアムのブロブの混雑を治すためのスキームであるフサカにも手を出しています。その中核となる PeerDAS は、ノードがデータをダウンロードせずに検証できるようにすることをあえて行います。 「安全第一!」あたかもブロックチェーンの存在そのものが貴族の名誉にかかっているかのように、彼は叫んだ。真の目標は、宇宙の帯域幅の制約、少なくとも Wi-Fi の料金を上回ることであると疑われる人もいます。 🌐

フサカがこれを解決します。

また、フサカにとって安全第一が最も重要です。コア機能である PeerDAS は、非常に前例のないことを実行しようとしています。それは、完全なデータをダウンロードするために単一のノードを必要としないライブ ブロックチェーンを実現することです。

PeerDAS の仕組みは次のとおりです…

– vitalik.eth (@VitalikButerin) 2025 年 9 月 24 日

結論として、GKR はイーサリアムの数学を民主化するかもしれません。あるいは、証明よりも速いのは興味を失う速度だけであるというラブレーの茶番劇かもしれません。いずれにせよ、ポップコーンと健全な懐疑心を忘れない限り、この光景は一見の価値があります。 🍿

2025-10-20 10:36