Skip to main content

Overview

Welcome to the documentation for Cartesi’s Fraud Proof System, focused on the implementation of the Permissionless Refereed Tournament (PRT) and its real-world application in the Honeypot App.

This section is designed to help you understand how Cartesi enables secure and decentralized verification of off-chain computations through fraud proofs. These docs are targeted for researchers and builders who want to dive deep into the implementation of Cartesi's fraud proof system. For beginners, we recommend starting with the Fundamental Concepts section.

Scope

  • The fundamentals of fraud proofs and their role in rollups
  • How Cartesi’s Permissionless Refereed Tournament (PRT) works
  • The architecture and contracts behind PRT
  • How the Honeypot app integrates with and demonstrates PRT
  • A reference to PRT's core and consensus layer APIs
Work in progress

This documentation focuses on the PRT implementation of Dave - the leading fraud proof system of Cartesi. Improvements in PRT will be part of the roadmap of Dave system and will be added as it matures.

On this page

We use cookies to ensure that we give you the best experience on our website. By using the website, you agree to the use of cookies.