ZK and post-quantum review
$7,500–$18,000single scope $7,500 · full protocol $18,000
Payment: 50% upfront, before work starts; timing of the remaining 50% is agreed with the scope.
- Included
- One agreed scope (one circuit set, or the full protocol), the automated pass, expert triage, the report, one fix-verification round.
- Not included
- Later retests, continuous monitoring, code outside the agreed scope. This is not a full audit, a certification or a guarantee that no defects remain.
Labelled reject-vectors run through your real prover; if a vector that must be rejected is accepted, you get the counterexample. Post-quantum signatures and key exchange checked against NIST ACVP and Wycheproof vectors.
Deliverables: an AUDIT.md verdict, a conformance suite you keep in CI, one fix-verification round.