Privacy Stewards of Ethereum

**LeanIMT+** is an optimized Incremental Merkle Tree designed to support efficient membership **and non-membership** proofs. Inspired by: - LeanIMT[^leanimt] - Indexed Merkle Tree[^imt-paper] [^aztec-docs] The result is a simple structure that allows: - Efficient incremental insertions - Compact membership proofs - Efficient non-membership proofs - Post-quantum safety (assum...

Revocation is a critical component of any verifiable credential system. Credentials may need to be invalidated because they were issued incorrectly, compromised, or because a holder's authorization has changed. Many revocation mechanisms introduce privacy risks by exposing credential identifiers or requiring verifiers to contact issuers directly. This article presents a revocat...

## Overview Sonobe is a cryptographic library for folding schemes and IVC, developed by 0xPARC and PSE. It is currently maintained by @winderica. Over the past year, the library has been refactored for better modularization and user/developver experience, and now we plan to publish the first crates.io release. We believe folding schemes will be a future infrastructure of scala...