aver-cert 0.1.0

Independent artifact certificate engine and verifier for Aver WebAssembly
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

//! Compiler-independent artifact certification for Aver WebAssembly.
//!
//! This crate owns the byte-derived certificate engine, the public certificate
//! format, and the exact Lean soundness wall. It deliberately has no dependency
//! on the Aver compiler, language runtime, or memory runtime.

#![forbid(unsafe_code)]

pub mod format;
#[cfg(any(feature = "engine", feature = "verify"))]
pub mod wall;

#[cfg(feature = "engine")]
mod engine;
#[cfg(feature = "engine")]
pub use engine::*;

#[cfg(feature = "verify")]
mod cache;
#[cfg(feature = "verify")]
mod lean_process;
#[cfg(feature = "verify")]
mod prelude_cache;
#[cfg(feature = "verify")]
mod verifier;
#[cfg(feature = "verify")]
pub use verifier::{
    ARTIFACT_DECODE_LINE, CheckVerdict, Explanation, Verdict, check, explain, verify,
};