Skip to main content

create_certificate

oxilean_kernel::proof_cert::functions

Function create_certificate 

Source 
pub fn create_certificate(
    decl_name: &str,
    type_expr: &Expr,
    proof_expr: &Expr,
) -> ProofCertificate
Expand description

Create a new ProofCertificate for the given declaration.

The certificate ID is derived from the combined hash of the type and proof expressions. The verified_at timestamp is set to 0 in no-std/deterministic contexts; callers may override it by replacing the field.