Add | Circuit.Affine |
add | Circuit.Lang, Circuit |
addMissingZeroes | QAP |
addVar | Circuit.Expr, Circuit |
addWire | Circuit.Expr, Circuit |
AffineCircuit | Circuit.Affine |
affineCircuitToAffineMap | Circuit.Affine |
AltArithCircuit | Circuit.Bulletproofs |
and_ | Circuit.Lang, Circuit |
ArithCircuit | |
1 (Type/Class) | Circuit.Arithmetic, Circuit |
2 (Data Constructor) | Circuit.Arithmetic, Circuit |
arithCircuitToDot | Circuit.Dot |
arithCircuitToGenQAP | QAP |
arithCircuitToQAP | QAP |
arithCircuitToQAPFFT | QAP |
assignment | Circuit.Bulletproofs |