يجب التحقق من قابلية البرمجة على Bitcoin بالإجماع. يستخدم @GOATRollup zkVM العالمي من ZKM - Ziren - لإثبات تنفيذ البرنامج وتسويته على L1. شاهد الحلقة الكاملة من راديو @HouseofZK مع كبير العلماء في ZKM @DacEconomy: