# 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.


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://corpus-core.gitbook.io/specification-colibri-stateless/readme.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.