Module storage_proofs_core::gadgets::constraint [−][src]
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. |