Mimir Collective
Mimir Collective
Zero-Knowledge Privacy Infrastructure
Est. 2025 · ZK Circuit Design · Smart Contract Auditing
Privacy-preserving infrastructure and ZK security services for protocols that take their architecture seriously.
// No spam. Early access for builders and protocols.
Open Source
noir-sparse-merkle
A Sparse Merkle Tree circuit for Noir that proves a key either belongs to — or is absent from — a committed tree root. Supports both membership (∈) and non-membership (∉) proofs in a single unified interface. Designed for proof of innocence: demonstrate that an address is not on a sanctions or blocklist without revealing any other information about the tree. Composable into larger privacy circuits for DeFi, identity, and compliance applications.
—More libraries
coming soon