The in-circuit gate is a continuous, cryptographic audit of every credential. A formal third-party ZK security audit of the circuit is on the roadmap and funded by this round; Dr. Anish Mohammed (co-founder & CTO of Panther Protocol, Ethereum Orange Paper reviewer) advises on the cryptography. We don't claim an audit we don't have — we tell you exactly where it sits. In the meantime we adversarially reviewed our own engine and published the full findings, including a critical vulnerability we found, fixed, and regression-tested, and the items still open.
Every number above is on the record: every credential · verify one yourself · the vocabulary · all questions.