> For the complete documentation index, see [llms.txt](https://corpus-core.gitbook.io/whitepaper-colibri-stateless/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://corpus-core.gitbook.io/whitepaper-colibri-stateless/technical-concept/stateless-verification-and-efficient-data-retrieval/zk-proofs-to-compress-consensus-proofs.md).

# zk-Proofs to compress Consensus Proofs

## zk-Proofs for Sync Committee Aggregation

**Colibri.stateless** can integrate zk-proofs to validate multiple sync committee transitions in a single proof to optimize verification further. This enables:

* **Aggregated Proofs**—A single proof covering multiple transitions from the trusted checkpoint to the required block.
* **Compact Verification**—Instead of verifying individual committee changes, zk-proofs compress multiple verification steps into a succinct proof.
* **Scalability Improvements**—Aggregated zk-proofs reduce computational complexity and bandwidth requirements as the blockchain grows.

By combining caching mechanisms with zk-proof aggregation, **colibri.stateless** significantly enhances the efficiency of blockchain verification while maintaining trustless and decentralized operations.