Ethereum レイヤー 2 スケーリング ソリューション zkSync Era は、消費者向け汎用処理装置 (GPU) 上で実行することを約束する、Scalable Transparent Argument of Knowledge (STARK) ベースの新しい証明システム Boojum をリリースしました。
ZkSync Era は、ゼロ知識ロールアップ (ZK ロールアップ) を使用して、手数料を削減しながら容量と速度を向上させる数少ない Ethereum スケーリング プロトコルの 1 つです。ZK ロールアップでは主に、zk-STARK と Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARK) という 2 つの著名な証明システムが使用されます。
新しい Boojum 証明システムは、zkSync の Rust ベースの暗号化ライブラリに基づいており、zkSync Era とその ZK 開発者スタックの算術回路のアップグレード バージョンを実装しています。最も重要なのは、強力なハードウェアやサーバーではなく、一般的なパーソナル コンピューターで Boojum 証明器を実行できることです。
このアップグレードは、GPU ランダム アクセス メモリ (RAM) が 16 ギガバイト (GB) しかないコンピューターでも実行できるため、一般ユーザーがネットワーク アクティビティに参加できます。 ちなみに、zkSync は現在、それぞれ 80 GB の RAM を備えた 100 個の GPU のクラスターで実行されています。
Boojum の発売前、zkSync は主に zk-SNARK に依存していました。zk-SNARK は機能的でしたが、zk-STARK ベースのシステムに比べると透過性が低かったです。以前のシステムは 1 秒あたり約 100 件のトランザクションを処理していましたが、Boojum はより優れた処理能力を提供することを約束しています。
実装の最終段階では、新しい証明は STARK 証明を非透過的なペアリングベースの SNARK でラップします。これは本質的に、現在の SNARK ベースの証明システムの若干アップグレードされたバージョンになります。この証明は必要なストレージが少なく、検証コストも低いため、証明システムのコストが下がり、結果としてトランザクション自体のコストも下がります。
Boojum は現在、zkSync Era メインネットで稼働しており、「シャドウ プルーフ」のテスト、生成、検証を行っています。開発者は現在、完全な移行とより大規模な使用の前に、実際の運用データを使用してシャドウ プルーフをテストしています。新しいシステムは、再生成なしでアップグレードされます。