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

//! Constraint gadgets used by the Halo2 STM circuit.
//! Domain-oriented gadgets are re-exported here; low-level comparison helpers stay internal.

mod comparison;
mod comparison_helpers;
mod lottery;
mod merkle_path;
mod unique_schnorr_signature;

/// Number of bits used for lottery index comparisons in the circuit.
///
/// This bounds both `m` and all lottery indices to fit in 16 bits.
pub(crate) const LOTTERY_BIT_BOUND: u32 = 16;

pub(crate) use lottery::{
    assert_lottery_index_in_bounds, assert_lottery_won, assert_strictly_increasing_lottery_index,
};
pub(crate) use merkle_path::{MerklePathInputs, verify_merkle_path};
pub(crate) use unique_schnorr_signature::{UniqueSchnorrSignatureInputs, verify_unique_signature};