Programmerbarhet på Bitcoin må være konsensusverifisert. @GOATRollup bruker ZKMs universelle zkVM - Ziren - for å bevise programkjøring og avgjøre det på L1. Se hele @HouseofZK Radio-episoden med ZKM Chief Scientist @DacEconomy:
5,5K