Module circuit_design

Source

Re-exports§

pub use crate::circuit_design::composition::MPrism;
pub use crate::circuit_design::composition::SubEnvColumn;
pub use crate::circuit_design::composition::SubEnvLookup;
pub use crate::circuit_design::constraints::ConstraintBuilderEnv;
pub use crate::circuit_design::witness::WitnessBuilderEnv;
pub use crate::circuit_design::capabilities::*;

Modules§

capabilities
composition
constraints
witness