aion_verify 0.3.0

A two-tier proof engine: tier 4 checks a predicate against EVERY input in a bounded domain (exhaustive, not sampling); tier 5 proves properties over UNBOUNDED domains (all of u64) symbolically via interval abstract interpretation — Proven / Refuted-with-witness / honest Unknown, never a false result. Pure Rust, no_std, no unsafe, no external solver. A first-party alternative to symbolic model checkers like Kani.

Documentation

Builds

rustc 1.99.0-nightly (d0babd8b6 2026-07-15)
docsrs 0.0.0 (f1b150f0cd76f7cabcd39e1f4790ba771b28b5c4 2026-07-19 )
12 hours ago

took 2s

90.5 MB

aion_verify's sandbox limits

All the builds on docs.rs are executed inside a sandbox with limited resources. The limits for this crate are the following:

Available RAM	6.44 GB
Maximum rustdoc execution time	15m
Maximum size of a build log	102.4 kB
Network access	blocked
Maximum number of build targets	10

If a build fails because it hit one of those limits please open an issue to get them increased.