arise-verify

Compute verification tiers — optimistic, redundant, TEE, sentinel

Use the source package

In an authorized local checkout, add this package as a path dependency. The Rust crate identifier is arise_verify unless the manifest supplies an explicit library name. Read the exposed modules below for exact imports and configuration.

[dependencies]
arise-verify = { path = "../arise-verify" }

The relative path is resolved from your application's Cargo.toml; adjust it to the actual checkout. This does not assume a package registry release.

This manifest declares no Cargo feature flags.

Public source modules

• crate — 12 declarations
• benchmark — 5 declarations
• error — 1 declarations
• optimistic — 6 declarations
• redundant — 11 declarations
• sentinel — 9 declarations
• tee — 4 declarations