Cartesi - Connecting Linux & Blockchain Technology for DApps
A bridge between Linux and blockchain
Build scalable DApps using a fully-fledged Linux operating system and mainstream software stacks. Run complex computations off-chain, free from blockchain limitations and fees, while retaining decentralization and security. DApps with Cartesi are easier to build, scalable and more powerful.
Why Build in Cartesi
Scalable
Intensive computations performed off-chain while retaining the security guarantees of the blockchain.
Versatile
DApp logic built on a real operating system utilizing the thousands of open-source software components available for Linux.
Easy to build
Developers use familiar software stacks and popular standards to create DApps.
Fully-Decentralized
Consensus securely reached on-chain. No reputation protocol, no TEE, or central servers on the cloud.
Portable
Cartesi will make DApps portable across the most important public blockchains that support smart contracts.
Private
DApp state can be kept private among application participants.
How It Works
1. Code your main DApp logic using Linux and Linux-compatible software stacks. Your program will run off-chain, handling complex computations over massive amounts of data.
2. Cross-compile the program to be deployed on Cartesi's virtual machine that emulates a RISC-V microprocessor and runs an embedded Linux distribution.
3. At runtime, your DApp smart contracts delegate computations to the program running off-chain on Cartesi Nodes. Nodes claim the results to the blockchain.
4. Cartesi Nodes are run by DApp users themselves or by service providers they trust. Through their nodes, honest users can infallibly prove their claims to the blockchain and enforce their interests.
5. In rare cases of dispute, the blockchain starts an interactive dispute resolution between Cartesi Nodes and runs a single step of the original computation with a negligible amount of data and at a very low cost.
6. Your DApp is running heavy and complex computation off-chain, while retaining full decentralization and the strong security guarantees of the blockchain.
Cartesi Use Cases
DeFi
Cartesi applications will be able to perform complex and intensive computation involving large amounts of data, potentially from multiple sources. This will release DeFi from the current scalability constraints of blockchain. It will also help interoperability between blockchains and services — such as futures and insurance markets.
Cartesi applications will be able to perform complex and intensive computation involving large amounts of data, potentially from multiple sources. This will release DeFi from the current scalability constraints of blockchain. It will also help interoperability between blockchains and services — such as futures and insurance markets.
Gaming
Cartesi will unleash vast new possibilities for blockchain games. Developers will be able to use traditional tools and libraries that can be compiled for Linux. Additionally, game state processing will be free from the computational limits and high fees of blockchains without the need to sacrifice decentralization.
Cartesi will unleash vast new possibilities for blockchain games. Developers will be able to use traditional tools and libraries that can be compiled for Linux. Additionally, game state processing will be free from the computational limits and high fees of blockchains without the need to sacrifice decentralization.
Machine Learning
A decentralised marketplace for Al and computational tasks. With the power of Cartesi's decentralized automated verification, developers will be able to create services that allow new DApps to outsource and distribute work. This opens new possibilities for lower-cost Al by outsourcing experts and bots.
A decentralised marketplace for Al and computational tasks. With the power of Cartesi's decentralized automated verification, developers will be able to create services that allow new DApps to outsource and distribute work. This opens new possibilities for lower-cost Al by outsourcing experts and bots.
The Future of Automation
With the power of Cartesi's decentralized verification, applications will be able to outsource and distribute verifiable work. This opens new possibilities for trustless marketplaces and autonomous systems involving humans and machines, propelling loT, data science and Al through new business models.
With the power of Cartesi's decentralized verification, applications will be able to outsource and distribute verifiable work. This opens new possibilities for trustless marketplaces and autonomous systems involving humans and machines, propelling loT, data science and Al through new business models.
Logistics & Optimization
With Cartesi, professionals in fields such as logistics and transportation will be able to offer their services and be hired by enterprises internationally and without the need for intermediaries.
With Cartesi, professionals in fields such as logistics and transportation will be able to offer their services and be hired by enterprises internationally and without the need for intermediaries.
Research
Outsourced computation can allow for millions of users to lend their idle computing power. This can benefit scientific research, 3D rendering, video transcoding and many other computationally intensive tasks that are actually verifiable. No reputation system needed. No sybil attacks.
Outsourced computation can allow for millions of users to lend their idle computing power. This can benefit scientific research, 3D rendering, video transcoding and many other computationally intensive tasks that are actually verifiable. No reputation system needed. No sybil attacks.
Our Roadmap
Q4 2018
Cartesi Core Testing
Q4 2018
First Minimum Viable Product
Q2 2019
Computation Verifiability
Q3 2019
Cartesi Core Open-sourced
Q4 2019
Decentralized Tournament Infrastructure
Q1 2020
Launch of Creepts
Creepts Bounty Program
Creepts on Rinkeby
Q2 2020
SDK Documentation Portal
Host-Target Interface ("HTIF") Linux Driver for Roll-ups
Q3 2020
Proof-of-Stake prototype
High-level Google Remote Procedure Call ("GRPC") for Roll-ups
Infrastructure re-evaluation
Launch mining on Testnet
Q4 2020
Redesigning of testing infrastructure
Launch mining on Mainnet
Release of P2P Service GRPC
Q1 2021
Cartesi Roll-ups
Infrastructure re-implementation
Cartesi Side Chain testing and auditing
Q2 2021
Launch of Cartesi Side Chain on Testnet
Conducting new infrastructure migration
Cartesi Side Chain real usage testing
Q3 2021
Launch of Cartesi Side Chain on Mainnet
Cartesi Side Chain bug bounty
Cartesi Core Testing
Q4 2018
First Minimum Viable Product
Q4 2018
Computation Verifiability
Q2 2019
Cartesi Core Open-sourced
Q3 2019
Decentralized Tournament Infrastructure
Q4 2019
Q1 2020
Launch of Creepts
Creepts Bounty Program
Creepts on Rinkeby
Q2 2020
SDK Documentation Portal
Host-Target Interface ("HTIF") Linux Driver for Roll-ups
Q3 2020
Proof-of-Stake prototype
High-level Google Remote Procedure Call ("GRPC") for Roll-ups
Infrastructure re-evaluation
Launch mining on Testnet
Q4 2020
Redesigning of testing infrastructure
Launch mining on Mainnet
Release of P2P Service GRPC
Q1 2021
Cartesi Roll-ups
Infrastructure re-implementation
Cartesi Side Chain testing and auditing
Q2 2021
Launch of Cartesi Side Chain on Testnet
Conducting new infrastructure migration
Cartesi Side Chain real usage testing
Q3 2021
Launch of Cartesi Side Chain on Mainnet
Cartesi Side Chain bug bounty
Partners & Backers
Blog
Stay in touch:
The Cartesi Project is commissioned by the Cartesi Foundation.
