Module functions 

Functions for the Proof Certificate System.

Provides creation, verification, serialization, and deserialization of ProofCertificate values using FNV-1a structural hashing.

Functions

create_certificate

Create a new ProofCertificate for the given declaration.

deserialize_cert

Deserialize a ProofCertificate from the compact text format produced by serialize_cert.

hash_declaration

Compute a structural FNV-1a hash of a ConstantInfo declaration.

hash_expr

Compute a structural FNV-1a hash of an expression.

serialize_cert

Serialize a ProofCertificate to a compact text format.

verify_certificate

Verify a certificate against the live environment.