Invariants / DC-CRYPTO-03
DC-CRYPTO-03
DC derived enforcedVRF signing transcript equivalence and verification symmetry. For canonical inputs (slot, epoch_nonce, vrf_signing_key, vrf_role) the RED signer produces a VrfProof byte-identical to cardano-node's reference output, and the emitted VrfProof verifies under ade_crypto::vrf::verify_praos_vrf with the matching verification key. Private-key execution is RED-shell confined; BLUE consumes the VrfProof as a captured signed artifact.
- Source
docs/planning/phase4-n-c-invariants.md §1 (NC-VRF-1/2/3); IETF draft-irtf-cfrg-vrf-03 (Praos VRF)
- Introduced in
- PHASE4-N-C
Enforcement trace
Tests 2
- vrf_prove_matches_reference_vectors
- vrf_prove_then_verify_round_trip