zkp

イーサリアム財団の研究者:BeamSNARKsアルゴリズムは、BeamChainのZKPを通じてイーサリアムの3.0への移行を加速する。

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

Web3Caff Research は ZKP ハードウェアアクセラレーションプロジェクト Cysic の万字レポートを発表しました:ASIC チップはその百億規模の市場を動かすことができるのか?

ChainCatcher のメッセージ、Web3 業界の研究分析プラットフォーム Web3Caff Research は最近、ZKP ハードウェアアクセラレーションプロジェクト Cysic に関する詳細なレポートを発表しました。Web3Caff Research の研究員 Bob は報告の中で、ゼロ知識証明(ZKP)が約 40 年の歴史を持ち、ブロックチェーンのプライバシー保護や二層拡張に広く利用されていると指摘しました。しかし、計算リソースの消費が大きく、検証速度が遅いため、ユーザーの増加が制限されています。このため、ハードウェアアクセラレーションが重要な解決策となっています。FPGA と GPU はすでに多くの ZKP 製品の実現に成功していますが、性能が優れた ASIC は高コストと不確実性から業界の「エベレスト」と見なされています。現在、Cysic は唯一の ZKP ASIC を開発しているチームであり、百億市場を動かすことができるのでしょうか?報告はさらに、ZKP が Web3 のコア技術の一つであり、ZKP ハードウェアアクセラレーションがまだ始まったばかりであることを指摘しています。Cysic に比べ、現在の業界では GPU を加速するためのオープンソースコードライブラリの運用や FPGA クラスターの構築は、いずれも初期の試行錯誤の段階にあります。Cysic はユーザーフレンドリーな ZKP アクセラレーションソリューションを提供しており、現在市場に出ている唯一のオープンテスト製品です。そのテストネットは Phase2 に入り、性能は GPU アクセラレーションよりも 5~10 倍速いとされています。2024 年末にメインネットを立ち上げる予定です。さらに、Cysic の ZK-ASIC ハードウェア製品は注目を集めており、2025 年に企業向け(B端)と消費者向け(C端)の 2 種類が発売される予定です。業界内では ZK-ASIC に対する疑念もありますが、長期的な発展を考えると、ASIC を導入して ZKP の「マイニング」モデルを構築することはエコシステムの発展を促進する重要な一歩となるでしょう。

ZKP加速プロジェクトCysicはScrollと提携しました。

ChainCatcher のメッセージ、ZKP 加速プロジェクト Cysic Network は、イーサリアム L2 Scroll と提携し、ゼロ知識計算能力をブロックチェーンに統合して、イーサリアムの拡張を加速することを発表しました。今回の提携の焦点は、Cysic の最先端のゼロ知識(ZK)計算技術を統合することによって、イーサリアムブロックチェーン上の取引効率と安全性を向上させることです。Cysic は、2025 年に発売予定の ZK Air と ZK Pro の 2 つのハードウェア製品を開発中であることが知られています。これらの製品の設計の目的は、大量の取引を管理しながら、速度や安全性に影響を与えないことです。Cysic は、「ハードウェア製品で Scroll の最新の検証技術をサポートすることを優先する」と述べています。ZK Air は、さまざまな環境で ZK 証明の生成を加速するポータブルソリューションです。一方、ZK Pro の設計は従来のマイニング機器に似ており、大規模なアプリケーションの ZK 証明生成を強化することに重点を置いています。同時に、Cysic テストネット Cysic Network は今月 Phase II を発表予定で、ユーザーは計算能力を提供することで Scroll の ZKP 証明および加速に参加し、報酬を得ることができます。

Zuluは、Bitcoin Scriptを用いてZKP検証コードをオープンソース化しました。これには、Groth16/FFlonkの主流アルゴリズムが含まれています。

ChainCatcher のメッセージによると、公式の発表で Zulu Network はビットコインスクリプトに実装された最初の ZKP 検証コードをオープンソース化し、Groth16/FFlonk の主流アルゴリズムに関わるコードを BitVM リポジトリに提出しました。この成果は、BitVM2 に基づく分散型クロスチェーンブリッジの構築の基礎を築きました。Zulu の次の目標は、クロスチェーン技術と BitVM2 を活用して、信頼最小化されたビットコインクロスチェーンブリッジを立ち上げることです。以前、BitVM の創設者である Robin Linus は、ビットコインスクリプト内の snark 検証器が将来のビットコインの発展における大きなマイルストーンであると述べていました。現在のスクリプトサイズに基づいて、Zulu Network は全体の ZKP スクリプトを 2000 未満のサブスクリプトに分割するだけで済みます。「私たちは、Robin Linus、Weikeng Chen など、BitVM リポジトリのすべての貢献者に非常に感謝しています。また、Andrija Novakov と Liam Eagen にも感謝します。彼らの最新の論文『On Proving pairs』は、全体のスクリプトのサイズを大幅に削減しました。」
チェーンキャッチャー イノベーターとともにWeb3の世界を構築する