Программируемость на Bitcoin должна быть подтверждена консенсусом. @GOATRollup использует универсальную zkVM от ZKM - Ziren - для доказательства выполнения программы и ее завершения на L1. Смотрите полный эпизод радио @HouseofZK с главным ученым ZKM @DacEconomy:
5,51K