Observed Signal · Jun 20, 2026 · Technical Release · Source: DEV Community · Impact: 2/5 · Sentiment: Positive
Midnight ZK allowlists enable anonymous membership proofs
A technical tutorial demonstrates how to build anonymous allowlists, voter rolls, and gated access using zero-knowledge proofs in Midnight’s Compact language. The author provides a working contract that stores leaves as persistent hashes (domain tag + secret + nonce) in a HistoricMerkleTree<20, Bytes<32>> so members can prove membership without revealing identity. The package includes three Compact circuits: registerMember (admin inserts disclosed leaf), proveMembership (one-time proof that consumes a domain-separated nullifier), and verifyMembership (reusable proof that does not spend a nullifier). The post explains critical implementation details and pitfalls (preimage binding, domain separation, pad(32) for tags, disclose() on ledger ops, Map-based nullifier store), includes TypeScript witness examples, and links to the IamHarrie-Labs/compact-zk-allowlist repository and CI workflow.
Practical technical pattern for privacy-preserving membership proofs and gated access relevant to identity and access use cases in adtech/martech, but it is a developer tutorial (not a major platform policy or industry-shifting announcement).
Track GitHub Signals & Market Shifts in Real-Time
Polaris7 autonomous intelligence agents track regulatory filings, primary sources, executive changes, and deal flow 24/7. Create your free Explorer workspace to monitor these entities.
Key Takeaways & Evidence Grounding
- Tutorial implements anonymous membership proofs in Midnight’s Compact language.
- Ledger uses HistoricMerkleTree<20, Bytes<32>> (supports up to 1,048,576 members).
- Three Compact circuits provided: registerMember, proveMembership (one-time nullifier), verifyMembership (reusable).
- Nullifiers are stored as Map<Bytes<32>, Boolean> to mark one-time consumption; leaf and nullifier use distinct domain tags.
- Repository: IamHarrie-Labs/compact-zk-allowlist on GitHub; CI compiles zk_allowlist.compact and allowlist_patterns.compact on each push.
Connected Companies & Entities
1 Entity mappedOntology Mapping & Concepts
Related Market Signals & Shifts
Recent verified developments and strategic activity across this market segment.
Understanding Shielded Transactions on Midnight
This technical explainer describes how Midnight, a programmable-privacy blockchain, enables public verifiability without revealing transaction data using zero-knowledge proofs. Midnight uses a private UTXO model for shielded tokens while smart contracts use an account-style model for persistent state. The public ledger stores two cryptographic structures — an append-only Commitment Merkle Tree (commitments) and a Nullifier Set (cancellation tokens) — alongside ZK proofs. Wallets keep private state (balances, salts, keys) locally; spenders generate ZK proofs and nullifiers locally, submit proofs plus new commitments and nullifiers to the network, and nodes verify proofs and nullifier uniqueness. Recipients discover payments via continuous trial decryption using viewing keys. The article highlights that ZK proofs guarantee circuit rules for provided inputs but do not vouch for off-chain witness honesty, and it frames Midnight’s model as "programmable privacy" enabling selective disclosure.
MAIS: Privacy-Preserving Agent Identity Standard for Midnight
MAIS (Midnight Agent Identity Standard) is a proposed Midnight Improvement Proposal that defines how autonomous AI agents register, build reputation, get validated, and disclose data on the Midnight Network using privacy-preserving techniques. The draft specifies four Compact contracts—Identity Registry, Reputation Registry, Validation Registry, and Disclosure Tier Registry—supporting both public Compact-address identities and private ZK credentials. Reputation is encoded as public tiers with private evidence and optional ZK proofs (e.g., "score ≥ 60"). Validation requires staked NIGHT tokens across three tiers (open, trusted, institutional). An optional bridge links Midnight identities to ERC-8004 NFTs on Ethereum. The proposal is in draft, open for community feedback via a forum thread and a GitHub MIP pull request.
Self‑Sovereign ID: ZKP Enables Digital Immunity
A technical blog post explaining how Zero-Knowledge Proofs (ZKP) and Decentralized Identifiers (DID) can enable privacy-preserving, self-sovereign identity—what the author calls “digital immunity.” The article defines ZKP, DID and Verifiable Credentials (VCs), describes a concrete scenario (proving Thai tax-residency and minimum bank-balance without revealing raw data), and includes a conceptual JavaScript mock that demonstrates generating and verifying zk-SNARK-based proofs for residency (>=180 days) and asset (>=500,000 THB) circuits. The post also includes a legal/regulatory disclaimer noting Thai SEC, AML/KYC and tax obligations and recommends professional legal/tax advice.
Track Real-Time Market Signals & Shifts
Set up custom watchlists to receive automated, evidence-grounded executive digests whenever material signals or shifts occur across your tracked landscape.