mithril-stm 0.10.5

A Rust implementation of Mithril Stake-based Threshold Multisignatures (STMs).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

//! Halo2 STM circuit integration (feature-gated by `future_snark`).
//!
//! Module map:
//! - `circuit`: relation orchestration and top-level constraint flow
//! - `witness_assignments`: witness assignment into Halo2 layouter values
//! - `witness`: circuit-facing witness and instance contract
//! - `adapters`: STM-to-circuit conversions for boundary types
//! - `gadgets`: reusable constraint logic split by domain
//! - `errors`: typed circuit errors and backend synthesis adaptation
//! - `tests/golden`: end-to-end circuit scenarios
//! - inline `#[cfg(test)]` blocks in `gadgets/*` and `adapters`: focused regression checks
//! - `tests/test_helpers`: shared harness for focused gadget tests

pub mod adapters;
#[cfg_attr(not(test), allow(dead_code))]
pub(crate) mod witness_assignments;
// TODO(snark): remove `allow(dead_code)` once Halo2 modules are fully wired into STM.
#[cfg_attr(not(test), allow(dead_code))]
pub(crate) mod circuit;
pub mod errors;
#[cfg_attr(not(test), allow(dead_code))]
pub(crate) mod gadgets;
#[cfg_attr(not(test), allow(dead_code))]
pub(crate) mod types;
#[cfg_attr(not(test), allow(dead_code))]
pub(crate) mod witness;

#[cfg(test)]
pub(crate) mod tests;