Module kimchi::circuits::expr::prologue

source ·
Expand description

You can import this module like use kimchi::circuits::expr::prologue::* to obtain a number of handy aliases and helpers

Re-exports

  • pub use super::berkeley_columns::coeff;
  • pub use super::berkeley_columns::constant;
  • pub use super::berkeley_columns::index;
  • pub use super::berkeley_columns::witness;
  • pub use super::berkeley_columns::witness_curr;
  • pub use super::berkeley_columns::witness_next;
  • pub use super::berkeley_columns::E;
  • pub use super::FeatureFlag;