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

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