Specification colibri.stateless
CtrlK
  • About colibri.stateless
  • Introduction
    • Motivation
    • Architecture
      • Block Verification
      • Sync Committee
      • Merkle Proofs
  • Specifications
    • Ethereum
      • Supported RPC-Methods
      • Ethereum Main Proof Request
      • Historic Block Proof
      • Receipt Proof
      • Logs Proof
      • Transaction Proof
      • Account Proof
      • Call Proof
      • Sync Proof
      • Block Proof
      • Threat Model
      • Benchmark
  • Developer Guide
    • Building
      • CMake
      • Cargo (openvm zkproofs)
    • Bindings
      • CLI
        • proof
        • ssz
        • verify
      • JavaScript/TypeScript
      • Kotlin/Java
      • Swift
      • Python
    • APIs
      • Internal APIs
        • verify.h
        • proofer.h
        • bytes.h
      • Public Bindings API
    • Prover Service
  • Summary
    • Summary and Outlook
Powered by GitBook
On this page
  1. Introduction

Motivation

PreviousAbout colibri.statelessNextArchitecture