Cartesi (CTSI)
Cartesi (CTSI)：面向主流开发的区块链操作系统
Cartesi (CTSI) 是一个独特的 Layer-2 基础设施项目，旨在解决区块链上计算可扩展性和高昂费用的关键问题。它作为一个特定于应用程序的 rollup 协议运行，为 dApp 开发提供了一个完整的 Linux 操作系统环境。这使得开发者可以使用 Python、Rust 和 C++ 等熟悉的语言和工具编写智能合约和 dApp，显著降低了从 Web2 过渡到 Web3 的开发者的入门门槛。
该平台的核心是 Cartesi 机器，一个独立的、可复现的、透明的虚拟机，运行着一个 Linux 发行版。计算在这个虚拟机内于链下执行，然后在链上进行验证，确保了效率和去中心化。这种架构使得创建比仅在基础层区块链上可能实现的复杂得多、数据密集得多的应用程序成为可能，为去中心化游戏、人工智能和企业解决方案开辟了新的可能性。
通过利用 optimistic rollups，Cartesi 在不拥堵主网的情况下确保了这些链下计算的完整性。这种方法，结合其对开发者友好的环境，将 Cartesi (CTSI) 定位为下一代强大而复杂的去中心化应用的关键推动者，弥合了区块链世界与主流软件开发之间的鸿沟。
技术
Cartesi 的技术核心是 Cartesi 机器 (CM)，这是一个模拟 RISC-V 架构并运行完整 Linux 操作系统的虚拟机。这使得 dApp 可以用传统的软件栈来构建。它利用 optimistic rollups 将链下交易捆绑起来，并发布到像以太坊这样的 Layer-1 区块链上，除非受到挑战，否则假定它们是有效的。这种机制提供了巨大的计算可扩展性。Noether 侧链作为 Cartesi dApp 的数据可用性层，进一步降低了成本并提高了效率。这种多层架构允许在底层区块链的安全保障下，在链下执行复杂的计算。
代币经济学
CTSI 代币是 Cartesi 生态系统的原生实用代币。它具有多种功能，包括在 Cartesi 的 Noether 权益证明 (PoS) 系统中进行质押，节点运行者质押 CTSI 以参与网络并赚取奖励。CTSI 还用于支付在 Noether 侧链上处理数据的交易费用。其代币经济学旨在激励网络参与并保护数据可用性协议。随着生态系统的发展，使用该平台进行计算和数据存储的 dApp 数量不断增加，预计对 CTSI 的需求也会随之增长。
生态系统
Cartesi (CTSI) 作为一个 Layer-2 解决方案运作，将自己定位为一个“区块链操作系统”，增强了像以太坊、Polygon 和 BNB Chain 这样的 Layer-1 网络的能力。它与 Arbitrum 和 Optimism 等其他可扩展性和以开发者为中心的平台竞争，但通过提供完整的 Linux 环境而脱颖而出。其独特的价值主张不仅在于扩展交易，还在于扩展计算，使得在其他平台上目前不可行的 dApp 成为可能。这种对计算深度的关注使其成为更广泛的 Web3 和 DeFi 生态系统中的一项补充技术，吸引了来自传统软件背景的开发者。
常见问题
Cartesi (CTSI) 是一个 Layer-2 平台，允许开发者使用完整的 Linux 操作系统构建可扩展的去中心化应用 (dApp)。它弥合了主流软件开发与区块链技术之间的差距，实现了更复杂、更强大的 dApp。
您可以在币安、Coinbase 和 Kraken 等主流加密货币交易所购买 Cartesi (CTSI)。通常，您需要创建一个账户，存入法定货币（如美元或欧元）或其他加密货币（如 BTC 或 ETH），然后将其兑换成 CTSI。
CTSI 代币用于在 Noether 权益证明网络中进行质押，以保护系统安全并赚取奖励。它还用于支付 Cartesi 生态系统内的数据处理费用，使其成为 dApp 运行的必要条件。
与许多专注于 EVM 兼容性的 Layer-2 不同，Cartesi 提供了一个完整的 Linux 虚拟机。这允许开发者使用他们熟悉的任何编程语言和工具，而不仅仅是 Solidity。这极大地扩展了 dApp 复杂性的可能性，并吸引了更广泛的开发者。
是的，您可以质押 CTSI 代币以参与 Cartesi 的 Noether 权益证明 (PoS) 系统。质押者帮助保护网络安全，并获得更多 CTSI 代币作为奖励。质押可以直接进行，也可以通过各种平台上的质押池进行。
Optimistic rollups 是一种 Layer-2 扩容技术，它将许多交易在链下捆绑在一起，并将摘要提交到主区块链。Cartesi 使用它们来确保在其 Linux 虚拟机中执行的复杂计算在链上是可验证的，从而在不牺牲安全性的情况下提供可扩展性。
Cartesi 的架构非常适合在其他区块链上不可行的计算密集型 dApp。这包括复杂的策略游戏、去中心化的机器学习应用、数据分析工具以及需要大量处理的企业级解决方案。
Cartesi 使用 optimistic rollups 固有的争议解决系统。所有计算都发布在链上，并假定是正确的。但是，有一个挑战期，在此期间任何人都可以提交欺诈证明来验证计算。如果检测到欺诈，错误的一方将受到惩罚，从而确保系统的完整性。
