Kaspa 开发者在测试网上演示首个支持结算的可验证程序-10

Kaspa 开发者 Maksim Biriukov 在测试网-10上部署了一个可验证程序（vprog）井字棋游戏，标志着首个实现链下执行与链上结算功能的落地。该设置通过 RISC Zero 证明在链下执行逻辑，并依靠 Toccata 升级中引入的 Kaspa 契约（covenants）与排序承诺来验证规则并分发资金。