La programmabilità su Bitcoin deve essere verificata dal consenso. @GOATRollup utilizza lo zkVM universale di ZKM - Ziren - per dimostrare l'esecuzione del programma e risolverlo su L1. Guarda l'episodio completo di @HouseofZK Radio con il Chief Scientist di ZKM @DacEconomy:
5,5K