🚀 Vitalik の GKR: 暗号魔術師の拡張可能な魔術! 🧙‍♂️

ああ、イーサリアムの驚異の少年ヴィタリック・ブテリンが、暗号の大釜で新たな調合物を作り上げました! 🧪 今回、彼は GKR (Goldwasser-Kalai-Rothblum、発音できるほど上品であれば) と呼ばれる小さなものを発表しました。何のためにあるのですか？そう、貪欲な巨人が巨大な桃の瓶をむさぼり食うよりも速く、ゼロ知識証明を作るためにここにあるのです。 🍑✨

ご存知のとおり、ZK 証明はイーサリアム領域におけるプライバシーとスケーラビリティのバックボーンですが、常に少し遅いコーチでした。しかし、GKR は、終わりのない物語の退屈な部分をスキップするのと同じように、STARK のような従来のシステムが要求する退屈な約束をスキップします。代わりに、入力と出力のみにコミットし、宝物を蓄える賢いキツネのように時間とリソースを節約します。 🦊💰

GKR はどのようにして汗をかかずに校正刷りをやり遂げたのか

Vitalik は、彼の楽しく詳細なブログ投稿で、GKR が sumcheck と呼ばれる気の利いたトリックを使用していると説明しています。いくつかのランダムな点を覗くだけで複雑な計算を検証しようとすることを想像してみてください。それは、ゴブストッパーを 1 回なめただけで味を推測するようなものです。 🍭 GKR はこれを実行し、暗号化ハッシュやニューラルネットワーク推論などの多層計算を非常に効率的に実行します。

GKR にはプライバシーが組み込まれていませんが (ああ、スキャンダルです! 😱)、ZK-SNARK または ZK-STARK でラップして物事を内密に保つことができます。 Vitalik は、GKR が何百万もの Poseidon2 ハッシュ関数を並列で証明する実装を披露しました。これは、海を渡って浮かぶ巨大な桃と同じくらい印象的な偉業です。 🌊🍑

理論的には、GKR は通常の STARK と比較してオーバーヘッドを 15 倍削減できますが、実際のテストでは依然として印象的な 10 倍の改善が示されています。それは古いほうきを超音速ロケットと交換するようなものです。 🚀

イーサリアムとその先の世界にとって GKR が意味するもの

この魔法のプロトコルは、長期的なスケーラビリティのために最小限の zkVM を作成しているリーンイーサリアムチームに対する Vitalik 氏の称賛に続いて注目を集めています。 GKR は、ZK ロールアップを大幅に強化する秘密のソースである可能性があり、イーサリアム取引を森を忍び寄るずるいキツネよりも速く、安くします。 🦊🌲

しかし、待ってください、まだあります! GKR はブロックチェーンだけを対象としたものではありません。機械学習の証明にも最適です。巨人の AI が、豆そのものを明らかにすることなく、瓶の中の豆の数を正確に推測できることを証明するところを想像してみてください。 🫘🤖 研究者たちは、zk-ML 推論および汎用証明システムで GKR を使用することについてすでに話題になっています。

そして、ヴィタリック氏が最近、イーサリアムの45日間のアンステーキングキューを擁護したことも忘れてはなりません。これは、利便性よりもセキュリティを重視する彼の揺るぎない取り組みを示しています。 GKR はこの原則を体現しており、しっかりとしたチョコレート工場と同じように、堅牢さと拡張性の両方を保証します。 🍫🏭

それで、これで完成です！ GKR は、一度に 1 つずつ証明を行い、危機を救うためにここにいます。仮想通貨の世界に革命をもたらすでしょうか?時間がたてばわかりますが、一つだけ確かなことは、ヴィタリックの数々のトリックは常に驚かされるということです。 🎩✨

2025-10-20 18:52