Cartesi - A Layer-2 Linux Infrastructure for Scalable DApps.

#Intensive computations performed off-chain.
#Complete generality for developers.
#Consensus efficiently reached on-chain,
A Linux infrastructure for scalable decentralized applications.
*Real world computations meet the blockchain.
Intensive computations require a realistic platform. Cartesi enables external computations to run on a RISC-V processor under a deterministic Linux operating system. Developers can use all the tools, libraries, and services they are already familiar with.

*Portable across multiple blockchains.
Smart contracts running on different blockchains can formulate external computations in the exact same way in the Cartesi Node. This isolates complex computations from the details of specific blockchains, making them portable and providing security, immutability, and a payment system.

Guaranteed consensus.

External computations can be verified externally by all involved parties. Disputes are settled automatically by Cartesi. This requires negligible computation inside the blockchain, regardless of the size of the external computation.

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,offchain 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.

The revolution in software capability the world experienced over the last few decades can be attributed to two key factors.The first is an exponential increase in the speed at which modern hardware platforms can process vast amounts of data.The second,and equally
important,is the everincreasing expressive power of software development environments. Indeed,general-purpose computations do not
happen in isolation.Rather,they are assembled from inter-dependent building-blocks created by a worldwide collaboration of software developers.

These components and services rely on standard-library facilities hosted by an underlying operating system (memory management,process management,file systems, networking,etc).It is the operating system that ties everything together.Such facilities are not available from the free-standing programming languages and compilers that typical blockchains offer to smart contract developers.

Reproducibility and scalability concerns have made on-chain computation environments very restrictive.To boost productivity and widen the scope of blockchain development,we need a reproducible computation model that supports modern operating systems.

Moving computations off-chain brings several advantages beyond scalability.Cartesi Machines enable DApp developers to use all the programming languages,tools,libraries, software, and services they are already familiar with.Moreover,the way in which computations are formulated is agnostic to the underlying blockchain.By isolating all the complex smart-contract logic into reproducible off-chain computations,developers can make their DApps more portable across different blockchains.

Web https://cartesi.io
Whitepaper https://cartesi.io/cartesi_whitepaper.pdf

Cartesi team