Module zkevm_circuits::circuit_tools::constraint_builder

Circuit utilities

Structs

• ConstraintBuilder
  Constraint builder
• ExpressionVec
  Newtype wrapper for Vec<Expression<F>>
• LookupData
  Lookup data
• TableData
  Table data

Traits

• ExprResult
  Trait for doing math on Expressions, no matter the type they are stored in
• ExprVec
  Trait that generates a vector of expressions
• RLCChainable
  Trait around RLC
• RLCChainableRev
  Trait around RLC
• RLCChainableValue
  Trait around RLC
• RLCable
  Trait around RLC
• RLCableValue
  Trait around RLC
• ToVec
  General trait to convert to a vec