Cartesi, A Linux infrastucture for scalable DApps

Hello everyone! Today I'll tell you guys about Cartesi.
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 conflictresolution 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.

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.

How Cartesi can help to change the world?

1. Finance.
   Cartesi applications will be able to read and do complex calculus involving data from multiple blockchains. This will enable interoperability between blockchains and services such as futures and insurance markets.
2. Efficient AI, by AI.
   A trustless marketplace for AI 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. These include machine learning, data analysis, or computationally intensive tasks that require experts in the field. This opens new possibilities for lower cost AI, developed by outsourced experts and bots.
3. Truly Own Your Game.
   Cartesi will unleash vast new possibilities for blockchain games. Developers will be able to use the tools, libraries, and engines that can be compiled for Linux. Additionally, game processing will be free from the limits of blockchains without the need to sacrifice decentralization. Envision trustless global participation across multiple games.
4. Discovering the Unknown.
   Outsourced computation will allow for millions of users to lend their idle computing power. This will benefit scientific research, 3d rendering, video transcoding, and many other computationally intensive tasks in a totally trustless way, without reputation systems.
5. Decentralized Data Science
   Cartesi's verifiable computation paves the way for decentralized data scientist marketplaces. Businesses can outsource optimization tasks to experts whose jobs will be compensated if and only if they are computationally proven to be correct. Imagine optimizing the use of transport based on packages to deliver, their sizes and where they have to go.

For more information you can visit.
Website: https://cartesi.io/
Whitepaper: https://cartesi.io/cartesi_whitepaper.pdf

Writer
Telegram: @chand99
Bitcointalk profile link: https://bitcointalk.org/index.php?action=profile;u=1203154
Your email: [email protected]