The Cartesi Coprocessor combines the technologies of EigenLayer and the Cartesi Machine to provide expressive, verifiable off-chain computation for Ethereum smart contracts.
This project enables developers to extend the capabilities of Ethereum applications by leveraging Cartesi's RISC-V-based execution environment in conjunction with EigenLayer's AVS (Actively Validated Services) infrastructure. The result is a powerful, modular architecture for off-chain computation with trustless validation.
https://github.com/cartesi/coprocessor-solver https://github.com/cartesi/coprocessor-operator https://github.com/cartesi/coprocessor-advance-runner https://github.com/cartesi/coprocessor-evm-call
The Cartesi Coprocessor consists of smart contracts and two primary off-chain components:
-
Coprocessor Operator
A stateless executor that receives and runs Cartesi Machines with a specific input and signs the resulting computation. Operators do not retain any local state between requests. -
Coprocessor Solver
A coordination agent that listens for computation requests emitted by smart contracts. It orchestrates the execution using a set of Operators, aggregates their BLS signatures on the result, and submits the aggregated proof back on-chain via a callback to the originating contract.
This architecture enables highly parallel, verifiable computation with strong cryptographic guarantees of correctness, without requiring interactive fraud proofs or continual on-chain execution.
This repository includes:
-
Docker Compose Environment
A ready-to-usedocker-composesetup for local development, testing, and iteration. -
Smart Contracts
Solidity contracts and deployment scripts that compose the Ethereum-side components of the AVS. -
Holesky Deployment Configuration
Scripts and configuration for deploying to the Holesky Ethereum testnet.
This project targets the general version of EigenLayer smart contracts that supports:
- Operator Sets
- Slashing
This project is licensed under the Apache License 2.0 (APLv2).
Note: Some components may depend on or interoperate with third-party software from EigenLayer that is separately licensed. Please consult those components’ respective repositories for detailed licensing terms.