Cartesi (@cartesiproject): So far at Cartesi, we've developed:

So far at Cartesi, we've developed: 🔹Cartesi Machine 🔹Cartesi Rollups 🔹Cartesi Coprocessor 🔹Fraud-proof system Dave on the way Expand to learn more ⬇️ At the core of Cartesi’s technology is the Cartesi Machine, an altVM that boots Linux OS and runs computations off-chain in a fully deterministic way. It is designed to be reproducible, meaning that every node processing the same input will produce the exact same output. Cartesi Rollups enable offchain computation in a deterministic and reproducible environment, allowing developers to build dApps with complex logic, leveraging familiar programming. Cartesi Rollups provide an app-specific rollup chain (appchain) for each dApp and a powerful framework that allows dApps to interact with the base layer blockchain while still benefiting from offchain execution. The Cartesi Coprocessor is an extension of Cartesi’s technology, a new solution that’s coming to life. It is designed to offload intensive computations from the Ethereum blockchain. By allowing smart contracts to invoke a stateless Cartesi Machine for offchain execution in a way that resembles serverless computation, the Coprocessor dramatically expands the computational capabilities of Ethereum-based applications. Cartesi has developed two innovative fraud-proof mechanisms to ensure decentralized, secure, and efficient dispute resolution: Permissionless Refereed Tournaments (PRT) and Dave (inspired by the David and Goliath story, not an acronym). These mechanisms address scalability and security challenges in optimistic rollups by providing a structured way to resolve computation disputes without requiring excessive resources from honest participants. And we won’t stop until we make Cartesi the go-to infrastructure for devs to build in web3.