About colibri.stateless

Colibri.stateless is a trustless, stateless client architecture designed for full blockchain verification under constrained environments. It enables mobile, web, and IoT devices to independently verify both consensus and execution data without relying on centralized RPC infrastructure.

Colibri.stateless reconstructs blockchain trust directly from proofs. It uses two complementary proof systems:

1. Consensus Proofs — cryptographic evidence that a specific block is part of a valid canonical chain, established through verification of validator commitments or equivalent consensus attestations.

2. Execution Proofs — Merkle or Verkle proofs for account balances, contract storage, transaction data, and smart contract call results derived from verified headers.

A secondary function of stateless clients is to locally simulate transaction execution. By performing local execution against verified state data, clients can validate transaction outcomes and detect inconsistencies before broadcast, ensuring trustless pre-trade or pre-execution verification.

The design allows applications to query, verify, and simulate blockchain state locally, eliminating the need for trusted intermediaries. Proofs can be produced by independent prover services or generated locally.

Purpose of this Specification

This specification defines the colibri.stateless architecture, proof formats, validation rules, and client behavior. It serves as a reference for developers and researchers implementing or integrating Colibri-compatible components, including provers, verifiers, SDKs, and applications.

The goal is to establish a reproducible, interoperable standard for stateless blockchain verification across EVM-based and future multi-chain environments.