The Cartesi Machine is Cartesi's solution for verifiable computation. It was designed to bring mainstream scalability to DApps and mainstream productivity to DApp developers.
Cartesi is a layer-2 platform for the development and deployment of scalable decentralized applications. Cartesi DApps are composed of both blockchain and off-chain components. Off-chain components run inside Cartesi Nodes that represent the interests of each DApp user.
Cartesi Nodes provide DApp developers with reproducible Cartesi Machines, where large scale verifiable computations can be run. These verifiable computations are easily integrated into smart contracts by powerful primitives that provide strong conflict resolution guarantees. More precisely, any dispute arising over the result of computations run inside Cartesi Machines can be fairly adjudicated at negligible cost on the blockchain.
Cartesi Nodes also allow DApp developers to run native code. Native computations can leverage the node’s full processing power, including any available GPUs. Whether performed natively by the node or inside Cartesi Machines, off-chain components run under a complete Linux operating system that provides the full ecosystem required by complex computations.
Cartesi enables DApp developers to use all the programming languages, tools, libraries, software, and services they are already familiar with. By moving most of the complex logic of their DApps to portable off-chain components, developers are freed from the limitations and idiosyncrasies imposed by blockchains. In this way, Cartesi empowers developers to select the best run-time environment in which to host each part of their DApps.
Limitless coding
Build smart contracts with mainstream software stacks. Take a productive leap from Solidity to the vast universe of software components supported by Linux.
Massive scalability
Enable million-fold computational scalability, data availability of large files and low transaction costs. All while preserving the strong security guarantees of Ethereum.
Privacy guarantees
From games where players conceal their data to Enterprise applications that run on sensitive data, preserve privacy on your DApps.
Descartes
A decentralized computational oracle for blockchains
Descartes executes massive computational tasks off-chain, on a Linux virtual machine fully specified by a smart contract.
The results of the computations are fully verifiable and enforceable on-chain by honest Descartes node runners, preserving the strong security guarantees of the underlying blockchain.
Descartes Rollups
Scalable smart contracts built with mainstream software stacks
Descartes Rollups is a variant of optimistic rollups with interactive dispute resolution. Instead of Solidity, use countless mainstream software components to code smart contracts that run on a Linux VM.
Defeat the scalability limits of Ethereum, with million-fold computational gains, while preserving the strong security guarantees of the blockchain.
Noether
High-performance side chain for data availability
Noether is Cartesi's side chain designed for temporary data availability. It allows DApps to achieve high throughput and storage of large files with much reduced fees.
Noether's Proof of Stake system is ready now. Stake your CTSI and earn mine rewards to participate in Cartesi's growing network of validators.