snark

イーサリアム財団の形式的検証チームがYukon、zkSecurityと協力して構築したオープン自動研究チャレンジbetter.codesが現在オンラインになりました。このプラットフォームは、Proximity Prizeの自己包含問題をLeanで形式化し、koalaIRS12の機械検査の信頼性界を公共ランキングに入れ、誰でも推進して向上させることができるようにし、ハッシュベースのSNARKおよび後量子イーサリアム関連のセキュリティ基準を進めます。解決者はAIエージェントを持ち込むことができ、このReed-Solomon近接問題に対してより高い信頼性下界を証明し、固定の128ビット目標に向かって進みます。Leanカーネルは各提出物を検証し、昇格した証明は公開界を向上させ、その新しい補題、証明技術、不可能性結果は上流で同期され、すべての参加者が再利用できるようになります。生産環境におけるほとんどのハッシュSNARKは関連する近接ギャップと関連する合意結果に依存していますが、現在証明可能な結果は研究者が信じる基準を下回っており、このチャレンジはオープンで増分的、検証可能な方法でこのギャップを縮小することを目的としています。koalaIRS12は関連論文に由来し、エンドツーエンドでArkLibに形式化されています。参加者はGitHubを通じてログインし、チャレンジリポジトリをクローンし、固定定理の陳述と検証フレームワークの下で提出することができます。比較器とLeanカーネルが確認した後、結果は公共リポジトリに記録され、解決者と使用したモデルが明記されます。本日オンラインになったのは、koalaIRS12の証明された下界を128ビットに引き上げる信頼性チャレンジであり、今後はさらに多くの問題が追加される可能性があり、詳細はプロジェクトの条項に準じます。

Justin Drake は X プラットフォームで、イーサリアム L1 が 2019 年から主導されていた SNARK フレンドリーなハッシュ関数 Poseidon を採用せず、SHA2 や BLAKE2s などの従来のハッシュ関数に移行することを発表しました。この調整は、SNARK 設計分野の進展に基づいており、「SNARK フレンドリーなハッシュ」から「ハッシュフレンドリーな SNARK」への重点移行を示しています。バイナリフィールドのネイティブアライメントを通じて、従来のハッシュにおけるブール操作が SNARK における証明性能を毎秒 100 万回に達成し、オーバーヘッドは約 100 倍となっています。Binius や Flock などの研究が関連する進展を促進しました。イーサリアム財団のポスト量子チームはこのルートを推進しており、ロードマップには 2027 年に生産レベルの leanVM を展開し、2028 年にはコンセンサス層、実行層、データ処理層を展開することが含まれています。Justin Drake はまた、AI の暗号解析能力の向上により、格基方案 HAWK と同源方案 SQIsign が最近連続して打撃を受けており、ハッシュベースの方案がブロックチェーンのポスト量子署名に使用されていると述べました。オープンソースの自動研究トレンドも加速しており、SNARK.fast は毎秒 180 万回の BLAKE3 証明を実現しています。

ChainCatcher のメッセージ、Vitalik Buterin は X に投稿して次のように述べています："私たちがペースを加速する必要がある多くのことの一つは Groth16 を廃止することです。2020年代において、各アプリケーションの信頼できる設定は実行不可能です。少なくとも一般的な設定が必要で、理想的には設定が全くないことです。これはインフラストラクチャと新しい SNARK アルゴリズムの標準化において重大な改善が必要です。"報告によると、Groth16 アルゴリズムは Jens Groth によって 2016 年に発表されたアルゴリズムです。このアルゴリズムの利点は、提供される証明要素の数が少なく（わずか 3 つ）、等式の検証が簡単で、完全性と多項式計算能力の下での信頼性を保証することです。

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

ChainCatcher のメッセージによると、CoinDesk が報じたところでは、ビットコインの二層ネットワークをサポートするインフラストラクチャ BitcoinOS （BOS）が、ビットコインでのさらなる実験のために BitSNARK 検証プロトコルをオープンソース化したと述べています。チームは、BitSNARK が zk-SNARK 証明をビットコイン上で実行できることを可能にし、コアプロトコルを変更する必要がないとしています。先進的な暗号技術を駆使することで、任意のコードをコンパイルしてビットコイン上で実行することができます。

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 のメッセージによると、The Block の報道で、a16z Crypto が Jolt という名前の zkEVM ソリューションを発表し、SNARK を利用して EVM 互換 Rollups にフレームワークを提供しています。a16z Crypto は次のように述べています："速度の向上に加えて、Jolt は新しいデザインパラダイムに基づいているため、開発者はより簡単にスケールアップでき、監査も容易になり、安全性が向上します。"

ChainCatcher のメッセージ、ゼロ知識証明加速プラットフォーム Ulvetanna が「Binius：ハードウェア最適化された SNARK」という研究論文を発表しました。この論文では、バイナリフィールドに基づく SNARK の性能最適化構築方法を示し、現実世界の ZKP 生成プロセスにおける性能向上をもたらすことができることを説明しています。さらに、チームはこのシステムの Rust 実装方法（Binius と呼ばれる）に取り組んでいます。

ChainCatcher のメッセージによると、Andreessen Horowitz の暗号通貨部門 a16z crypto は、SNARK に基づく新しい技術 Lasso と Jolt の2つを発表しました。これは、SNARKs の設計に対するより効率的なアプローチを提供し、開発者がより迅速かつ容易に理解できるようになり、Layer 2 における ZK-rollups の発展を促進する可能性があります。文中では、Lasso が「パラメータ検索」メカニズムを採用しており、より迅速なゼロ知識証明を可能にすると述べられています。Jolt は、イーサリアム仮想マシンと互換性のある Roll-ups のために特別に設計されたフレームワークです。これは、Lasso を利用して SNARK VM（SNARK 証明によって実行される仮想マシン）を構築する新しい方法として説明されています。