⚡ Ziren リアルタイム証明: ZK にとって大きなマイルストーン @ProjectZKM CTO@sd_eigenリアルタイム証明のための技術を導入しました。 1️⃣ ZKM の Ziren は MIPS32r2 を利用します。ZK用の最も安定した命令効率の高い汎用ISA 2️⃣ Ziren は @eth_proofs でローンチされた 2 番目の zkVM であり、超高速の証明生成を積極的に実証しています 3️⃣ リアルタイム証明は、zkRollup のネイティブ ビットコインである @goatrollup ですでに稼働しており、イーサリアム メインネットでも間もなく実装される予定です。

今週の要約では、Ziren が @GOATRollup のリアルタイム ビットコイン ロールアップをどのように静かに強化したか、チームがどのようにブラウザネイティブの検証ツールを出荷したか、サンフランシスコの @frontiertower で開発者ワークショップを開催したかを中心に説明します。 また、@HouseofZKラジオで検証可能なビットコイン経済への道筋を概説し、@ETHshenzhenと@BitcoinConfAsia👇に短期的に出演する予定を指摘した

ZKMのコアチームの一部は最近、@GOATRollupと提携して、一連の@frontiertowerイベントの最初のイベントを主催しました。 主に Ziren の統合経路に焦点を当てたこのサンフランシスコ ワークショップは、GOAT Network での実際の展開と ZKM の実証スタックの今後の機能を理解するための基礎を提供し、全体を通して強力な視聴者のエンゲージメントを生み出しました。 いくつかの重要なハイライト: 🔸 テクニカルアップデート – 教育リード@alicelinglは、Golang の互換性、WASM ベースの検証、プリコンパイル サポートの拡張など、Ziren の最近の進歩を紹介しました。Alice は、Ziren による証明の生成と検証を示すライブ デモも提供しました。 🔸 インフラストラクチャとしてのZiren – チーフサイエンティスト@DacEconomyは、インフラストラクチャの新しい波を促進する上でのZirenの役割を概説し、GOATネットワーク内での統合に関する技術的な洞察を提供しました。 🔸 ビットコインネイティブ ロールアップ モデル – COO 兼 GOAT Network のコア貢献者である @sophianeverfold は、ビットコイン L2 の他の多くのユースケースに飛び込む前に、分散型シーケンサー、Ziren、BitVM2 を組み合わせて持続可能な BTC 利回りを実現する GOAT の経済設計の概要を提供しました。 🔸 エンドツーエンドスタック – 炉辺セッションでは、Zirenの初期ビルドからGOATのリアルタイムビットコインロールアップを強化するまでの進化について、完全な証明パイプラインを構築する際の課題と解決策を含めました。 ZKMパートナープロジェクトによるベイエリアでの今後のイベントにご期待ください。

Ziren の検証ツールがブラウザーで実行されるようになりました。 製品のロック解除には次のものが含まれます。 🔸 バックエンドを信頼せずにウォレット、エクスプローラー、dappsによる独立したチェック 🔸 再現可能な監査(Web用WASMにコンパイルされたのと同じRust検証ツール、他の場所でのネイティブ) 🔸 単一のSDKからのマルチプルーフカバレッジ(STARK、Groth16、Plonk) 🔸 完全なL1@ethereumブロック証明のためのミリ秒検証、インタラクティブUXに適しています 信頼を最小限に抑えたフロントエンドを構築したり、重要なアクションの横に「検証」ボタンを追加したりする場合、これは最も抵抗の少ない道です。 自信を持って構築する。妥協のない展開: Ziren STARK 検証ツール NPM パッケージ:

House of ZK Radio #67: Ming Guo、ZKM の共同創設者兼チーフ サイエンティスト - Spotify と YouTube 🔳 で配信中 このエピソードでは、@alicelingl が @ProjectZKM の共同創設者兼チーフ リサーチ サイエンティストである @DacEconomy 氏と対談し、ゼロ知識が@ethereumからビットコインにどのように移行したか、そして検証可能なコンピューティングによって確保されるビットコイン経済が実際にどのようなものかをマッピングします。 スポティファイ: ユーチューブ: 中身: • ZK の進行: ほぼリアルタイム→証明を備えた zkVM →一般回路のトランザクション プライバシー • ZKMのMIPSベースのzkVM設計がパフォーマンス、安定性、検証にとって重要な理由 BitVM2 ベースの ビットコイン L2 アーキテクチャと @GOATRollup と、L2 がプログラマビリティへの安全なルートである理由 • 「ユニバーサル決済」: 分散型アプリケーションの基盤としての検証可能なコンピューティング • プログラム可能な説明責任とインセンティブと従来の「当事者を信頼する」モデル • 開発者 UX: zkDSL から通常のコードの作成、zkVM での実行の証明まで • 「価値の保存」を超えて: L1 セキュリティを損なうことなく、利回り、安定した資産、ビットコインに固定されたオンチェーン アクティビティ ビットコインまたはZKに基づいて構築する場合、このエピソードは、スタック、トレードオフ、および単にBTCを保有することから機能し検証可能な経済に移行するために必要なことについての明確なフレームワークを提供します。

ZKM の zkVM である Ziren は、リアルタイム ビットコイン zkRollups の隠れたエンジンです 🟠 安定したMIPS32r2上に構築され、分散型のGPUアクセラレーション証明を搭載したZirenは、開発者コードを検証可能な証明に迅速かつ効率的に変換します。 詳細情報：

本日サンフランシスコで開催された@frontiertowerイベントの最後の講演では、ZKMの共同創設者兼チーフサイエンティストである@DacEconomyが、次世代の分散型Web3 🟠インフラストラクチャの構築におけるZirenの役割について解明します 🗓️ 本日(8月20日)16時〜5時 出欠確認:

次回のサンフランシスコ イベントでは、@alicelingl、@DacEconomy、@sophianeverfold が、ZKM の Ziren の最初の構築から、その安定したパフォーマンスの高い基盤を @GOATRollup の実際のアプリケーションに拡張するまでの道のりを振り返ります。 🗓️ 8月20日 午後2時-午後5時 📍 @frontiertower、SF このディスカッションでは、完全なエンドツーエンドのスタックを構築する歴史と課題を取り上げ、その後、この道が次にどこに向かっているのかについての独占的な洞察を提供します。 出欠確認:

GOATネットワークアンバサダーは、今後のミッションで重要な役割を果たすことになる。 目標は、@GOATRollup が BTC を使用可能な利回りを生み出す資産に変える方法についての情報を広めることです。 Ziren を利用したこのネットワークは、ビットコインが実際に使用できる🟠通貨になる方法です

サンフランシスコで開催される@frontiertowerイベントの詳細: ZKM COO @sophianeverfold は、@GOATRollup の ビットコイン ネイティブ zkRollup が、分散型シーケンサー、zkVM (Ziren) + BitVM2、および真に革新的な経済モデル🟡を通じて、現実的で持続可能な BTC 利回りをどのように提供するかを探ります 🗓️ 8月20日、午後2時から午後5時 出欠確認: