5/ 状态推进机制强化:每次状态推进现在都会以明确且可证明的结果结束——即“接受”(accepted)、“拒绝”(rejected)、“暂停”(halted)或“超出周期限制”(out of cycles)。当争议进入“验证博弈”阶段时,这一点至关重要,因为在该阶段,每个结果都必须是可证明的,而不仅仅是可观测的。
回顾一下 Dar Blockchain 的 X Space 直播:收听 Shaheen Ahmed 的精彩讲解,了解 Cartesi 如何以以太坊为信任锚点实现链下执行,以及为何“可证明 Linux”是其真正的差异化优势: → https://x.com/cartesiproject/status/2087886429913551165