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 |