Index
| 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 |
| BAdd | Circuit.Expr, Circuit |
| BAnd | Circuit.Expr, Circuit |
| BinOp | Circuit.Expr, Circuit |
| BMul | Circuit.Expr, Circuit |
| BOr | Circuit.Expr, Circuit |
| BSub | Circuit.Expr, Circuit |
| BXor | Circuit.Expr, Circuit |
| c | Circuit.Lang, Circuit |
| circuit | Circuit.Bulletproofs |
| circuitToConstraints | Circuit.Bulletproofs |
| cnstInpQapSet | QAP |
| collectInputsAffine | Circuit.Affine |
| collectInputsGate | Circuit.Arithmetic, Circuit |
| combineInputsWithDefaults | QAP |
| combineNonInputsWithDefaults | QAP |
| combineWithDefaults | QAP |
| compile | Circuit.Expr, Circuit |
| computeBulletproofsAssignment | Circuit.Bulletproofs |
| cond | Circuit.Lang, Circuit |
| ConstGate | Circuit.Affine |
| createPolynomials | QAP |
| createPolynomialsFFT | QAP |
| deref | Circuit.Lang, Circuit |
| dotProduct | Circuit.Affine |
| dotWriteSVG | Circuit.Dot |
| e | Circuit.Lang, Circuit |
| EBinOp | Circuit.Expr, Circuit |
| EConst | Circuit.Expr, Circuit |
| EConstBool | Circuit.Expr, Circuit |
| EEq | Circuit.Expr, Circuit |
| EIf | Circuit.Expr, Circuit |
| emit | Circuit.Expr, Circuit |
| eq | Circuit.Lang, Circuit |
| eqInput | Circuit.Arithmetic, Circuit |
| eqMagic | Circuit.Arithmetic, Circuit |
| eqOutput | Circuit.Arithmetic, Circuit |
| Equal | Circuit.Arithmetic, Circuit |
| EUnOp | Circuit.Expr, Circuit |
| evalAffineCircuit | Circuit.Affine |
| evalAffineMap | Circuit.Affine |
| evalArithCircuit | Circuit.Arithmetic, Circuit |
| evalCircuit | Circuit.Bulletproofs |
| evalCircuitBuilder | Circuit.Expr, Circuit |
| evalExpr | Circuit.Expr, Circuit |
| evalFresh | Fresh |
| evalGate | Circuit.Arithmetic, Circuit |
| EVar | Circuit.Expr, Circuit |
| EVarBool | Circuit.Expr, Circuit |
| execCircuitBuilder | Circuit.Expr, Circuit |
| Expr | Circuit.Expr, Circuit |
| ExprM | Circuit.Expr, Circuit |
| exprToArithCircuit | Circuit.Expr, Circuit |
| fetchVars | Circuit.Arithmetic, Circuit |
| foldQapSet | QAP |
| Fresh | Fresh |
| fresh | Fresh |
| freshInput | Circuit.Expr, Circuit |
| freshOutput | Circuit.Expr, Circuit |
| FreshT | Fresh |
| Gate | Circuit.Arithmetic, Circuit |
| GateConstraint | |
| 1 (Type/Class) | Circuit.Bulletproofs |
| 2 (Data Constructor) | Circuit.Bulletproofs |
| gateToGenQAP | QAP |
| gateToQAP | QAP |
| gcLinearConstraintLeft | Circuit.Bulletproofs |
| gcLinearConstraintRight | Circuit.Bulletproofs |
| gcMulConstraint | Circuit.Bulletproofs |
| generateAssignment | QAP |
| generateAssignmentGate | QAP |
| generateRoots | Circuit.Arithmetic, Circuit |
| imm | Circuit.Expr, Circuit |
| initialQapSet | QAP |
| input | Circuit.Lang, Circuit |
| InputWire | Circuit.Arithmetic, Circuit |
| IntermediateWire | Circuit.Arithmetic, Circuit |
| lcConstant | Circuit.Bulletproofs |
| lcWeightsIn | Circuit.Bulletproofs |
| lcWeightsLeft | Circuit.Bulletproofs |
| lcWeightsOut | Circuit.Bulletproofs |
| lcWeightsRight | Circuit.Bulletproofs |
| LinearConstraint | |
| 1 (Type/Class) | Circuit.Bulletproofs |
| 2 (Data Constructor) | Circuit.Bulletproofs |
| lookupAtWire | QAP |
| m | Circuit.Bulletproofs |
| mapVarsAffine | Circuit.Affine |
| mapVarsGate | Circuit.Arithmetic, Circuit |
| Mul | Circuit.Arithmetic, Circuit |
| mul | Circuit.Lang, Circuit |
| mulLeft | Circuit.Arithmetic, Circuit |
| mulOutput | Circuit.Arithmetic, Circuit |
| mulRight | Circuit.Arithmetic, Circuit |
| n | Circuit.Bulletproofs |
| not_ | Circuit.Lang, Circuit |
| or_ | Circuit.Lang, Circuit |
| OutputWire | Circuit.Arithmetic, Circuit |
| outputWires | Circuit.Arithmetic, Circuit |
| pedersens | Circuit.Bulletproofs |
| QAP | |
| 1 (Type/Class) | QAP |
| 2 (Data Constructor) | QAP |
| qapInputsLeft | QAP |
| qapInputsRight | QAP |
| qapOutputs | QAP |
| QapSet | |
| 1 (Type/Class) | QAP |
| 2 (Data Constructor) | QAP |
| qapSetConstant | QAP |
| qapSetInput | QAP |
| qapSetIntermediate | QAP |
| qapSetOutput | QAP |
| qapSetToMap | QAP |
| qapTarget | QAP |
| ret | Circuit.Lang, Circuit |
| rewire | Circuit.Bulletproofs |
| rewireCircuit | Circuit.Bulletproofs |
| rotateList | Circuit.Expr, Circuit |
| runCircuitBuilder | Circuit.Expr, Circuit |
| ScalarMul | Circuit.Affine |
| SetupProof | |
| 1 (Type/Class) | Circuit.Bulletproofs |
| 2 (Data Constructor) | Circuit.Bulletproofs |
| setupProof | Circuit.Bulletproofs |
| Split | Circuit.Arithmetic, Circuit |
| splitInput | Circuit.Arithmetic, Circuit |
| splitOutputs | Circuit.Arithmetic, Circuit |
| sub | Circuit.Lang, Circuit |
| sumQapSet | QAP |
| sumQapSetCnstInp | QAP |
| sumQapSetMidOut | QAP |
| transformInputs | Circuit.Bulletproofs |
| truncRotate | Circuit.Expr, Circuit |
| UNeg | Circuit.Expr, Circuit |
| UnOp | Circuit.Expr, Circuit |
| UNot | Circuit.Expr, Circuit |
| unsplit | Circuit.Arithmetic, Circuit |
| updateAtWire | QAP |
| URot | Circuit.Expr, Circuit |
| validArithCircuit | Circuit.Arithmetic, Circuit |
| Var | Circuit.Affine |
| verificationWitness | QAP |
| verificationWitnessZk | QAP |
| verifyAssignment | QAP |
| Wire | Circuit.Arithmetic, Circuit |
| witness | Circuit.Bulletproofs |
| xor_ | Circuit.Lang, Circuit |