BaseProver

Abstract base contract for all intent proving implementations

Overview

BaseProver is an abstract contract that provides core storage and functionality for tracking proven intents and their claimants. All prover implementations inherit from this contract.

Contract: contracts/prover/BaseProver.sol

Inheritance: IProver, ERC165

Key Concepts

Proof Data Structure

Each proven intent is stored with:

• claimant: Address eligible to claim rewards
• destination: Chain ID where the intent was proven

Intent Tracking

Proven intents are tracked in the _provenIntents mapping. An empty struct (zero claimant) indicates an intent hasn’t been proven yet.

Constructor

constructor(address portal)

Initializes the BaseProver contract.

portal · address · required

Address of the Portal contract. Cannot be zero address.

Errors:

• ZeroPortal(): Thrown if portal address is zero

State Variables

PORTAL

address public immutable PORTAL

Address of the Portal contract. Immutable to prevent unauthorized changes.

View Functions

provenIntents

function provenIntents(
    bytes32 intentHash
) external view returns (ProofData memory)

Returns proof data for a given intent hash.

intentHash · bytes32 · required

The intent hash to query

Returns: ProofData struct containing:

• claimant (address): Address eligible to claim rewards
• destination (uint64): Chain ID where intent was proven

Location: contracts/prover/BaseProver.sol:34

Internal Functions

_processIntentProofs

function _processIntentProofs(
    bytes calldata data,
    uint64 destination
) internal

Processes intent proofs from a cross-chain message.

data · bytes · required

Encoded (intentHash, claimant) pairs. Must be a multiple of 64 bytes (32 for hash + 32 for claimant).

destination · uint64 · required

Chain ID where the intent is being proven

Behavior:

• Returns early if data is empty
• Validates data length is multiple of 64 bytes
• Skips non-EVM addresses that can’t be converted
• Skips zero addresses
• Emits IntentAlreadyProven for already-proven intents (doesn’t revert)
• Emits IntentProven for newly proven intents

Errors:

• ArrayLengthMismatch(): Data length is not a multiple of 64 bytes

Location: contracts/prover/BaseProver.sol:57

External Functions

challengeIntentProof

function challengeIntentProof(
    uint64 destination,
    bytes32 routeHash,
    bytes32 rewardHash
) external

Challenges an intent proof if the destination chain ID doesn’t match. This is a safety mechanism to ensure intents are only claimable when executed on their intended destination chains.

destination · uint64 · required

The intended destination chain ID

routeHash · bytes32 · required

The hash of the intent’s route

rewardHash · bytes32 · required

The hash of the reward specification

Behavior:

• Computes intentHash from destination, routeHash, and rewardHash
• Only invalidates if proof exists AND destination doesn’t match
• Deletes the proof from storage
• Emits IntentProofInvalidated event

Note: Can be called by anyone to remove invalid proofs.

Location: contracts/prover/BaseProver.sol:112

supportsInterface

function supportsInterface(
    bytes4 interfaceId
) public view virtual override returns (bool)

Implements ERC165 interface detection.

interfaceId · bytes4 · required

Interface identifier to check

Returns: true if the interface is supported

Events

IntentProven

event IntentProven(
    bytes32 indexed intentHash,
    address indexed claimant,
    uint64 destination
)

Emitted when an intent is successfully proven.

IntentAlreadyProven

event IntentAlreadyProven(bytes32 intentHash)

Emitted when attempting to prove an already-proven intent. Uses event instead of error to allow batch processing to continue.

IntentProofInvalidated

event IntentProofInvalidated(bytes32 indexed intentHash)

Emitted when an intent proof is invalidated via challenge.

Errors

ZeroPortal

error ZeroPortal()

Thrown when portal address is zero during construction.

ArrayLengthMismatch

error ArrayLengthMismatch()

Thrown when proof data length is not a multiple of 64 bytes.