Kemampuan pemrograman pada Bitcoin harus diverifikasi konsensus. @GOATRollup menggunakan zkVM universal ZKM - Ziren - untuk membuktikan eksekusi program dan menyelesaikannya di L1. Tonton episode lengkap @HouseofZK Radio dengan Kepala Ilmuwan ZKM @DacEconomy:
5,5K