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

//! Transcript chiplets.
//!
//! The commitment machinery that content-addresses the precompile
//! transcript DAG. The [`nodes`] registry pins the protocol's node
//! tags; the [`poseidon2`] permutation is the transcript's own hash,
//! which the [`chunk`](crate::hash::chunk)
//! chiplet drives to content-commit hasher inputs; the [`eval`]
//! chiplet folds truthy bindings into the public transcript root.
//! Uint / group leaf + eval arms join as the language grows.

pub mod binding;
pub mod eval;
pub mod nodes;
pub mod poseidon2;