Zero-Knowledge Audit Export Integrity
Verifies that Only OS produces a real Groth16 BN254 zkSNARK proof over the ComplianceSquare circuit: the prover demonstrates knowledge of a compliance score s such that s² equals a public commitment, without revealing s. The arkworks ark-groth16 0.6 crate performs real trusted setup, proving, and pairing-based verification. A tampered public input (wrong commitment) is rejected by the verifier.
Operational Purpose & Scope
Real Groth16 BN254 zkSNARK: only-gate runs trusted setup for the ComplianceSquare circuit (score²=commitment), generates a real proof that score=42 satisfies 42²=1764, and verifies with the honest public commitment. The verifier never learns score=42.
Verification Context
- Target Scope:
Only OS ZKP compliance export path; Groth16 BN254 proof system; privacy-preserving audit for regulated industries - Audit Strategy:
rubric-based - Verification Metrics:
zkp_validverifier_acceptedinput_data_hiddentamper_detectedproof_systemcircuitreal_snark - Framework Origin:DGV v0.5.0 Expansion
- Mandatory:Yes — must pass for certification
Governance Risk & Penalty
Expected Outcome
- pass:
true - zkp_valid:
true - verifier_accepted:
true - input_data_hidden:
true - proof_system:
"Groth16-BN254" - real_snark:
true
Explore this card in 3D
Open DGV-TC-035 in the interactive scenario replay. This illustrates the test flow; it does not run the verifier or generate a cryptographic receipt.
Open DGV Live →