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