<--
- sets signal values
===
- creates constraints
- Must be rank-1 (R1CS)
- one side - linear
- other side - quadratic
<==
- sets signal values and creates constraints
Name | Name | Last commit date | ||
---|---|---|---|---|
parent directory.. | ||||
<--
- sets signal values
===
- creates constraints
<==
- sets signal values and creates constraints