White paper WP-012
The Open ZK Circuit Library: gate, kyc, threshold eligibility, eligibility
The circuits we run in production, documented so you can extend them.
At a glance
- Paper
- WP-012
- Topic
- The Open ZK Circuit Library: gate, kyc, threshold eligibility, eligibility
- Format
- PDF + web summary
- Signatures
- ML-DSA-65 post-quantum (NIST FIPS 204)
- Sandbox
- Reproducible at affix-io.com/sandbox
- Company
- AffixIO, Wales, UK
The Open ZK Circuit Library: gate, kyc, threshold eligibility, eligibility is an AffixIO technical paper. The circuits we run in production, documented so you can extend them.
Policy belongs in code you can audit. This specification covers AffixIO's open constraint language library: gate, kyc, threshold eligibility, and eligibility circuits with witness layouts, proving times, and version rules we use at a production deployment.
Summary
Policy belongs in code you can audit. This specification covers AffixIO's open constraint language library: gate, kyc, threshold eligibility, and eligibility circuits with witness layouts, proving times, and version rules we use at a production deployment.
Download the full PDF for technical detail, diagrams, and reproduction steps. Public sandbox: affix-io.com/sandbox.
Related reading
Frequently asked questions
Which circuits ship today?
gate for policy gates, kyc for identity eligibility, threshold eligibility for threshold checks, and eligibility for composite rules.
Can we fork and extend circuits?
Yes. Circuits are open source with semantic versioning; breaking witness changes bump major versions.
What prover backs these circuits?
production SNARK backend in production, with verification keys published for third-party checking.