Invariants / DC-CRYPTO-01
DC-CRYPTO-01
DC derived enforcedCrypto verification is pure and matches Haskell node on all test vectors
- Source
Project constitution §3, T-CORE-01, T-DET-01
- Cluster
- CL-CRYPTO-VERIFY
- Authority surface
- crypto verification outcomes
Enforcement trace
Code
Tests 19
- blake2b_256_empty
- blake2b_256_abc
- blake2b_256_single_byte
- blake2b_256_multi_block
- blake2b_256_large
- libsodium_vector_empty_message
- libsodium_vector_single_byte
- libsodium_vector_two_byte
- libsodium_vector_longer_message
- libsodium_vector_hash_size_message
- verify_and_proof_to_hash_match
- generate_and_verify
- verify_vrf_cert_accepts_valid_proof
- verify_vrf_cert_rejects_wrong_alpha
- verify_vrf_cert_rejects_malformed_proof
- conway_corpus_headers_all_pass_leader_check
- conway_corpus_nonce_contribution_is_deterministic
- praos_malformed_vrf_proof_rejected
- opcert_signable_format