colibri.stateless v2.0.0: New Prover, PAP Reaches MVP

v2.0.0 brings a new ZK proving engine and the first MVP of Pragmatic Adaptive Privacy (PAP), plus a set of sync and RPC fixes across the board.

TL;DR

• The ZK consensus prover moves from SP1 v5 to v6, Succinct's newest zkVM — faster proof generation, with the proof itself growing only slightly (260 → ~350 bytes).
• PAP reaches MVP with C1 (Aggregation), protecting request content by fetching verifiable aggregates instead of the exact query — transport-layer privacy is prepared for but not yet part of the MVP.
• A round of fixes to sync, block-tag handling, and log payloads make the client more solid in production.

A New Prover: SP1 v6

colibri's ZK consensus proof compresses sync-committee transitions and BLS signatures into a single compact proof. That proof is generated with SP1, Succinct Labs' zkVM. This release migrates from SP1 v5 to v6, which replaces the STARK-based prover with Hypercube, a newer proof system built on multilinear polynomials. The result is faster proof generation on the prover side. Verification stays the same on the client, and the proof itself only grows slightly, from 260 to about 350 bytes.

PAP Reaches MVP

PAP is a pragmatic approach to privacy: instead of applying maximum protection everywhere, it applies the right method to the right read. This MVP ships C1 (Aggregation) — the first of several planned methods — which protects the content of a request: instead of asking for exactly what you need, the client fetches a larger, verifiable aggregate and extracts the answer locally, so the specific intent behind a read isn't exposed.

The architecture is also built to support multiple transport-layer protocols, which would protect who is asking rather than what they're asking for. That side isn't part of this MVP yet.

Also in This Release

• pending and earliest block tags now route directly to RPC instead of going through the proof pipeline.
• Fixed anchoring of ZK sync-committee proofs to the finalized period for historic blocks.
• Fixed eth_getLogs payload truncation and a json_as_string overflow on large result sets.
• Safer fallback when the local sync cache is corrupted, and added fallback support for the prover itself.
• Default RPC endpoints were reviewed and replaced where needed for reliability.
• More beacon-chain integration test coverage, including handling of skipped checkpoint slots.

Get It

v2.0.0 is out now. Full list of changes: changelog. The repository is open if you want to look at the code or contribute.

Explore Colibri, try the sandbox, or read the developer guide. Follow us on X, Telegram, or LinkedIn.

---

colibri.stateless v2.0.0: New Prover, PAP Reaches MVP — Corpus Core Insights on corpuscore.tech.