cartesi · riseandshaheen · Dec 17, 2025 · Nov 28, 2025 · Dec 17, 2025
diff --git a/fraud-proofs/fraud-proof-basics/bonds.md b/fraud-proofs/fraud-proof-basics/bonds.md
@@ -1,6 +1,36 @@
 # Bonds
 
-:::warning Work in progress
-Bonds mechanism is not yet implemented in the Cartesi's fraud proof system. To get the latest updates, get in touch with the core contributors on Cartesi [Discord](https://discord.gg/cartesi).
-:::
+## What is a bond mechanism?
 
+A bond mechanism in the fraud-proof system is an economic security system that requires participants to post collateral when posting claims in the dispute resolution process.
+
+The goal is to introduce a modest economic cost to submitting claims, thereby mitigating the impact of Sybil attacks. Bonds provide a means to finance and subsequently reimburse dispute-related expenses, ensuring that honest participants are not financially penalized for engaging in validation. 
+
+The mechanism is not intended to create participation incentives, rather, its design objective is to keep honest, altruistic validation as close to costless as possible, irrespective of the number or behavior of Sybil identities.
+
+## Why do we need bonds? A Case without Bonds
+In a dispute process, each transaction made on Ethereum would incur gas costs for the proposer and the challenger. This cost does not include the bond amount. In this setup, a malicious proposer who can spend a relatively large amount of gas fees has an advantage to repeatedly post claims until the honest challenger exhausts their funds or computational resources.
+
+This is infamously known as the resource exhaustion attack or [proof-of-whale attack](https://ethresear.ch/t/fraud-proofs-are-broken/19234). It is a type of Sybil attack. To deter such an attack, we introduce a bond system in the fraud-proof system.
+
+Naively introducing a high bond amount will impact decentralisation. Liveness and security may depend on preventing the adversary from creating too many Sybils. Increasing bonds in such a scenario harms decentralization by restricting the number of players that can afford to participate.
+
+## Implementation in PRT v2
+Cartesi’s _Permissionless Refereed Tournament (PRT) v2_ features a bond system. Each tournament level requires a bond to be posted in order for a commitment to be submitted. 
+
+A defender gets the gas fees as a refund with an optional incentive to be an active defender of the system. In a single dispute process(a tournament system), the fraud-proof design asks participants to stake a bond at each level of the game.
+
+In the worst-case scenario, an honest validator will have one bond for each tournament level. Currently, PRT v2 features three levels: top, middle, and bottom, which correspond to three bonds. Bond values differ at each level.
+
+
+When joining a tournament, participants must send the bond value in Wei. The contract enforces this requirement and reverts with an InsufficientBond error if the payment is insufficient.
+
+The **refund calculation** is capped by three values: the contract balance, a weighted fraction of the bond value, and the actual gas used plus a profit margin. The profit margin incentivizes honest participants to perform necessary operations.
+
+The winning commitment's submitter receives all bonds after tournament completion, recovering their costs plus rewards from eliminated participants.
+
+However, in practice, issuing refunds introduces an additional challenge. During dispute actions such as bisect and step, multiple honest validators may attempt the same operation simultaneously. Only the first transaction succeeds, while the rest revert, creating a race condition that leads to unnecessary gas losses and complicates proper refunds.
+
+To address this, PRT uses a targeted technique based on **MEV-Share’s** `mev_sendBundle` RPC. Although MEV-Share is a general MEV redistribution protocol, we rely on it only for its ability to relay transactions predictably through searcher relays. By submitting dispute actions via `mev_sendBundle`, validators avoid public mempool races and ensure that the intended action is included without incurring failed-transaction costs.
+
+This approach preserves the goal of making honest validation effectively costless, even when many validators attempt the same operation.
diff --git a/fraud-proofs/honeypot/introduction.md b/fraud-proofs/honeypot/introduction.md
@@ -1,9 +1,5 @@
 # Introduction
 
-:::caution
- Honeypot app is being updated. We recently found a bug in the application that has led to a fail-stop state. This means the current deployment is permanently frozen, and the bounty funds within it are no longer recoverable. Get in touch with us on [Discord](https://discord.gg/cWGbyFkQ2W) for more details.
-:::
-
 This section focuses on the Cartesi application - the Honeypot - its introduction, application logic and how it demonstrates the PRT fraud-proof system's capabilities in a real-world scenario.
 
 

diff --git a/fraud-proofs/references/daveconsensus.md b/fraud-proofs/references/daveconsensus.md
@@ -3,6 +3,17 @@
 ## DaveConsensus Contract
 ---
 
+DaveConsensus(also referred to as PRT-Rollups Consensus) is the consensus contract for applications that use Dave tournaments for verification.
+This contract is responsible for validating exactly one application contract, and all inputs must originate from the configured InputBox.
+
+DaveConsensus manages epochs, which are defined as half-open block-number intervals of the form [a, b).
+Epochs are numbered sequentially starting from 0.
+
+Off-chain nodes can track progress by subscribing to the _EpochSealed_ event. This event indicates which epochs have been sealed, which ones are fully settled, and which epoch is currently open for challenges.
+Anyone may settle an epoch by calling _settle()_, and an epoch’s eligibility for settlement can be checked via _canSettle()_. Learn more about epochs [here](../../../fraud-proofs/fraud-proof-basics/epochs).
+
+This contract links input ingestion, epoch progression, and Dave tournament-based verification under a single consensus interface.
+
 ### `canSettle()`
 
 ```solidity
@@ -15,25 +26,25 @@ Check if the current epoch can be settled by querying the tournament's arbitrati
 
 | Name | Type | Description |
 |------|------|-------------|
-| `isFinished` | `bool` | Whether tournament is finished |
-| `epochNumber` | `uint256` | Current epoch number |
-| `winnerCommitment` | `Tree.Node` | Winner's commitment from tournament |
+| `isFinished` | `bool` | Whether the current sealed epoch tournament has finished |
+| `epochNumber` | `uint256` | Current sealed epoch number |
+| `winnerCommitment` | `Tree.Node` | Winner's commitment in case the tournament has finished |
 
 ### `settle()`
 
 ```solidity
 function settle(uint256 epochNumber, bytes32 outputsMerkleRoot, bytes32[] calldata proof) external
 ```
 
-Settle an epoch using tournament results and create a new tournament for the next epoch. 
+Settle the current sealed epoch. On success, it emits an [`EpochSealed`](#epochsealed) event.
 
 **Parameters:**
 
 | Name | Type | Description |
 |------|------|-------------|
-| `epochNumber` | `uint256` | The epoch number to settle |
-| `outputsMerkleRoot` | `bytes32` | Root hash of the outputs Merkle tree |
-| `proof` | `bytes32[]` | Merkle proof array for validation |
+| `epochNumber` | `uint256` | The current sealed epoch number (used to avoid race conditions) |
+| `outputsMerkleRoot` | `bytes32` | The post-epoch outputs Merkle root (used to validate outputs) |
+| `proof` | `bytes32[]` | The bottom-up Merkle proof of the outputs Merkle root in the final machine state |
 
 ### `getCurrentSealedEpoch()`
 
@@ -50,7 +61,7 @@ Get information about the current sealed epoch including bounds and tournament.
 | `epochNumber` | `uint256` | Current epoch number |
 | `inputIndexLowerBound` | `uint256` | Lower bound of input indices (inclusive) |
 | `inputIndexUpperBound` | `uint256` | Upper bound of input indices (exclusive) |
-| `tournament` | `ITournament` | Current tournament contract |
+| `tournament` | `ITournament` | The tournament that will decide the post-epoch state |
 
 ### `isOutputsMerkleRootValid()`
 
@@ -69,9 +80,9 @@ Validate whether a given outputs Merkle root is valid for the specified applicat
 
 **Returns:**
 
-| Name | Type | Description |
+| Index | Type | Description |
 |------|------|-------------|
-| `valid` | `bool` | Whether the outputs Merkle root is valid |
+| [0] | `bool` | Whether the outputs Merkle root is valid |
 
 ### `provideMerkleRootOfInput()`
 
@@ -90,63 +101,76 @@ Get the Merkle root for input data at a specific index within the current epoch.
 
 **Returns:**
 
-| Name | Type | Description |
+| Index | Type | Description |
 |------|------|-------------|
-| `merkleRoot` | `bytes32` | Merkle root of the input data |
-
-## DaveConsensusFactory Contract
----
-
-### `newDaveConsensus()`
+| [0] | `bytes32` | Merkle root of the input data |
 
+### `ConsensusCreation`
 ```solidity
-function newDaveConsensus(address appContract, Machine.Hash initialMachineStateHash) external returns (DaveConsensus)
+event ConsensusCreation(IInputBox inputBox, address appContract, ITournamentFactory tournamentFactory)
 ```
 
-Deploy a new DaveConsensus contract instance for an application. 
+An event emitted when a new DaveConsensus contract is deployed.
 
 **Parameters:**
-
 | Name | Type | Description |
 |------|------|-------------|
-| `appContract` | `address` | Application contract address |
-| `initialMachineStateHash` | `Machine.Hash` | Initial state hash of the Cartesi machine |
+| `inputBox` | `IInputBox` | The input box contract |
+| `appContract` | `address` | The application contract |
+| `tournamentFactory` | `ITournamentFactory` | The tournament factory contract |
 
-**Returns:**
+### `EpochSealed`
+```solidity
+event EpochSealed(uint256 epochNumber, uint256 inputIndexLowerBound, uint256 inputIndexUpperBound, Machine.Hash initialMachineStateHash, bytes32 outputsMerkleRoot, ITournament tournament)
+```
 
+An event emitted when a new epoch is sealed.
+
+**Parameters:**
 | Name | Type | Description |
 |------|------|-------------|
-| `daveConsensus` | `DaveConsensus` | Deployed DaveConsensus contract instance |
+| `epochNumber` | `uint256` | The epoch number |
+| `inputIndexLowerBound` | `uint256` | The lower bound of the input index (inclusive) |
+| `inputIndexUpperBound` | `uint256` | The upper bound of the input index (exclusive) |
+| `initialMachineStateHash` | `Machine.Hash` | The initial machine state hash |
+| `outputsMerkleRoot` | `bytes32` | The Merkle root hash of the outputs tree |
+| `tournament` | `ITournament` | The sealed epoch tournament contract|
+
+## DaveAppFactory Contract
+---
+
+Dave-Application Factory contract allows anyone to reliably deploy an application validated with its corresponding Consensus contract.
 
-### `newDaveConsensus()` (with salt)
+### `newDaveApp()`
 
 ```solidity
-function newDaveConsensus(address appContract, Machine.Hash initialMachineStateHash, bytes32 salt) external returns (DaveConsensus)
+function newDaveApp(bytes32 templateHash, bytes32 salt) external returns (IApplication appContract, IDaveConsensus daveConsensus)
 ```
 
-Deploy a new DaveConsensus contract with deterministic address using CREATE2. 
+Deploy a new Dave-Application pair deterministically.
 
 **Parameters:**
 
 | Name | Type | Description |
 |------|------|-------------|
-| `appContract` | `address` | Application contract address |
-| `initialMachineStateHash` | `Machine.Hash` | Initial state hash of the Cartesi machine |
-| `salt` | `bytes32` | Salt for CREATE2 deterministic deployment |
+| `templateHash` | `bytes32` | Template hash of the application |
+| `salt` | `bytes32` | A 32-byte value used to add entropy to the addresses |
 
 **Returns:**
 
 | Name | Type | Description |
 |------|------|-------------|
-| `daveConsensus` | `DaveConsensus` | Deployed DaveConsensus contract instance |
+| `appContract` | `IApplication` | Deployed application contract |
+| `daveConsensus` | `IDaveConsensus` | Deployed DaveConsensus contract |
 
-### `calculateDaveConsensusAddress()`
+
+### `calculateDaveAppAddress()`
 
 ```solidity
-function calculateDaveConsensusAddress(address appContract, Machine.Hash initialMachineStateHash, bytes32 salt) external view returns (address)
+function calculateDaveAppAddress(bytes32 templateHash, bytes32 salt) external view returns (address appContractAddress, address daveConsensusAddress)
 ```
 
-Calculate the deployment address for a DaveConsensus contract before deployment. 
+Calculate the deployment address for a Dave-App pair before deployment. 
 
 **Parameters:**
 
@@ -160,4 +184,18 @@ Calculate the deployment address for a DaveConsensus contract before deployment.
 
 | Name | Type | Description |
 |------|------|-------------|
-| `address` | `address` | Calculated deployment address |
+| `appContractAddress` | `address` | Calculated deployment address for the application contract |
+| `daveConsensusAddress` | `address` | Calculated deployment address for the DaveConsensus contract |
+
+### `DaveAppCreated`
+```solidity
+event DaveAppCreated(IApplication appContract, IDaveConsensus daveConsensus)
+```
+
+An event emitted when a new Dave-App pair is deployed.
+
+**Parameters:**
+| Name | Type | Description |
+|------|------|-------------|
+| `appContract` | `IApplication` | The deployed application contract |
+| `daveConsensus` | `IDaveConsensus` | The deployed DaveConsensus contract |
diff --git a/fraud-proofs/references/deployments.md b/fraud-proofs/references/deployments.md
@@ -6,25 +6,28 @@ This page covers the PRT and Honeypot v2 deployed contracts and their addresses.
 
 | Component | Mainnet Address |
 |-----------|-----------------|
-| **Top Tournament** | [`0x09114973AE4bf3Af3896E4e541082C73f224F8Aa`](https://etherscan.io/address/0x09114973AE4bf3Af3896E4e541082C73f224F8Aa) |
-| **Middle Tournament** | [`0xe49E4CB0Ab5c0E5792E762807329B420Cc4FF1AE`](https://etherscan.io/address/0xe49E4CB0Ab5c0E5792E762807329B420Cc4FF1AE) |
-| **Bottom Tournament** | [`0x18256941eC7B661F9F46C228b74e775b581e63f8`](https://etherscan.io/address/0x18256941eC7B661F9F46C228b74e775b581e63f8) |
-| **Cartesi State Transition** | [`0x772732EFbDE6559B2960327276ed33d707fF057f`](https://etherscan.io/address/0x772732EFbDE6559B2960327276ed33d707fF057f) |
-| **MultiLevel Tournament Factory** | [`0xA31C2aCfF3464658866960c0fBD3d798310272D7`](https://etherscan.io/address/0xA31C2aCfF3464658866960c0fBD3d798310272D7) |
-| **CanonicalTournamentParametersProvider** | [`0xcC0a49320891Bf35bca834aF1045ab89Ecd44c0c`](https://etherscan.io/address/0xcC0a49320891Bf35bca834aF1045ab89Ecd44c0c) |
+| **Top Tournament** | [`0x367Ff3c21E189645aaf17bDD41D4C186686CfE53`](https://etherscan.io/address/0x367Ff3c21E189645aaf17bDD41D4C186686CfE53) |
+| **Top Tournament Factory** | [`0xfdF16a7D9143f5E3B7B056b761a7eF8Ce18dc6eF`](https://etherscan.io/address/0xfdF16a7D9143f5E3B7B056b761a7eF8Ce18dc6eF) |
+| **Middle Tournament** | [`0x0a88360f41D0f643ea63ade00c0A1a795395d2D9`](https://etherscan.io/address/0x0a88360f41D0f643ea63ade00c0A1a795395d2D9) |
+| **Middle Tournament Factory** | [`0x47c7f40841F842f7691cB9Fd6Cd63673B79dCe79`](https://etherscan.io/address/0x47c7f40841F842f7691cB9Fd6Cd63673B79dCe79) |
+| **Bottom Tournament** | [`0xe6B4444d324E0B403c9C43C5d7c8B2C3d5d02962`](https://etherscan.io/address/0xe6B4444d324E0B403c9C43C5d7c8B2C3d5d02962) |
+| **Bottom Tournament Factory** | [`0x6ccb8955afFA2aE4A88a4fC30916b41074d1F2B6`](https://etherscan.io/address/0x6ccb8955afFA2aE4A88a4fC30916b41074d1F2B6) |
+| **Cartesi State Transition** | [`0x31EEaeC2A8d855B13B376b72C172F0c20A2910F6`](https://etherscan.io/address/0x31EEaeC2A8d855B13B376b72C172F0c20A2910F6) |
+| **CmioStateTransition** | [`0x6288F737D7B18594b3092aEF13aB47071281A8b0`](https://etherscan.io/address/0x6288F737D7B18594b3092aEF13aB47071281A8b0) |
+| **RiscVStateTransition** | [`0x31a7AE6095516f78a30a8991aee2881D429AfECF`](https://etherscan.io/address/0x31a7AE6095516f78a30a8991aee2881D429AfECF) |
+| **MultiLevel Tournament Factory** | [`0x74A82BAeD499a19e007243b86830e0A86154E816`](https://etherscan.io/address/0x74A82BAeD499a19e007243b86830e0A86154E816) |
+| **CanonicalTournamentParametersProvider** | [`0xEf77920dA48Ed9b16Bee85291A9B29C74d0e32eb`](https://etherscan.io/address/0xEf77920dA48Ed9b16Bee85291A9B29C74d0e32eb) |
 
-## Honeypot v2 Deployments
-:::caution
- Honeypot app is being updated. We recently found a bug in the application that has led to a fail-stop state. This means the current deployment is permanently frozen, and the bounty funds within it are no longer recoverable. Get in touch with us on [Discord](https://discord.gg/cWGbyFkQ2W) for more details.
-:::
+
+## Honeypot v3 Deployments
 
 | Component | Mainnet Address |
 |-----------|-----------------|
-| **Machine Hash** | `0x615acc9fb8ae058d0e45c0d12fa10e1a6c9e645222c6fd94dfeda194ee427c14` |
-| **Application Contract** | [`0x4c1e74ef88a75c24e49eddd9f70d82a94d19251c`](https://etherscan.io/address/0x4c1e74ef88a75c24e49eddd9f70d82a94d19251c) |
-| **Dave PRT Consensus Contract** | [`0x6CE590b9F0697327f18c601DF6f0baE4a0801B68`](https://etherscan.io/address/0x6CE590b9F0697327f18c601DF6f0baE4a0801B68) |
-| **Input Box Contract** | [`0xc70074BDD26d8cF983Ca6A5b89b8db52D5850051`](https://etherscan.io/address/0xc70074BDD26d8cF983Ca6A5b89b8db52D5850051) |
-| **ERC-20 Portal** | [`0xc700D6aDd016eECd59d989C028214Eaa0fCC0051`](https://etherscan.io/address/0xc700D6aDd016eECd59d989C028214Eaa0fCC0051) |
+| **Machine Hash** | `0x144d45af1181b35f2b11c4b1150d6cb16934c28093707fb97c911ff16b3fe609` |
+| **Application Contract** | [`0xfddf68726a28e418fa0c2a52c3134904a8c3e998`](https://etherscan.io/address/0xfddf68726a28e418fa0c2a52c3134904a8c3e998) |
+| **Dave PRT Consensus Contract** | [`0xF0D8374F8446E87e013Ec1435C7245E05f439259`](https://etherscan.io/address/0xF0D8374F8446E87e013Ec1435C7245E05f439259) |
+| **Input Box Contract** | [`0x1b51e2992A2755Ba4D6F7094032DF91991a0Cfac`](https://etherscan.io/address/0x1b51e2992A2755Ba4D6F7094032DF91991a0Cfac) |
+| **ERC-20 Portal** | [`0xACA6586A0Cf05bD831f2501E7B4aea550dA6562D`](https://etherscan.io/address/0xACA6586A0Cf05bD831f2501E7B4aea550dA6562D) |
 | **ERC-20 Token** | CTSI @ [`0x491604c0FDF08347Dd1fa4Ee062a822A5DD06B5D`](https://etherscan.io/address/0x491604c0FDF08347Dd1fa4Ee062a822A5DD06B5D) |
 | **ERC-20 Wallet** | Cartesi Multisig @ [`0x60247492F1538Ed4520e61aE41ca2A8447592Ff5`](https://etherscan.io/address/0x60247492F1538Ed4520e61aE41ca2A8447592Ff5) |