Khả năng lập trình trên Bitcoin phải được xác minh đồng thuận. @GOATRollup sử dụng zkVM toàn cầu của ZKM - Ziren - để chứng minh việc thực thi chương trình và giải quyết nó trên L1. Xem toàn bộ tập @HouseofZK Radio với Giám đốc Khoa học của ZKM @DacEconomy:
5,51K