証明生成

Zcash 全ノードクライアント Zakura チームは、Zcash エコシステム向けの暗号およびプロトコルライブラリである Zakura Common を発表しました。公式ベンチマークテストによると、モバイル端末での証明生成速度は 14 倍以上（デスクトップ端末で 5 倍以上）向上し、Sinsemilla ハッシュ速度は 21 倍以上向上し、試解読速度は 1.5 倍以上向上し、zk-SNARK 検証速度は 4 倍から 8 倍向上しました。多くのケースで、ウォレットが取引を作成する際の待機時間は 3 秒以上から 200 ミリ秒未満に短縮されることができます。このアップグレードはネットワークのアップグレードを必要とせず、MIT/Apache 2.0 のデュアルライセンスでオープンソース化されており、Zakura 1.3.0 はこの技術スタックに切り替わります。

Offchain Labs 研究チームは、証明の加速、検証可能な AI、再帰的安全性などの方向性を含むゼロ知識証明技術の研究進展を発表しました。その中で、ベクトルコミットメントスキームは、6.4万件のデータの証明生成時間を約2分から32ミリ秒に短縮し、約4000倍の高速化を実現しました。新しい証明システムZaratanは、整数のネイティブ全簡潔証明を初めて実現し、RSAなどの計算コストを約5000倍削減することができます。検証可能なAIの分野では、軽量な検証プロトコルにより、大規模モデルの推論検証を数分からミリ秒レベルに短縮することができます。Arbitrumは、単一障害点を排除し、L1決済サイクルを短縮するために、ZK証明と詐欺証明およびTEEを組み合わせた多証明者アーキテクチャを探求しています。

ChainCatcher のメッセージによると、The Block の報道で、ゼロ知識証明生成レイヤー Fermah が520万ドルのシードラウンドの資金調達を完了し、a16z の CSX と Lemniscap が主導し、Bankless Ventures、Longhash Ventures、P-OPS チーム、Public Works、ZK Validator、Lambda Class、Daedalus、Zero DAO、Velocity Capital、Daemon Ventures、そして Balaji Srinivasan、Sandeep Nailwal などのエンジェル投資家が参加しました。Web3 資産データプラットフォーム RootData によると、Fermah は汎用のゼロ知識証明生成レイヤーです。市場として機能し、供給側には GPU と FPGA が含まれます。需要面では、Fermah は ZK を使用する任意のインスタンスのために証明を生成できます。

ChainCatcher のメッセージでは、4月5日に開催された Oak Grove Crypto 2024 において、Web3 相互運用性のインフラストラクチャである Polyhedra Network の CSO エリック・ヴリーランドが「ゼロ知識、ゼロ制限」というテーマの講演で、Polyhedra の革新的な技術とゼロ知識証明が相互運用性の分野でのさらなる可能性について主に紹介しました。エリック・ヴリーランドは、ゼロ知識技術が証明の効率を大幅に向上させることを指摘し、Polyhedra が提供するゼロ知識証明ソリューション Virgo++ は、証明を生成するのに8秒を要し、イーサリアム上での証明生成は10-15秒で済むため、全体のプロセスが非常にスムーズで、ユーザーがリスクを管理し、データの漏洩を避けるのに役立つと述べました。Polyhedra はプロトコルの開始時から全体のデータアーキテクチャの開発やデータ分析を行い、非常に良い橋を構築し、中間情報を減少させ、高品質なデータの移転を助け、良好なブロックチェーンエコシステムの構築を支援しています。なお、Oak Grove Crypto 2024 は Oak Grove Ventures によって発起され、Polyhedra、Alchemy Pay、Ritual、ChainCatcher が共同で開催しており、Web3 分野のエリートを集め、業界の今後5年間の発展動向について共に探討することを目的としています。この盛会には、500人から1000人の業界エリートが参加することが予想されており、革新リーダー、技術専門家、産業投資家などが含まれます。彼らは AI、DePIN、ゲーム、暗号決済、ビットコインインフラなどのホットトピックについて深い議論を展開します。

ChainCatcher のメッセージ、StarkWare は Apache 2.0 ライセンスの下で暗号証明生成エンジン STARK Prover をオープンソース化することを発表しました。STARK Prover は StarkNet と StarkEx をサポートし、イーサリアムの安全性を維持しながら大規模なスケーリングを実現します。これは StarkWare がオープンソースの Cairo 1.0、Papyrus フルノード、そして StarkNet の新しいシーケンサーに続く新たなオープンソースの取り組みです。報道によると、StarkWare はこのオープンソース計画の実施後、全体の StarkNet 技術スタックがオープンソースになることを強調しています。（出典リンク）