ZkSyncは、大規模な使いやすさに焦点を当てた新しいSTARKベースの証明システムを開始します

ZkSyncは、使いやすさに重点を置いた新しいSTARKベースの証明システムを開始します

Ethereumのレイヤー2スケーリングソリューションであるzkSync Eraは、一般の処理装置(GPU)で動作することを約束する、新しいスケーラブルな透明な知識の証明(STARK)ベースの証明システムであるBoojumをローンチしました。

zkSync Eraは、容量とスピードを向上させながら手数料を削減するために、ゼロ知識ロールアップ(ZKロールアップ)を使用するEthereumのスケーリングプロトコルの一部です。ZKロールアップは主に2つの主要な証明システム、zk-STARKsとZero-Knowledge Succinct Non-Interactive Argument of Knowledge(zk-SNARKs)を使用しています。

新しいBoojum証明システムは、zkSyncのRustベースの暗号ライブラリに基づいており、zkSync EraとそのZK開発者スタックのためのアップグレードされた算術回路のバージョンを実装しています。最も重要なことは、Boojum証明者が強力なハードウェアやサーバーではなく、普段使いのパソコンで実行できることです。

このアップグレードは、たった16ギガバイト(GB)のGPUランダムアクセスメモリ(RAM)を搭載したコンピュータで実行できるようになり、一般のユーザーもネットワーク活動に参加できます。なお、zkSyncは現在、80GBのRAMを搭載した100台のGPUクラスタ上で実行されています。

Boojumのローンチ前、zkSyncは主にzk-SNARKsに依存していましたが、それは能力があるもののzk-STARKベースのシステムよりも透明性が劣っていました。以前のシステムは秒間約100トランザクションを処理していましたが、Boojumは優れた処理能力を提供することを約束しています。

関連記事: プライバシーとスケーリングがゼロ知識技術のユースケースを推進

実装の最終段階では、新しい証明は透明性のないペアリングベースのSNARKでSTARKの証明を包みます。これは現行のSNARKベースの証明システムの若干アップグレードされたバージョンとなります。この証明にはより少ないストレージが必要であり、検証コストも安くなるため、証明システムのコスト、そしてトランザクション自体のコストも下がります。

Boojumは現在、テストのためにzkSync Eraのメインネット上でライブで稼働しており、”シャドウプルーフ”を生成および検証しています。開発者は実際のプロダクションデータでシャドウプルーフをテストしており、完全な移行とより大規模な使用前にいます。この新しいシステムは再創世なしでアップグレードされます。

この記事をNFTとして収集して、歴史の一瞬を残し、暗号空間での独立したジャーナリズムへのサポートを示しましょう。

雑誌: EthereumのZKロールアップが相互運用性を持つ方法