vyre-conform 0.1.0

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

//! Proof-system responsibility modules.

pub(crate) mod algebra;
pub(crate) mod comparator;
pub(crate) mod oracles;