Skip to main content

certifying_algorithm_ty

oxilean_std::certified_algorithms::functions

Function certifying_algorithm_ty 

Source 
pub fn certifying_algorithm_ty() -> Expr
Expand description

CertifyingAlgorithm : Algorithm → Prop An algorithm that returns both output and a verifiable witness.