Specs
V5 architecture + V5.1 wallet-bound nullifier + V5.2 keccak-on-chain + V5.3 OID-anchor amendments. The frozen public-signal layout, the witness contract, the constraint envelope.
zkqes — the V1 implementation — is in trusted-setup ceremony. Documentation for developers, integrators, researchers.