Module storage_proofs_core::gadgets::constraint

Functions

• add
• difference
  Adds a constraint to CS, enforcing a difference relationship between the allocated numbers a, b, and difference.
• equal
  Adds a constraint to CS, enforcing an equality relationship between the allocated numbers a and b.
• sub
• sum
  Adds a constraint to CS, enforcing a add relationship between the allocated numbers a, b, and sum.