pub(crate) mod prover;
pub(crate) mod verifier;

use crate::plonk::circuit::ShuffleArgumentBack as Argument;