今年は、Zirenのメジャーなアップグレードとビットコイン(@GOATRollup)でのリアルタイム証明と並行して、証明者の内部、再帰、ルックアップ、メモリ、およびISAの選択に関する一連の技術説明を公開しました。 2025 ZKM ブログ インデックス⤵️をチェックしてください

ビットコインのプログラマビリティはコンセンサスで検証されなければなりません。@GOATRollup は、ZKM のユニバーサル zkVM である Ziren を使用してプログラムの実行を証明し、それを L1 に定着させます。 ZKM チーフ サイエンティスト @DacEconomy による @HouseofZK Radio のエピソード全体をご覧ください。