snarks

VitalikはXプラットフォームで、Aztec上に「監査付き匿名掲示板」のアイデアの玩具デモ版を開発したと発表しました。このアイデアは、彼が以前にSNARKsの使用について書いた記事に由来しており、現在は初期段階にありますが、興味深く非凡な機能を実現できるようになっています。

ChainCatcher のメッセージ、イーサリアム財団の研究者ジャスティン・ドレイクが論文を発表し、BeamSNARKs アルゴリズムに関連する詳細を明らかにしました。BeamSNARKs は強化された ZK アルゴリズムで、証明者が検証者に主張の真実性を証明できるようにし、基盤データを漏洩させることなく、また相互作用を必要としません。イーサリアムにとって、ムーンチェーンが開発した BeamSNARKs はプライバシーとスケーラビリティの二つの重要な側面で革命的です。プライバシーの面では、BeamSNARKs は敏感なデータを露出させることなく取引や計算を検証できるため、秘密取引やプライベートスマートコントラクトなどのユースケースをサポートします。報告によれば、Beam Chain はイーサリアム 3.0 時代に欠かせないコンセンサス層の改善です。これはジャスティン・ドレイクが DevCon で発表したイーサリアムを再設計する提案です。イーサリアムは PoS 時代から ZK 時代への完全な移行に数年を要する見込みで、その時点でイーサリアム自身は完全に ZK 機能を備えることになります。

ChainCatcher のメッセージ、イーサリアム財団のメンバー Justin Drake が AMA で「イーサリアム Layer 1 をさらに拡張する計画はありますか？」という質問に答えました。Justin Drake は次のように述べています：「長期的に持続可能な優雅な計画は、SNARKs を利用して L1 EVM の実行を無制限に拡張することです。リアルタイムの L1 EVM SNARKing によって、検証者は EVM トランザクションを再実行するのではなく、安価な SNARK を検証できます。L1 EVM Gas 制限を大幅に増加させることによる垂直拡張の利点に加えて、EVM 内の EVM 実行を安価に検証するために EVM-in-EVM プリコンパイルを使用して任意の水平拡張を行う機会もあります。」

ChainCatcher のメッセージ、イーサリアムの共同創設者ヴィタリック・ブテリンは最近、イーサリアムのコア開発者ペーテル・シラージのネットワークの分散化と検証メカニズムに関する疑問に応えました。検証者がどのように12秒ごとに32MBのblobトランザクションデータを取得するかについて、ブテリンは2つの可能な戦略を提案しました：各検証者がブロックの1/16のみを構築するか、検証者が完全にデータをダウンロードすることなくDASチェックのみを行うことです。Verkleツリー設計がストレージスロットを削除しない問題について、ブテリンは現在のストレージスロット削除の影響はかなり小さいと述べました。彼はトランザクションプールを廃棄するという主張を否定し、これは時代遅れの考えであり、現在のイーサリアムの研究方向とは一致しないと強調しました。ブテリンは、検証には実行レイヤー（EL）が必要ないことを認めましたが、これは大多数の人々がELを運営するのを難しくすることを意味しないと強調しました。彼は、SNARKs技術を使用することで、より多くのユーザーが完全な検証を実現できる可能性があると指摘しました。ブテリンは、検証者の重要な目標は権力の集中を避けることであり、特に合意ルールの検証、フォークの選択、トランザクションの包含において重要であると強調しました。彼は、単に証人としての期間中にEVMサイクルを再実行する必要はないと考えています。

ChainCatcher のメッセージ、Succinct Labs はメインネットで Ethereum 用の分散型 zkSNARK 相互運用性プロトコル Telepathy を発表しました。Telepathy は zkSNARKs を使用して構築されており、開発者は Ethereum のライトクライアントプロトコルのセキュリティを通じて、Ethereum から他の任意のチェーンへの信頼不要の通信を実現できます。Telepathy を支える核心的な革新は「コンセンサス証明」であり、これは Ethereum ライトクライアントプロトコルのゼロ知識簡潔証明で、任意のチェーン上で Ethereum をガス効率よく実行するためのライトクライアントを提供します。（出典リンク）