miden-precompiles 0.32.0

Concrete precompile implementations for the Miden VM deferred framework
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
//! Fixed-domain 256-bit uint precompile support for deferred evaluation.

mod arithmetic;
mod domain;
mod precompile;
mod spec;

pub use self::{
    domain::{K1_BASE_BOUND_PTR, K1_SCALAR_BOUND_PTR, U256_BOUND_PTR, UintDomain},
    precompile::{UintNodeRef, UintPrecompile},
    spec::{Limbs, ONE_LIMBS, TWO_LIMBS, UintSpec, ZERO_LIMBS},
};