Cartesi - Connecting Linux & Blockchain Technology for DApps

The Operating System for DApps

Build your DApp off-chain with Linux, Maintain on-chain security

Lines rightLines left

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

scalableScalable

Intensive computations performed off-chain while retaining the security guarantees of the blockchain.

versatileVersatile

DApp logic built on a real operating system utilizing the thousands of open-source software components available for Linux.

easyToBuildEasy to build

Developers use familiar software stacks and popular standards to create DApps.

fullyDecentralizedFully-Decentralized

Consensus securely reached on-chain. No reputation protocol, no TEE, or central servers on the cloud.

portablePortable

Cartesi will make DApps portable across the most important public blockchains that support smart contracts.

privatePrivate

DApp state can be kept private among application participants.

How It Works

step1

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.

step2

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.

step3

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.

step4

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.

step5

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.

step6

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.

Creepts Tower Defense

First Fully Decentralized Tower Defense DApp

creepts

Our Roadmap

Timeline

Q4 2018

Roadmap timeline markerCartesi Core Testing

Cartesi Core Testing

Q4 2018

Roadmap timeline markerFirst Minimum Viable Product

First Minimum Viable Product

Q2 2019

Roadmap timeline markerComputation Verifiability

Computation Verifiability

Q3 2019

Roadmap timeline markerCartesi Core Open-sourced

Cartesi Core Open-sourced

Q4 2019

Roadmap timeline markerDecentralized Tournament Infrastructure

Decentralized Tournament Infrastructure

Q1 2020

Roadmap timeline marker
Launch of Creepts

Launch of Creepts

Creepts Bounty Program

Creepts Bounty Program

Creepts on Rinkeby

Creepts on Rinkeby

Q2 2020

Roadmap timeline marker
SDK Documentation Portal

SDK Documentation Portal

Host-Target Interface ("HTIF") Linux Driver for Roll-ups

Host-Target Interface ("HTIF") Linux Driver for Roll-ups

Q3 2020

Roadmap timeline marker
Proof-of-Stake prototype

Proof-of-Stake prototype

High-level Google Remote Procedure Call ("GRPC") for Roll-ups

High-level Google Remote Procedure Call ("GRPC") for Roll-ups

Infrastructure re-evaluation

Infrastructure re-evaluation

Launch mining on Testnet

Launch mining on Testnet

Q4 2020

Roadmap timeline marker
Redesigning of testing infrastructure

Redesigning of testing infrastructure

Launch mining on Mainnet

Launch mining on Mainnet

Release of P2P Service GRPC

Release of P2P Service GRPC

Q1 2021

Roadmap timeline marker
Cartesi Roll-ups

Cartesi Roll-ups

Infrastructure re-implementation

Infrastructure re-implementation

Cartesi Side Chain testing and auditing

Cartesi Side Chain testing and auditing

Q2 2021

Roadmap timeline marker
Launch of Cartesi Side Chain on Testnet

Launch of Cartesi Side Chain on Testnet

Conducting new infrastructure migration

Conducting new infrastructure migration

Cartesi Side Chain real usage testing

Cartesi Side Chain real usage testing

Q3 2021

Roadmap timeline marker
Launch of Cartesi Side Chain on Mainnet

Launch of Cartesi Side Chain on Mainnet

Cartesi Side Chain bug bounty

Cartesi Side Chain bug bounty

Timeline
Cartesi Core Testing

Cartesi Core Testing

Q4 2018

First Minimum Viable Product

First Minimum Viable Product

Q4 2018

Computation Verifiability

Computation Verifiability

Q2 2019

Cartesi Core Open-sourced

Cartesi Core Open-sourced

Q3 2019

Decentralized Tournament Infrastructure

Decentralized Tournament Infrastructure

Q4 2019

Q1 2020

Launch of Creepts

Launch of Creepts

Creepts Bounty Program

Creepts Bounty Program

Creepts on Rinkeby

Creepts on Rinkeby

Q2 2020

SDK Documentation Portal

SDK Documentation Portal

Host-Target Interface ("HTIF") Linux Driver for Roll-ups

Host-Target Interface ("HTIF") Linux Driver for Roll-ups

Q3 2020

Proof-of-Stake prototype

Proof-of-Stake prototype

High-level Google Remote Procedure Call ("GRPC") for Roll-ups

High-level Google Remote Procedure Call ("GRPC") for Roll-ups

Infrastructure re-evaluation

Infrastructure re-evaluation

Launch mining on Testnet

Launch mining on Testnet

Q4 2020

Redesigning of testing infrastructure

Redesigning of testing infrastructure

Launch mining on Mainnet

Launch mining on Mainnet

Release of P2P Service GRPC

Release of P2P Service GRPC

Q1 2021

Cartesi Roll-ups

Cartesi Roll-ups

Infrastructure re-implementation

Infrastructure re-implementation

Cartesi Side Chain testing and auditing

Cartesi Side Chain testing and auditing

Q2 2021

Launch of Cartesi Side Chain on Testnet

Launch of Cartesi Side Chain on Testnet

Conducting new infrastructure migration

Conducting new infrastructure migration

Cartesi Side Chain real usage testing

Cartesi Side Chain real usage testing

Q3 2021

Launch of Cartesi Side Chain on Mainnet

Launch of Cartesi Side Chain on Mainnet

Cartesi Side Chain bug bounty

Cartesi Side Chain bug bounty

Expand Roadmap

Partners & Backers

Lines left

Blog