miden-precompiles-prover 0.29.2

Prover-side precompile implementations for the Miden VM deferred framework
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! Keccak hasher.
//!
//! The [`round`] chiplet (TAM-style miniVM running one Keccak-f\[1600]
//! round), the [`sponge`] chiplet that absorbs / squeezes around it,
//! the [`node`] chiplet that ties chunks + sponge into a Keccak
//! transcript-DAG node, and the [`mod@reference`] implementation used as a
//! trace-gen oracle. Connects to the shared
//! [`memory64`](super::memory64) bus and consumes input chunks from the
//! [`chunk`](super::chunk) chiplet.
//!
//! See the design notes, the design notes, and
//! the design notes for the design rationale.

pub mod digest;
pub mod node;
pub mod reference;
pub mod round;
pub mod sponge;

pub use digest::KeccakDigest;