RFC: ZK-based eligibility proofs for private allowlists (Groth16)
I’ve built a small, focused ZK eligibility engine that proves wallet properties (age, activity, cooldowns, token presence) without revealing balances, tx history, or addresses.
It’s intentionally narrow:
No identity
No KYC
No “universal proof” claims
The design goal was correctness, explicit assumptions, and verifiability (off-chain + optional on-chain).
I’m exploring whether this primitive is useful for:
incentive programs
governance gating
private allowlists
If there’s interest, I’m happy to run a small pilot for one rule and share results openly