Expand description
Core interface for working with various relations that are useful in zkSNARKs. At the moment, we only implement APIs for working with Rank-1 Constraint Systems (R1CS).
Modules§
- Core interface for working with Rank-1 Constraint Systems (R1CS).
Macros§
- Generate a
LinearCombination
from arithmetic expressions involvingVariable
s. - Generate a
Namespace
with namename
fromConstraintSystem
cs
.name
must be a&'static str
.