vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
Documentation 
1
2
3
4
5

//! Adapter for the `layer7_composition_proof` enforcement gate.

pub const REGISTERED:
    crate::enforce::enforcers::layer7_composition_proof::Layer7CompositionProofEnforcer =
    crate::enforce::enforcers::layer7_composition_proof::Layer7CompositionProofEnforcer;