mithril_stm/circuits/
mod.rs

1// Circuits and SNARK work.
2//
3// This module is compiled only when the `future_snark` feature is enabled.
4// The gate is applied in `src/lib.rs`
5//
6// Currently, we expose the Halo2-based prototype under `circuits::halo2`.
7
8pub mod halo2;
9
10#[cfg(test)]
11pub(crate) mod test_utils;