Overview
Cartesi's vision is that creating a dApp should not be too different from the general development of desktop, web, and mobile applications. To that end, Cartesi provides a framework for building decentralized logic, giving developers full flexibility to use the tools and libraries of their preference.
Navigate to our Quick Start tutorial if you want to build dApps now!
From a developer's point of view, a Cartesi dApp is composed of two main parts:
- Front-end: the user facing interface, which will often provide a UI (e.g., a web application) but may also be a command line interface (e.g., a hardhat task using ethers, or a command line using python).
- Back-end: the verifiable logic that will run inside the Cartesi Rollups infrastructure; this will store and update the application state given user input, and will produce outputs in the form of vouchers (transactions that can be carried out on L1) and notices (information that can be validated on L1).
The suggested development process for Cartesi dApps involves a series of stages, from the design of the application up to its final deployment. Although some of those stages involve blockchain or Cartesi-specific procedures, the intention is that developers should be able to code normally using their usual mainstream development environment for 90+% of the work, and to make that possible Cartesi provides some tools and infrastructure.
In particular, during development the Cartesi Rollups infrastructure can be executed locally in two modes, as described below.
Production Mode
In Production Mode, the dApp's back-end logic is packaged to run inside a Cartesi Machine emulator, as will be the case when the application is deployed. This means that any code written in compiled languages such as C++ or Rust must be cross-compiled to the Cartesi Machine's RISC-V architecture. In this mode, the computation performed by the back-end is reproducible and hence verifiable, enabling a truly trustless and decentralized execution.
Host Mode
In Host Mode, the back-end logic is executed natively on localhost, just as any regular application. This is made possible because the Cartesi Rollups Host Environment provides the very same APIs as the regular mode, mimicking the behavior of the actual L1 and L2 components. This allows the developer to test and debug the back-end logic using familiar tools, such as an IDE or a debugger.