Mimir
Collective

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.

poseidon2-interop-kit

An open-source Poseidon2 interoperability kit that standardizes hashing behavior across Noir, Rust, and Solidity for privacy systems using sparse Merkle trees and note/nullifier flows. Not a new primitive — the value is correctness, compatibility, and developer ergonomics for teams integrating private state systems on Ethereum.

noir-nullifier

A ZK spend circuit for Noir that proves note ownership and prevents double-spends without revealing which note is being spent. Combines commitment tree membership and nullifier non-membership proofs in a single composable interface — the core building block of any UTXO-based privacy protocol on Ethereum.