GOAT Networkは、流動性インセンティブとコミュニティの成長をサポートするために、新しい34 BTCパイロットファンドを立ち上げました。 これは、ビットコイン レイヤー 2 ネットワークが独自の BTC 財務省をエコシステムのインセンティブにコミットした初めてのことです。 他のビットコインエコシステムプロジェクトは独自のトークンを発行することもありますが、最大かつ最も成功している流動性プロバイダーにとって必須のネイティブBTC利回りを提供していません。 独自の BTC トレジャリーをコミットすることは、ビットコイン レイヤー 2 スペースでユニークな持続可能なエコシステム構築への取り組みを示しています。 このBTCパイロットファンドは、2025年第4四半期に数千万ドルの開始価値で稼働するGOATネットワークエコシステム開発ファンドの立ち上げに先立つためのウォームアップでもあります。 詳細については、以下をお読みください。

ZKM ブログの新機能: 多変量 Sumcheck プロトコル - パート 2 この記事では、2つの表現での多線形拡張に関する実用的なガイダンスを提供し、点の評価、加算、および要素ごとの乗算のための実装可能な手順を提供します。 表現のトレードオフ、メモリ/ランタイムの動作、およびこれらの手順を不必要な変換なしで証明者/検証者パイプラインに統合する方法について説明します。 パート2を読む:

⚡ 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 このディスカッションでは、完全なエンドツーエンドのスタックを構築する歴史と課題を取り上げ、その後、この道が次にどこに向かっているのかについての独占的な洞察を提供します。 出欠確認: