aCommit | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
addP | Bulletproofs.Utils |
addTwoMulP | Bulletproofs.Utils |
aiCommit | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
aL | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
aO | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
aoCommit | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
aR | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
ArithCircuit | |
1 (Type/Class) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
2 (Data Constructor) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
ArithCircuitProof | |
1 (Type/Class) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
2 (Data Constructor) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
ArithCircuitProofError | Bulletproofs.ArithmeticCircuit.Internal |
ArithWitness | |
1 (Type/Class) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
2 (Data Constructor) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
AsInteger | Bulletproofs.Utils |
asInteger | |
1 (Function) | Bulletproofs.Fq |
2 (Function) | Bulletproofs.Utils |
Assignment | |
1 (Type/Class) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
2 (Data Constructor) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
assignment | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
bGs | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
bH | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
bHs | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
checkRange | Bulletproofs.RangeProof.Internal |
checkRanges | Bulletproofs.RangeProof.Internal |
chooseBlindingVectors | Bulletproofs.Utils |
commit | Bulletproofs.Utils |
commitBitVector | Bulletproofs.ArithmeticCircuit.Internal |
commitBitVectors | Bulletproofs.RangeProof.Internal |
commitBlinders | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
commitments | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
commitmentWeights | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
complementaryVector | Bulletproofs.RangeProof.Internal |
computeInputValues | Bulletproofs.ArithmeticCircuit.Internal |
computeLRCommitment | Bulletproofs.RangeProof.Internal |
cs | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
curve | Bulletproofs.Curve |
delta | |
1 (Function) | Bulletproofs.RangeProof.Internal |
2 (Function) | Bulletproofs.ArithmeticCircuit.Internal |
dot | Bulletproofs.Utils |
encodeBit | Bulletproofs.RangeProof.Internal |
euclidean | Bulletproofs.Fq |
evaluatePolynomial | Bulletproofs.ArithmeticCircuit.Internal |
Field | Bulletproofs.Utils |
fillWithZeros | Bulletproofs.RangeProof.Internal |
Fq | |
1 (Type/Class) | Bulletproofs.Fq |
2 (Data Constructor) | Bulletproofs.Fq |
fqAdd | Bulletproofs.Fq |
fqCube | Bulletproofs.Fq |
fqDiv | Bulletproofs.Fq |
fqInv | Bulletproofs.Fq |
fqMul | Bulletproofs.Fq |
fqNeg | Bulletproofs.Fq |
fqOne | Bulletproofs.Fq |
fqPower | Bulletproofs.Fq |
fqPower' | Bulletproofs.Fq |
fqSquare | Bulletproofs.Fq |
fqZero | Bulletproofs.Fq |
fSquare | Bulletproofs.Utils |
g | Bulletproofs.Curve |
GateWeights | |
1 (Type/Class) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
2 (Data Constructor) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
gaussianReduce | Bulletproofs.ArithmeticCircuit.Internal |
generateGateWeights | Bulletproofs.ArithmeticCircuit.Internal |
generateProof | |
1 (Function) | Bulletproofs.InnerProductProof.Prover, Bulletproofs.InnerProductProof |
2 (Function) | Bulletproofs.MultiRangeProof.Prover, Bulletproofs.MultiRangeProof |
3 (Function) | Bulletproofs.RangeProof.Prover, Bulletproofs.RangeProof |
4 (Function) | Bulletproofs.ArithmeticCircuit.Prover, Bulletproofs.ArithmeticCircuit |
generateProofUnsafe | |
1 (Function) | Bulletproofs.MultiRangeProof.Prover, Bulletproofs.MultiRangeProof |
2 (Function) | Bulletproofs.RangeProof.Prover, Bulletproofs.RangeProof |
generateRandomAssignment | Bulletproofs.ArithmeticCircuit.Internal |
generateWv | Bulletproofs.ArithmeticCircuit.Internal |
genIdenMatrix | Bulletproofs.ArithmeticCircuit.Internal |
genZeroMatrix | Bulletproofs.ArithmeticCircuit.Internal |
gs | Bulletproofs.Curve |
h | Bulletproofs.Curve |
hadamardp | Bulletproofs.Utils |
hs | Bulletproofs.Curve |
InnerProductBase | |
1 (Type/Class) | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
2 (Data Constructor) | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
InnerProductProof | |
1 (Type/Class) | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
2 (Data Constructor) | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
InnerProductWitness | |
1 (Type/Class) | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
2 (Data Constructor) | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
insertAt | Bulletproofs.ArithmeticCircuit.Internal |
inv | Bulletproofs.Fq |
inv' | Bulletproofs.Fq |
isLogBase2 | Bulletproofs.Utils |
l | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
l0 | Bulletproofs.RangeProof.Internal |
l1 | Bulletproofs.RangeProof.Internal |
lCommits | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
log2Ceil | Bulletproofs.Utils |
logBase2 | Bulletproofs.Utils |
logBase2M | Bulletproofs.Utils |
LRPolys | |
1 (Type/Class) | Bulletproofs.RangeProof.Internal |
2 (Data Constructor) | Bulletproofs.RangeProof.Internal |
ls | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
matrixProduct | Bulletproofs.ArithmeticCircuit.Internal |
matrixVectorProduct | Bulletproofs.ArithmeticCircuit.Internal |
mu | |
1 (Function) | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
2 (Function) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
mulP | Bulletproofs.Utils |
multiplyPoly | Bulletproofs.ArithmeticCircuit.Internal |
new | Bulletproofs.Fq |
NNotPowerOf2 | |
1 (Data Constructor) | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
2 (Data Constructor) | Bulletproofs.ArithmeticCircuit.Internal |
norm | Bulletproofs.Fq |
obfuscateEncodedBits | Bulletproofs.RangeProof.Internal |
obfuscateEncodedBitsSingle | Bulletproofs.RangeProof.Internal |
oracle | Bulletproofs.Curve |
padAssignment | Bulletproofs.ArithmeticCircuit.Internal |
padCircuit | Bulletproofs.ArithmeticCircuit.Internal |
padToNearestPowerOfTwo | Bulletproofs.Utils |
padToNearestPowerOfTwoOf | Bulletproofs.Utils |
pointToBS | Bulletproofs.Curve |
powerMatrix | Bulletproofs.ArithmeticCircuit.Internal |
powerVector | Bulletproofs.Utils |
productProof | |
1 (Function) | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
2 (Function) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
q | Bulletproofs.Curve |
r | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
r0 | Bulletproofs.RangeProof.Internal |
r1 | Bulletproofs.RangeProof.Internal |
random | Bulletproofs.Fq |
randomN | Bulletproofs.Utils |
RangeProof | |
1 (Type/Class) | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
2 (Data Constructor) | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
RangeProofError | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
rCommits | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
reversedEncodeBit | Bulletproofs.RangeProof.Internal |
reversedEncodeBitMulti | Bulletproofs.RangeProof.Internal |
rs | Bulletproofs.InnerProductProof.Internal, Bulletproofs.InnerProductProof |
sCommit | |
1 (Function) | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
2 (Function) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
shamirGs | Bulletproofs.ArithmeticCircuit.Internal |
shamirGxGxG | Bulletproofs.ArithmeticCircuit.Internal |
shamirU | Bulletproofs.Utils |
shamirX | Bulletproofs.Utils |
shamirX' | Bulletproofs.Utils |
shamirY | Bulletproofs.Utils |
shamirZ | |
1 (Function) | Bulletproofs.Utils |
2 (Function) | Bulletproofs.ArithmeticCircuit.Internal |
slice | Bulletproofs.Utils |
solveLinearSystem | Bulletproofs.ArithmeticCircuit.Internal |
subP | Bulletproofs.Utils |
substituteMatrix | Bulletproofs.ArithmeticCircuit.Internal |
sumExps | Bulletproofs.Utils |
t | |
1 (Function) | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
2 (Function) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
t0 | Bulletproofs.RangeProof.Internal |
t1 | Bulletproofs.RangeProof.Internal |
t1Commit | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
t2 | Bulletproofs.RangeProof.Internal |
t2Commit | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
tBlinding | |
1 (Function) | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
2 (Function) | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
tCommits | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
TooManyGates | Bulletproofs.ArithmeticCircuit.Internal |
TPoly | |
1 (Type/Class) | Bulletproofs.RangeProof.Internal |
2 (Data Constructor) | Bulletproofs.RangeProof.Internal |
UpperBoundTooLarge | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
ValueNotInRange | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
ValuesNotInRange | Bulletproofs.RangeProof.Internal, Bulletproofs.RangeProof, Bulletproofs.MultiRangeProof |
vectorMatrixProduct | Bulletproofs.ArithmeticCircuit.Internal |
vectorMatrixProductT | Bulletproofs.ArithmeticCircuit.Internal |
verifyLRCommitment | |
1 (Function) | Bulletproofs.MultiRangeProof.Verifier |
2 (Function) | Bulletproofs.RangeProof.Verifier |
verifyProof | |
1 (Function) | Bulletproofs.InnerProductProof.Verifier, Bulletproofs.InnerProductProof |
2 (Function) | Bulletproofs.MultiRangeProof.Verifier, Bulletproofs.MultiRangeProof |
3 (Function) | Bulletproofs.RangeProof.Verifier, Bulletproofs.RangeProof |
4 (Function) | Bulletproofs.ArithmeticCircuit.Verifier, Bulletproofs.ArithmeticCircuit |
verifyTPoly | |
1 (Function) | Bulletproofs.MultiRangeProof.Verifier |
2 (Function) | Bulletproofs.RangeProof.Verifier |
weights | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
wL | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
wO | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
wR | Bulletproofs.ArithmeticCircuit.Internal, Bulletproofs.ArithmeticCircuit |
^+^ | Bulletproofs.Utils |
^-^ | Bulletproofs.Utils |