4 月 10 日，Cartesi 发布了 Cartesi Machine Emulator 的重大更新，版本 0.20.0。这个新版本引入了一个关键功能：能够生成加密证明来验证 Cartesi 计算的正确性，而无需重新执行。这一进步提高了平台链下处理的效率和信任模型。
Cartesi（CTSI）是一个区块链项目，旨在提高去中心化应用程序（DApp）的实用性和可扩展性。其核心创新允许智能合约在Linux环境中执行复杂的链下计算。这种方法通过支持主流编程语言、软件库的使用以及对更大数据集的高效处理，拓宽了开发人员的可能性。
该技术由 Descartes SDK 提供支持，这是一个开发套件，为开发人员提供了构建可扩展且安全的 DApp 的工具。通过利用笛卡尔，可以在链外处理具有复杂业务逻辑的计算密集型任务。
原生 Cartesi 代币 (CTSI) 在其生态系统中扮演着多种实用角色。它充当网络权益证明（PoS）共识机制的质押代币、计算资源的交换媒介以及数据可用性和计算验证激励系统的关键组成部分。