zkVM 最新 ここではzkVMエコシステムの主要なビルダーの進捗を報告し、最近の重要なリリース、技術的ブレークスルー、一般的なアップデートを記録します。 出演:@brevis_zk、@DelphinusLab、ジョルト(@a16zcrypto)、@ligero_inc、@0xMiden、@NexusLabs、@RiscZero/@boundless_xyz、@SuccinctLabs、@ziskvm、@ProjectZKM。 🔹 業界🔹全体のレポートはこちらをご覧ください

ブレビス 🔹 ProverNetホワイトペーパー 🔹 @brevis_zkはProverNetホワイトペーパーを発表し、アプリケーションがZK証明能力を要求し、専門の証明者たちが供給を競い合う分散型マーケットプレイスの概要を示しました。 このシステムは、異質なワークロードと適切なリソースをマッチングしつつ、経済的インセンティブを通じてサービスの質を強制するために、真実のオンラインダブルオークションメカニズムを用いています。 ProverNetは支払い、ステーキング、ガバナンス用のBREVトークンを導入し、簡易オークション付きのベータメインネットも間もなく公開予定です。 🔹 メディア 🔹 @no89thkey年の@HouseofZK Radioの最近のエピソードで、Brevisの共同創業者は、チームがDeFiの起源から検証可能な計算技術やほぼリアルタイムの証明を構築するまでの移行について語りました。 彼はPico zkVM、@Ethereumブロック証明に使われるPico Prism分散証明器、そしてBrevisのモジュール型コプロセッサアーキテクチャがオンチェーン忠誠心、効率化された報酬、CEX/DEXブリッジ統合をどのようにサポートしているかについて話しました。 フルポッドキャスト: 🔹 イベント 🔹 ブレヴィスは@EFDevcon中にいくつかの重要なセッションを主催し、参加し、検証可能な計算やオフチェーンの証明ベース実行モデルへのシフトに関する実践的な視点をもたらしました。 • BrevisはZKONNECTを担当し、House of ZKを共同ホストとして、zkVMs、ZKコプロセッサ、zkML、zkTLSがコンセプトから本番環境へと移行する過程に焦点を当てました。 プログラムでは、検証可能な計算、クロスチェーンデータアクセス、AI推論の実践的な展開が紹介され、複数の基調講演やディスカッションで、チームがZKインフラを実際のアプリケーションにどのように適用しているかを紹介しました。 • マイケルは、House of ZK主催、ブレヴィス共催のVerifying Intelligence 3.0で基調講演を行いました。 彼は、なぜほとんどのブロックチェーン計算がオフチェーンに移行し、ZKPを通じて検証されるのかを説明し、Brevisを無限の計算層として、重い論理をオフチェーンで実行し、簡潔で検証可能な出力を返すと示しました。 講演では、Pico zkVM、リアルタイムEthereum証明、Brevisのモジュールアーキテクチャ、そしてインテリジェントDeFi、プライバシー保護認証、継続的インセンティブシステムを支える現在の統合について取り上げました。 🔹 パートナーシップ 🔹 最後に、Brevisと@vanaは、認証済み入力と生情報を明らかにしないローカル計算を組み合わせて、AIでプライベートデータを活用する共同モデルを提示しました。 Brevis zkTLSはデータの起源を証明し、Pico zkVMはユーザーのデバイス上で処理します。Vanaは同意と報酬を管理し、開発者に検証済みの指標を提供し、ユーザーが自分のデータを完全にコントロールできるようにします。 🔹 業界🔹全体のレポートはこちらをご覧ください

ジョルト(@a16zcrypto) 🔹 Ethproofsの呼びかけ 🔹 @SuccinctJT、@a16zcryptoのリサーチャーは、最近の @eth_proofs callで発表しました。彼は、現在のzkVMがトレースをチャンクに分割し、証明を再帰的に集約することでプロバーメモリを制御しているが、これが複雑さ、バグリスク、パフォーマンスコストを増やしていることを強調した。 タイムスタンプ - 32:30: ジャスティンはさらに、Joltがこれをストリーミング方式に置き換え、サイクルカウントに関係なくプロバーメモリを数ギガバイト近くに制限しようとしていると説明しました。 約20のSumcheckコンポーネントのうち2つはすでに配信中で、残りの作業もまもなく完了する見込みです。 🔹 研究 🔹 ジャスティンはまた、現代のSNARK設計がsum-checkプロトコルを中心に高速証明を実現する方法に焦点を当てた調査結果に基づく論文も発表しました。 論文では、バッチ評価、ルックアップ引数、仮想多項式、小価値保持などの手法が、証明作業やコミットメントコストを削減する理由を概説しています。 Joltを主なケーススタディとして用い、繰り返し計算構造を活用することでzkVMが効率的になり、将来のパフォーマンス向上を導くことを示しています。 🔹 業界🔹全体のレポートはこちらをご覧ください

ミデン 🔹 Testnet v0.12 🔹 @0xMidenはTestnet v0.12をリリースし、プライバシーフロー、鍵管理、アドレス管理、開発者ツールの各分野で大規模なアップデートを導入しました。 このバージョンでは、暗号化対応の新しいアドレスフォーマット、@Nethermindを備えたプライベートノートトランスポート層、プリコンパイルによるECDSA署名、ノード内のデータ処理の改善が追加されています。 また、トランザクションデータの可視化のための基本的なガードレール、効率的なオンボーディングのための新しいミデナップインストーラー、実験用の専用デブネット、そしてコンポジビリティやデバッグのための複数のVMレベルの強化も含まれています。 🔹 出版 物 🔹 プロジェクトは、@OpenZeppelinと共同開発した新しいシステム「プライベートステートマネジメント」を通じて、プライベートマルチシグがどのように実現可能になるかを説明する記事を公開しました。 この記事では、なぜ従来のマルチシグが共有のパブリックステートに依存しているのか、Midenのプライバシーモデルが調整を複雑にする理由、そしてPSMの同期、調整、認証レイヤーがどのようにプライベートアカウントの整合性を保っているのかを概説しています。最後に、実用的なユースケースの例を挙げ、初期の概念実証がすでに存在していることを述べています。 🔹 イベント 🔹 @EFDevcon年、ミデンは以下のいくつかのイベントを主催し、参加しました。 ・Privacy SalonはMiden主催のイベントで、ビルダー、研究者、創業者を集め、プライバシー、分散型システム、そして暗号通貨、Web3、伝統的金融の進化する交差点について短くアイデアに基づくトークやオープンディスカッションを行いました。 • @HouseofZK主催の「Verifying Intelligence 3.0」では、Midenのエンジニアリングリードである@huitseekerがzkMLにおけるzkVMの役割、推論証明と訓練の違い、TEEの限界、Midenの設計が実用的で敵対的なAI検証シナリオをどのようにサポートするかについて講演しました。 タイムスタンプ - 02:50:12: 🔹 統合 🔹 このプロジェクトは、プライバシー、オンボーディング、インフラのエコシステムを拡大する2つの新しいパートナーシップを導入しました。 ・@get_para:Paraの組み込みウォレットと分散MPC認証を統合し、Midenアプリケーションのシームレスで非カストディアルなオンボーディングを実現します。このコラボレーションにより、パスワードレスログイン、即時ウォレット作成、摩擦のないユーザーフローが導入され、ParaのUXスタックはMidenの準拠プライバシーモデルと整合し、ZK実行に基づくプライベートDeFi、フィンテック、ゲーム、機関向けアプリケーションをサポートします。 • @gateway_eth:Midenのスケーラブルでプライバシー重視のブロックチェーンネットワークのために、エンタープライズグレードのインフラを提供するためにパートナーと提携しています。このパートナーシップにより、Midenのスケールアップに伴い、高可用性、高速データアクセス、運用上の信頼性が保証されます。Gatewayはネイティブブリッジ、プルーバー、ブロックエクスプローラーなどのコアコンポーネントを稼働させ、Midenのエッジ実行アーキテクチャの展開をサポートします。 🔹 業界🔹全体のレポートはこちらをご覧ください

ネクサス 🔹 DEXアルファ 🔹 @NexusLabsはTestnet IIIの一環として分散型永続先物取引所のアルファ版を立ち上げ、検証可能なインフラを基盤とした簡素化された非カストディアルなCLOBプラットフォームを提供します。 リリースは実物資産ではなく、コア取引機能、効率化されたオンボーディング、テストファンドに焦点を当てています。インターフェースは最小限ですが、基礎となるオーダーブックは低遅延性能を追求して設計されており、コミュニティ主導のフィードバックや段階的に導入される暗号証明によって拡大していきます。 🔹 ネットワークの状況 🔹 Nexusは11月のネットワークレポートを発表しました。 主なポイントは以下の通りです: • ネットワークは8,719.8万件の取引を処理し、8,703.8万件が完了し、高い信頼性と開始と最終決定の活動間のギャップが非常に小さいことを示しています。 • プルーフスループットは1か月間で5,810プルーフ/秒から4.16プルーフに調整され、10月の急増後により安定したプルーフベースラインに戻ったことを反映しています。 ・検証済み契約数は254万8千件に達し、遅延の増加やスループットの緩和にもかかわらず、開発者が証明環境への信頼を持続していることを示しました。 • 取引手数料は平均0.048 NEX(NEX)で、検証コストを低く抑え、迅速な反復や頻繁なオンチェーンインラクションに余地を残しました。 🔹 イベント 🔹 Nexus チーフサイエンティスト@JensGroth16は、@EFDevcon年に開催された@HouseofZKの「Verifying Intelligence」イベントのファイヤーサイドチャットに参加し、ZKPが初期の理論的研究から今日の検証可能なAIへの応用へとどのように進化したかについて語りました。 彼は、証明可能な正確性と経済的安全性を組み合わせることにNexusの重点を置き、検証可能なシステムが使いやすく広く採用されるためには、標準、教育、そしてより広範な制度的信頼の必要性を強調しました。 🔹 業界🔹全体のレポートはこちらをご覧ください

リスクゼロ&バウンドレス 🔹 Ethproofsの呼びかけ 🔹 最近の@eth_proofsコール#6で、@RiscZeroのCEO兼共同創業者である@BruestleJeremy氏は、Risc-V Sモードのサポート、フルMMU、仮想メモリを追加した後、zkVM内で本物のLinuxカーネルを成功裏に起動した方法を共有しました。 タイムスタンプ - 20:30: デモでは複数のプロセスが動作し、より広範なソフトウェアスタックに適したほぼ決定論的な環境が示されました。Rissc Zeroは、プローバーの進展が進むにつれて、次のサーキットリリースでこれを出荷する予定です。 🔹 イベント 🔹 @boundless_xyzブエノスアイレスで開催されたDevconnect期間中のいくつかのイベントに参加しました。 • @HouseofZKが@WPReadingClub and @invisiblgardenと提携して主催したホワイトペーパー読読セッション。Boundless、@citrea_xyz、@MinaProtocol、@o1_labsがWeb3およびZKエコシステムにおける最新の研究進展や新たなアイデアについて円卓会議に参加しました。 • Boundlessのマーケティングディレクターである@reka_eth氏が、AIとロボティクスが形作った時代における人間の貢献を証明する議論に参加し、講演者と共に@OntologyNetwork@humpty0x、@StarkWareLtd@zKsisyfos、@ProjectZKM@DacEconomy、@eigencloud@Viggy_117と共に、検証するIntelligence 3.0パネルに参加しました。タイムスタンプ - 00:57:54: 🔹 業界🔹全体のレポートはこちらをご覧ください

簡 🔹 SP1ハイパーキューブ 🔹 @SuccinctLabsは、SP1 HypercubezkVMの最新バージョンが、16台のRTX 5090 GPU上で12秒未満で@ethereum L1ブロックの99.7%を証明でき、以前のリアルタイム証明のマイルストーンを更新したと報告しました。 リリースでは大幅なパフォーマンス改善、すべてのRISC-V制約の正式な検証、近接ギャップの予想依存関係の除去、新たなセキュリティ対策が追加されました。 Hypercubeは監査を完了しており、オープンソースおよびSuccinct Prover Networkを通じて公開される予定です。 🔹 研究 🔹 Succinct、@benediktbuenz(@EspressoSys)、@GiacomoFenzi(@EPFL)、@kleptographic(@NYU_Courant)の暗号学責任者@ronrothblumによる最近の研究では、著者らはほぼ最適なハッシュベースの多項式コミットメント方式であるTensorSwitchを紹介しています。 これはハッシュベースのSNARGにおける2つの主な制限、すなわち証明時間と大きな証明サイズに対応しています。テンソルコードとインタラクティブなオラクル証明を用いて、TensorSwitchは入力サイズが線形に限るコミットメントと開閉時間、部分線形ハッシュコスト、漸近的に最小限の検証クエリを実現し、信頼できるセットアップやグループベースの暗号に依存しません 🔹 C2PA 🔹 Suncinctは@C2PA_orgに参加し、他の参加者と共にデジタルコンテンツ検証のためのオープン標準の開発に取り組んでいます。 AI生成メディアの増加に伴い、プロジェクトではZK認証を導入し、プライバシーとスケーラブルな証明を備えた出所ワークフローを強化します。 Succinctは統合メタデータ標準をサポートし、プラットフォーム間の相互運用性を向上させることを目指しています。C2PAに参加することで、プロジェクトは研究に貢献し、実務的な場面でのコンテンツの真正性ツールの導入を支援する予定です。 🔹 OP 簡潔な簡潔版 🔹 @Celo、Jelloハードフォークを通じてSepoliaテストネットをOP Succinct Liteにアップグレードし、メインネットの立ち上げに近づきました: 今年初め、Celoは現実世界の決済をサポートするためにEthereum L2に移行し、EigenDA v2でOP Succinct Liteを採用した最初のチェーンとなりました。 🔹 業界🔹全体のレポートはこちらをご覧ください

ZKM 🔹 監査 🔹 ZKMのZirenは、Picus検証プラットフォームを用いて@VeridiseIncによる監査を受けています。 VeridiseはZirenのPlonky3制約を適用し、@AuditHubDevで解析を行いました。初期の結果は、AddSubチップにおける加算と引き算の決定論的な挙動を確認しました。 チームは検証をフルサーキットに拡大し、チェックをZKMの開発ワークフローに統合する計画です。 🔹 出版 物 🔹 @ProjectZKM、多変量Sumcheckプロトコルを用いて回路層間の整合性を再帰的に検証することで、GKRプロトコルがどのように算術回路計算を検証するかを説明する論文を発表しました。 この作品では、層回路構造、多重線形拡張の役割、Sumcheckが検証を点評価に還元する方法、そして再帰が入力層で終わる仕組みについて説明します。これは、GKRが大規模回路に効率的であり、現代のZKシステムの基盤となる理由を示しています。 🔹 イベント 🔹 ZKMは@EFDevconでの期間について記事を発表し、主な内容は以下の通りです。 • @brevis_zkとHouse of ZKによるZKONNECT:ZKMのCTO@sd_eigenリアルタイム検証パネル「EVM Proved in 10 Seconds」に参加し、GPU加速証明システムについて議論しました。 • House of ZKとBrevisによる知能検証:スティーブンはAIワークフローにおけるZKベースのプライバシーについて講演し、Zirenの監査を@VeridiseIncと共にレビューしました。共同創業者の@DacEconomyは、人間の貢献を検証するAI and Workパネルに参加しました。 ・@EtherArgentinaハッカソン:ZKMがスティーブンを審査員および教育リードのメンタリングチーム@alicelinglスポンサーとしてイベントをスポンサーしました。 ・@babylonlabs_ioおよび@build_on_bobによるネイティブBTCFiサミット:@ビットコインアライズドファイナンスとBTCスケーリングに関する議論。 • StarkConnect by @Starknet:StephenはStarknet、@AlpenLabs、@atomiqlabsと共にスケーリングビットコインに関するセッションに参加しました。 • ZK Real World Summit:@MantaNetwork、@ZKVProtocol、@nillionによるプライバシー保護チェーンに関するパネルディスカッション。 ・@invisiblgarden年文化的Vivo:ZKMは再びスポンサーとしてZKおよびAIビルダーのハブを支援しました。 🔹 業界🔹全体のレポートはこちらをご覧ください