Програмованість на Bitcoin має бути перевірена консенсусом. @GOATRollup використовує універсальний zkVM від ZKM - Ziren - для доведення виконання програми та встановлення її на L1. Дивіться повний випуск @HouseofZK Radio з головним науковим співробітником ZKM @DacEconomy:
5,5K