1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
//! The constraint System module stores the implementation //! of the PLONK Standard Composer, as well as the circuit //! tools and abstractions, used by the Composer to generate, //! build, preprocess circuits. pub(crate) mod composer; pub(crate) mod cs_errors; pub(crate) mod variable; /// Simple Arithmetic gates pub mod arithmetic; /// Boolean gate pub mod boolean; /// Scalar multiplication gate pub mod ecc; #[cfg(test)] pub(crate) mod helper; /// XOR and AND gates pub mod logic; /// Range gate pub mod range; pub use composer::StandardComposer; pub use variable::{Variable, WireData};