The off-chain implementation of the Cartesi Machine
-
Updated
Aug 11, 2026 - C++
The off-chain implementation of the Cartesi Machine
ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs
Real-time cryptographic watchtower and reputation engine for Unichain. Validates Intel TDX attestations, detects sequencer equivocations, and provides a programmatic 'confidence score' API for 200ms Flashblocks.
Gluon Layer2 is a plasma variant for scaling non-custodial exchanges and DeFi on Ethereum.
Real-time cryptographic watchtower and reputation engine for Unichain. Validates Intel TDX attestations, detects sequencer equivocations, and provides a programmatic 'confidence score' API for 200ms Flashblocks.
An optimistic rollup with fraud proofs and a bisection dispute game — a sparse Merkle state, one shared state transition function, and an L1 that convicts a lying sequencer by re-running a single transaction. Includes an interactive dispute visualization.
A thread-centric L1 blockchain where every account is a personal cryptographic chain that only you can sign. Near-zero fee transfers, ~3s finality, WASM smart contracts, and lightweight full nodes — built in Rust with HotStuff BFT consensus.
Cartesi is a Linux-based optimistic rollup protocol that lets developers build decentralized applications by running rich off-chain computation inside a sandboxed Linux virtual machine.
Add a description, image, and links to the fraud-proofs topic page so that developers can more easily learn about it.
To associate your repository with the fraud-proofs topic, visit your repo's landing page and select "manage topics."