Programabilitatea pe Bitcoin trebuie verificată prin consens. @GOATRollup folosește zkVM universal ZKM - Ziren - pentru a dovedi execuția programului și a-l stabili pe L1. Urmărește episodul complet @HouseofZK Radio cu cercetătorul șef al ZKM @DacEconomy:
5,51K