5/ 狀態推進機制強化:每次狀態推進現在都會以明確且可證明的結果結束——即“接受”(accepted)、“拒絕”(rejected)、“暫停”(halted)或“超出週期限制”(out of cycles)。當爭議進入“驗證博弈”階段時,這一點至關重要,因爲在該階段,每個結果都必須是可證明的,而不僅僅是可觀測的。
回顧一下 Dar Blockchain 的 X Space 直播:收聽 Shaheen Ahmed 的精彩講解,瞭解 Cartesi 如何以以太坊爲信任錨點實現鏈下執行,以及爲何“可證明 Linux”是其真正的差異化優勢: → https://x.com/cartesiproject/status/2087886429913551165