// Circuits and SNARK work.
//// This module is compiled only when the `future_snark` feature is enabled.
// The gate is applied in `src/lib.rs`
//// Currently, we expose the Halo2-based prototype under `circuits::halo2`.
pubmodhalo2;pubmodhalo2_ivc;#[cfg(test)]pub(crate)modtest_utils;pub(crate)usehalo2::witness::{
CircuitInstance, CircuitMerkleTreeLeaf, CircuitWitness, MerklePath,};