//! Circuit gadgets for Nova PoR.
//!//! This module contains low-level circuit components used in the synthesis.
pubmodmerkle;pubmodposeidon;pubmodselect;// Re-export commonly used gadgets
pubusemerkle::{verify_aggregation_path_gated, verify_merkle_path_gated};pubuseposeidon::poseidon_hash_tagged_gadget;pubuseselect::conditional_select;