Cartesi

Bringing real world computations to the blockchain

[Short general description]: Cartesi is an infrastructure layer that brings real world computations to the blockchain. It offers blockchains powerful new primitives that enable smart contracts to formulate off-chain computations performed over off-chain data and then settle disputes over the results.

 

 

[Main problems tackled]: Current Blockchain consensus mechanisms are based on full redundancy. This means storage and computations are replicated across all nodes, resulting in an unscalable environment. Blockchains also rely on idiosyncratic VMs that lack valuable features found in general-purpose architectures, resulting in a restrictive environment. The restrictiveness and scaling problems don't allow for real world computations and large data on blockchains.

Below are listed the key problems on blockchain platforms today that Cartesi has a solution to:

1. Computations on the blockchain are inefficient and have limited throughput thus the number of transactions on current blockchains (ie. Bitcoin, Ethereum) is limited.

2. Computations on the blockchain are expensive due to the inefficiency and limited storage space, which results in the total dimension of the transaction being limited on most blockchains.

3. Off-chain computations are a solution to these, but up to this point cannot be verified in a decentralized way.

4. Restrictive environment. Developers don't have access to a full operating system and toolchains of the real world, and are forced to use specific programming languages with limited libraries.

 

 

[Main contribution proposal]: 

1. Science - Outsourced computation will allow for millions of users to lend their idle computing power and help the world of science work towards goals of searching for extraterrestrial life, mapping asteroids, or helping the LHC collide particles.

2. Logistics - Dapps built on top of Cartesi can change the way the supply chain world works. Ensure your products are legitimate through verified consensus, making real world logistics solution actually feasible on the blockchain with massive amounts of data.

3. Finance- Cartesi applications will be able to to read the contents of multiple blockchains . This will enable smart contracts that depend on the information of other existing smart contracts. The key applications are interoperability between blockchains and services such as futures and insurance markets.

4. Computer Science - 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 computational intensive tasks that require experts in the field. This would open possibilities for lower cost AI, developed by outsourced experts and bots.

5. Healthcare - Cartesi will help healthcare in a countless number of ways. Through folding proteins in search for cures for cancer, computing solutions for new drugs, or even creating neural networks that diagnose diseases.

6. Gaming - Cartesi's application to oracles will help transform decentralized games. Off-chain verification will make decentralized games a reality and large oracles will allow games to place massive amounts of data directly on the blockchain. Games such as fantasy leagues that rely on large external data will now allow trustless global participation.

 

 

[Innovation]: The Cartesi Project is divided into two major components:

1. Cartesi Node - The first component is the Cartesi Node. This is a software package that Clients, Miners, Experts, and Developers use to interact with Cartesi in their respective capacities. The Cartesi Node, in turn, interacts with the blockchain via a set of protocols and smart contracts, which together form the second major component of the Cartesi Project. Cartesi Nodes and Cartesi Contracts interact by means of simple, public, well documented, abstract interfaces. They are further divided into smaller components which similarly interact by internal abstract interfaces.

The Cartesi Node is the software that runs on any computer that wishes to interact with the Cartesi Project. It is divided into the following parts:

- Frontend

- Virtual Machine

- The operating system

- Offchain communications

2. Protocol Layer - The second component of the Cartesi project includes all the protocols and smart contracts that bridge to Cartesi Node with the blockchain.

Verification Contract serves as a judge determining whether a certain calculation made in the virtual machine (outside of the blockchain) is correct or not. Having this automated and transparent judge lays the groundwork for the trust needed for a decentralized and safe marketplace, similarly to what Ethereum smart contracts have done. This algorithm is extremely efficient, meaning that its running time off-chain is linear in the size of the computation and its running time in the blockchain is bounded by log(time) + log(space), which makes any calculation virtually cheap to verify.

There can be several types of protocols, depending on the application that the users have in mind. The main task of these protocols is to setup the Virtual Machine, guarantee data availability and call the Verification Contract in case of a dispute. Different applications require different protocols to setup the machine and Cartesi does not impose a preferred way of doing so, leaving this instead for the community to develop upon. Cartesi will however provide several interesting protocols that will cover many important use-cases.

 

Analysis

Team - Founders:
Are the founders known? Do they have relevant experience and connections?
?
  • 1. Unknown people. No serious background information available.
  • 2. Partial information available, no relevant experience.
  • 3. Background information available, no relevant experience.
  • 4. Solid, relevant background and connections available.
  • 5. Solid, well known, experienced and well connected founders.
Team - Advisors:
What level of commitment, experience and connections do the advisers bring?
?
  • 1. No reputable advisors with relevant experience.
  • 2. Few advisors with little to no relevant experience.
  • 3. Advisers with relevant experience.
  • 4. Reputable advisors with relevant experience and connections.
  • 5. High profile highly experienced, well connected and committed advisors.
Product - Technology Layer:
Is the product innovative? Does it contribute to the blockchain ecosystem?
?
  • 1. No, the product is just a clone with no contribution.
  • 2. The product is a dapp with minimal interest and little contribution to the ecosystem.
  • 3. The product is a dapp, exchange or protocol addressing a real problem or need.
  • 4. Innovative product offering a solution to a high interest problem.
  • 5. Innovative protocol tackling critical problems of highest interest.
Product - Proof of concept:
Is the proof of concept comprehensive? Does it address a real problem or need?
?
  • 1. No, incoherent concept or no need for it.
  • 2. Difficult concept to understand, hardly any need or problem to solve.
  • 3. Clear concept which addresses a real problem.
  • 4. Clear, well thought concept which addresses a real problem of high interest.
  • 5. Exceptional proof of concept addressing a critical problem.
Product - MVP:
Has the concept been tested? Is there an MVP? How far is the launch?
?
  • 1. Untested concept.
  • 2. Initial tests, no MVP.
  • 3. MVP ready, Alpha launch.
  • 4. MVP ready, Beta launch.
  • 5. Fully working initial product.
Token Economics - Token utility:
Does the token have any utility? Is it a core function to the network?
?
  • 1. No, the token has no utility.
  • 2. Token has a limited, unclear utility.
  • 3. The token has some added, but not inherent value.
  • 4. The token is embedded in the network and has inherent value.
  • 5. The token has both inherent and added value and is embedded at the core of the network.
Token Economics - Network effect:
Are strong network effects built into the system? Are incentives aligned to encourage the growth of the network?
?
  • 1. No network effects built in.
  • 2. Minimal network effects, unclear incentives.
  • 3. Network effects and incentives present.
  • 4. Solid network effects with clear incentives due to inherent utility.
  • 5. Strong network effects, aligned incentives and high utility value.
Business Evaluation - Valuation:
Is the valuation reasonable ? Sufficient but not too high for the scope of the project?
?
  • 1. No, the valuation is ludicrous, the project could do with 1/10 of the sum.
  • 2. Valuation is higher than the project would need. Likely a money grab.
  • 3. Valuation is reasonable for the scope of the project.
  • 4. Valuation is modest for the caliber of the project.
  • 5. Valuation is impressively modest relative to the high caliber of the project.
Business Evaluation - Market potential:
What is the market potential? Does the project look like it could penetrate the market and conquer the world?
?
  • 1. No clear market potential.
  • 2. Limited market potential.
  • 3. Reasonable market and growth potential.
  • 4. Solid market and growth potential.
  • 5. Exceptional market and growth potential.
Business Evaluation - Competition:
Does the project have competition? How strong does it look relative to its competition?
?
  • 1. Awful position competing with many strong players.
  • 2. Weak position facing strong competition.
  • 3. Reasonable position facing strong competition.
  • 4. Solid position facing weak competition.
  • 5. Exceptional position, facing almost no competition.
Business Evaluation - Supply sold:
Does the team distribute a reasonable amount of the tokens so as to encourage create strong incentives and network effects?
?
  • 1. Negligible supply, greedy team.
  • 2. Small supply, poor incentives.
  • 3. Modest supply, weak incentives.
  • 4. Reasonable supply, responsible team.
  • 5. Large supply, solid inventive, committed team.
Business Evaluation - Vesting:
Does the team have a sufficient stake to have aligned incentives? Do they have a vesting schedule implemented?
?
  • 1. Large stake, no vesting.
  • 2. Small stakes, no vesting.
  • 3. Modest stakes, no vesting.
  • 4. Reasonable stakes, modest vesting.
  • 5. Solid stake, healthy vesting.
Hype and media presence:
Is the project present on social media and chats? Is there interest for it?
?
  • 1. No presence, negative image.
  • 2. Modest exposure and no interest.
  • 3. Reasonable exposure and modest interest.
  • 4. Solid exposure and high interest.
  • 5. Exceptional exposure, high interest and considerable hype.
Final Score
?

Team

Member
Erick de Moura
Chief Executive Officer
Augusto Teixeira
Chief Scientific Officer
Diego Nehab
Chief Technology Officer
Colin Steil
Chief Operating Officer
Marco Mirabella
Chief Business Development Officer
Kevin Willock
Head of Security
Felipe Argento
Blockchain Engineer

Advisors

Serguei Popov
Co-Founder of IOTA
Stas Oskin
Core Dev & Bus Dev of Wings.ai
Luiz Henrique de Figueiredo
Co-creator of LUA programming language
William Bao Bean
General Partner at SOSV / Managing Director at Chinaccelerator / Managing Director at MOX
Boris Povod
Co-founder of Wings / Co-founder of Crypti

Updates

Title
Published at
Welcome to Cartesi - Bringing Real World Computations to the Blockchain
3 months ago
Meet the Cartesi Team
2 months ago