vulnforge_audit_zkp_gateway
Audits Zero-Knowledge Proof (ZKP) verification gates, Groth16/Plonk arithmetic circuits, W3C Verifiable Credential revocation registries, and DID authentication gateways across 8 critical cryptographic and gateway vectors (CWE-682…
Instructions
Audits Zero-Knowledge Proof (ZKP) verification gates, Groth16/Plonk arithmetic circuits, W3C Verifiable Credential revocation registries, and DID authentication gateways across 8 critical cryptographic and gateway vectors (CWE-682 underconstrained signals, CWE-20 unvalidated public inputs, CWE-294 nullifier replay & double-spending, CWE-284 mock verifier bypasses, CWE-345 unpinned verification keys, CWE-295 missing revocation registries, CWE-613 expired proof lifetimes, CWE-327 weak Fiat-Shamir transcripts) with automated policy synthesis and canary sandbox verification.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| format | No | Format override (auto-detected if omitted) | |
| content | No | Raw Circom circuit, Solidity verifier contract, W3C Verifiable Credential JSON, or ZKP gateway configuration | |
| filePath | No | File path or manifest name (optional) | |
| proofPayload | No | ZKP proof payload object with pi_a, pi_b, pi_c or proof string and publicInputs array (optional) | |
| maxProofAgeSeconds | No | Maximum permitted proof freshness window in seconds (default: 300) | |
| enforcePairingCheck | No | Disallow mock verifiers and require strict cryptographic pairing checks (default: true) | |
| enforceNullifierTracking | No | Require immutable atomic nullifier tracking to block double-spending (default: true) |