! | ZkFold.Prelude |
!! | ZkFold.Prelude |
&& | ZkFold.Symbolic.Data.Bool |
* | |
1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
2 (Function) | ZkFold.Base.Algebra.Basic.Class |
+ | |
1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
2 (Function) | ZkFold.Base.Algebra.Basic.Class |
- | |
1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
2 (Function) | ZkFold.Base.Algebra.Basic.Class |
-! | ZkFold.Base.Algebra.Basic.Class |
.* | |
1 (Function) | ZkFold.Base.Data.Matrix |
2 (Function) | ZkFold.Base.Data.Sparse.Vector |
.*. | ZkFold.Base.Data.Matrix |
.+ | ZkFold.Base.Data.Sparse.Vector |
.- | ZkFold.Base.Data.Sparse.Vector |
./ | ZkFold.Base.Data.Sparse.Vector |
/ | ZkFold.Base.Algebra.Basic.Class |
// | ZkFold.Base.Algebra.Basic.Class |
/= | ZkFold.Symbolic.Data.Eq |
:++ | ZkFold.Base.Data.Type |
< | ZkFold.Symbolic.Data.Ord |
<= | |
1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
2 (Function) | ZkFold.Symbolic.Data.Ord |
== | ZkFold.Symbolic.Data.Eq |
> | ZkFold.Symbolic.Data.Ord |
>= | ZkFold.Symbolic.Data.Ord |
? | ZkFold.Symbolic.Data.Conditional |
acAdd25519 | ZkFold.Symbolic.Data.Ed25519 |
accChallenges | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
accCommits | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
accError | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
accMessages | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
accMu | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
accPublicInput | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
Accumulator | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
AccumulatorInstance | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
AccumulatorWitness | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
acDouble25519 | ZkFold.Symbolic.Data.Ed25519 |
acInput | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
acOutput | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
acPrint | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
acRNG | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
acSizeM | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
acSizeN | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
acSystem | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
acValue | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
acVarOrder | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
acWitness | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
add | ZkFold.Base.Algebra.EllipticCurve.Class |
addEval | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
addEval' | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
AddField | ZkFold.Symbolic.Cardano.UPLC.Builtins |
AdditiveGroup | ZkFold.Base.Algebra.Basic.Class |
AdditiveMonoid | ZkFold.Base.Algebra.Basic.Class |
AdditiveSemigroup | ZkFold.Base.Algebra.Basic.Class |
addPoints | ZkFold.Base.Algebra.EllipticCurve.Class |
addPoly | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
addPower | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
addPublicInput | ZkFold.Base.Protocol.ARK.Plonk.Internal |
Address | |
1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
addSimilar | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
addSPolyStep | ZkFold.Symbolic.GroebnerBasis.Internal |
addV | ZkFold.Base.Algebra.Basic.VectorSpace |
addVariable | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
Algebra | ZkFold.Base.Algebra.Basic.Class |
AlgorithmSetup | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
all | ZkFold.Symbolic.Data.Bool |
all1 | ZkFold.Symbolic.Data.Bool |
any | ZkFold.Symbolic.Data.Bool |
AnyBuiltinType | ZkFold.Symbolic.Cardano.UPLC.Type |
AnyType | ZkFold.Symbolic.Cardano.UPLC.Type |
Apply | ZkFold.Symbolic.Cardano.UPLC.Term |
apply | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
applyArgs | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
applyPermutation | ZkFold.Base.Algebra.Basic.Permutations |
ArgList | ZkFold.Symbolic.Cardano.UPLC |
ArgListCons | ZkFold.Symbolic.Cardano.UPLC |
ArgListEmpty | ZkFold.Symbolic.Cardano.UPLC |
Arithmetic | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
ArithmeticCircuit | |
1 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
Arithmetizable | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
arithmetize | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
assert | ZkFold.Prelude |
assignment | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
BaseField | ZkFold.Base.Algebra.EllipticCurve.Class |
Basis | ZkFold.Base.Algebra.Basic.VectorSpace |
basisV | ZkFold.Base.Algebra.Basic.VectorSpace |
batchTransfer | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
Binary | ZkFold.Base.Data.ByteString |
BinaryExpansion | ZkFold.Base.Algebra.Basic.Class |
binaryExpansion | ZkFold.Base.Algebra.Basic.Class |
BLS12_381_Base | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
BLS12_381_G1 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
BLS12_381_G2 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
BLS12_381_GT | |
1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
BLS12_381_Scalar | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
Bool | |
1 (Type/Class) | ZkFold.Symbolic.Data.Bool |
2 (Data Constructor) | ZkFold.Symbolic.Data.Bool |
bool | ZkFold.Symbolic.Data.Conditional |
boolCheckC | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators |
Boolean | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
BoolType | ZkFold.Symbolic.Data.Bool |
Bound | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
boundVariables | ZkFold.Symbolic.GroebnerBasis |
Builtin | ZkFold.Symbolic.Cardano.UPLC.Term |
builtinFunctionRep | ZkFold.Symbolic.Cardano.UPLC.Builtins |
BuiltinFunctions | ZkFold.Symbolic.Cardano.UPLC.Builtins |
builtinFunctionType | ZkFold.Symbolic.Cardano.UPLC.Builtins |
ByteString | |
1 (Type/Class) | ZkFold.Symbolic.Data.ByteString |
2 (Data Constructor) | ZkFold.Symbolic.Data.ByteString |
castBits | ZkFold.Base.Algebra.Basic.Class |
castPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
challenge | ZkFold.Base.Protocol.NonInteractiveProof |
challenges | ZkFold.Base.Protocol.NonInteractiveProof |
checkCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
checkClosedCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
checkLTSimple | ZkFold.Symbolic.GroebnerBasis.Internal |
checkVarUnique | ZkFold.Symbolic.GroebnerBasis.Internal |
chooseNatural | ZkFold.Prelude |
ChunkSize | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
circuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
circuitGE | ZkFold.Symbolic.Data.Ord |
circuitGT | ZkFold.Symbolic.Data.Ord |
circuits | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
ClosedPoly | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
cmQc | ZkFold.Base.Protocol.ARK.Plonk |
cmQl | ZkFold.Base.Protocol.ARK.Plonk |
cmQm | ZkFold.Base.Protocol.ARK.Plonk |
cmQo | ZkFold.Base.Protocol.ARK.Plonk |
cmQr | ZkFold.Base.Protocol.ARK.Plonk |
cmS1 | ZkFold.Base.Protocol.ARK.Plonk |
cmS2 | ZkFold.Base.Protocol.ARK.Plonk |
cmS3 | ZkFold.Base.Protocol.ARK.Plonk |
com | ZkFold.Base.Protocol.Commitment.KZG |
Commit | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
CommitOpen | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
CommitOpenProverMessage | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
commits | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
compile | ZkFold.Symbolic.Compiler |
compileIO | ZkFold.Symbolic.Compiler |
composeFunctions | ZkFold.Base.Algebra.Basic.VectorSpace |
Concat | ZkFold.Symbolic.Data.ByteString |
concat | |
1 (Function) | ZkFold.Base.Data.Vector |
2 (Function) | ZkFold.Symbolic.Data.ByteString |
Conditional | ZkFold.Symbolic.Data.Conditional |
Constant | ZkFold.Symbolic.Cardano.UPLC.Term |
Constraint | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
constraint | |
1 (Function) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
2 (Function) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
ConstraintMonomial | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
curryV | ZkFold.Base.Algebra.Basic.VectorSpace |
DatumHash | |
1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
deg | ZkFold.Base.Algebra.Polynomials.Univariate |
Degree | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
Delay | ZkFold.Symbolic.Cardano.UPLC.Term |
Dimension | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
DiscreteField | ZkFold.Symbolic.Data.DiscreteField |
DiscreteField' | ZkFold.Base.Algebra.Basic.Class |
div | ZkFold.Base.Algebra.Basic.Class |
dividable | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
divideM | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
divMod | ZkFold.Base.Algebra.Basic.Class |
dotV | ZkFold.Base.Algebra.Basic.VectorSpace |
doubleEval | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
drop | ZkFold.Prelude |
Ed25519 | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
ed25519Add | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
ed25519Double | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
Ed25519_Base | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
Ed25519_Scalar | ZkFold.Base.Algebra.EllipticCurve.Ed25519 |
edToZp | ZkFold.Symbolic.Data.Ed25519 |
eea | |
1 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
2 (Function) | ZkFold.Symbolic.Data.UInt |
elem | ZkFold.Symbolic.Data.Eq |
elemIndex | ZkFold.Prelude |
EllipticCurve | ZkFold.Base.Algebra.EllipticCurve.Class |
embed | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators |
Eq | ZkFold.Symbolic.Data.Eq |
equal | ZkFold.Base.Algebra.Basic.Class |
Error | ZkFold.Symbolic.Cardano.UPLC.Term |
EuclideanDomain | ZkFold.Base.Algebra.Basic.Class |
eval | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
evalMapM | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
evalPolynomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
evalPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
evalVectorM | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
expansion | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators |
Exponent | ZkFold.Base.Algebra.Basic.Class |
Ext2 | |
1 (Type/Class) | ZkFold.Base.Algebra.Basic.Field |
2 (Data Constructor) | ZkFold.Base.Algebra.Basic.Field |
Ext3 | |
1 (Type/Class) | ZkFold.Base.Algebra.Basic.Field |
2 (Data Constructor) | ZkFold.Base.Algebra.Basic.Field |
Extend | ZkFold.Symbolic.Data.Combinators |
extend | ZkFold.Symbolic.Data.Combinators |
F | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk.Internal |
2 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
false | ZkFold.Symbolic.Data.Bool |
Field | ZkFold.Base.Algebra.Basic.Class |
Find | ZkFold.Base.Data.Type |
findLambda | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
findTermType | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
Finite | ZkFold.Base.Algebra.Basic.Class |
FiniteAdditiveGroup | ZkFold.Base.Algebra.Basic.Class |
FiniteField | ZkFold.Base.Algebra.Basic.Class |
FiniteMultiplicativeGroup | ZkFold.Base.Algebra.Basic.Class |
finv | ZkFold.Base.Algebra.Basic.Class |
Force | ZkFold.Symbolic.Cardano.UPLC.Term |
forceZero | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
Fq | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
Fq12 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
Fq2 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
Fq6 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
Fr | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
Free | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
from | ZkFold.Symbolic.Data.Combinators |
fromBinary | ZkFold.Base.Algebra.Basic.Class |
fromBits | ZkFold.Symbolic.Data.Combinators |
fromByteString | ZkFold.Base.Data.ByteString |
FromConstant | ZkFold.Base.Algebra.Basic.Class |
fromConstant | ZkFold.Base.Algebra.Basic.Class |
fromCycles | ZkFold.Base.Algebra.Basic.Permutations |
fromMatrix | ZkFold.Base.Data.Matrix |
fromPermutation | ZkFold.Base.Algebra.Basic.Permutations |
fromPlonkConstraint | ZkFold.Base.Protocol.ARK.Plonk.Internal |
fromPoly | ZkFold.Base.Algebra.Polynomials.Univariate |
fromPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
fromSMatrix | ZkFold.Base.Data.Sparse.Matrix |
fromSVector | ZkFold.Base.Data.Sparse.Vector |
FromTranscript | ZkFold.Base.Protocol.NonInteractiveProof |
fromTranscript | ZkFold.Base.Protocol.NonInteractiveProof |
FromUPLC | ZkFold.Symbolic.Cardano.UPLC |
fromUPLC | ZkFold.Symbolic.Cardano.UPLC |
fromVector | ZkFold.Base.Data.Vector |
fromZp | ZkFold.Base.Algebra.Basic.Field |
fullReduceMany | ZkFold.Symbolic.GroebnerBasis.Internal.Reduction, ZkFold.Symbolic.GroebnerBasis |
FunctionSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
functionToData | ZkFold.Symbolic.Cardano.UPLC.Type |
G1 | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk.Internal |
2 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
G2 | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk.Internal |
2 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
gcdM | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
gen | ZkFold.Base.Algebra.EllipticCurve.Class |
genericDft | ZkFold.Base.Algebra.Basic.DFT |
get | ZkFold.Base.Data.ByteString |
getBitsBE | ZkFold.Symbolic.Data.Ord |
getNatural | ZkFold.Symbolic.Data.Combinators |
getParams | ZkFold.Base.Protocol.ARK.Plonk.Internal |
getPoly | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
getPower | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
getType | ZkFold.Symbolic.Cardano.UPLC.Type |
getVarType | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
getWord8 | ZkFold.Base.Data.ByteString |
gif | ZkFold.Symbolic.Data.Conditional |
groebner | ZkFold.Symbolic.GroebnerBasis |
groebnerStep | ZkFold.Symbolic.GroebnerBasis.Internal, ZkFold.Symbolic.GroebnerBasis |
groebnerStepMax | ZkFold.Symbolic.GroebnerBasis |
gs | ZkFold.Base.Protocol.ARK.Plonk |
h0 | ZkFold.Base.Protocol.ARK.Plonk |
h1 | ZkFold.Base.Protocol.ARK.Plonk |
Hash | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
hash | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
highRegisterBits | ZkFold.Symbolic.Data.Combinators |
highRegisterSize | ZkFold.Symbolic.Data.Combinators |
horner | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators |
I | ZkFold.Symbolic.Types |
IndexPartition | ZkFold.Base.Algebra.Basic.Permutations |
IndexSet | ZkFold.Base.Algebra.Basic.Permutations |
indexV | ZkFold.Base.Algebra.Basic.VectorSpace |
Inf | ZkFold.Base.Algebra.EllipticCurve.Class |
inf | ZkFold.Base.Algebra.EllipticCurve.Class |
inferSuccess | ZkFold.Symbolic.Cardano.UPLC.Inference |
inferType | ZkFold.Symbolic.Cardano.UPLC.Inference |
inferTypes | ZkFold.Symbolic.Cardano.UPLC.Inference |
initialHashes | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
Input | |
1 (Type/Class) | ZkFold.Base.Protocol.NonInteractiveProof |
2 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
3 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
4 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
input | |
1 (Function) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
2 (Function) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
inputSize | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
InputSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
intPow | ZkFold.Base.Algebra.Basic.Class |
intPowF | ZkFold.Base.Algebra.Basic.Class |
intScale | ZkFold.Base.Algebra.Basic.Class |
invert | ZkFold.Base.Algebra.Basic.Class |
invertC | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators |
IP1 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
IP2 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
IP3 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
IrreduciblePoly | ZkFold.Base.Algebra.Basic.Field |
irreduciblePoly | ZkFold.Base.Algebra.Basic.Field |
Iso | ZkFold.Symbolic.Data.Combinators |
IsPrime | ZkFold.Base.Algebra.Basic.Number |
isZero | ZkFold.Symbolic.Data.DiscreteField |
isZeroC | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators |
k1 | ZkFold.Base.Protocol.ARK.Plonk |
k2 | ZkFold.Base.Protocol.ARK.Plonk |
KnownNat | ZkFold.Base.Algebra.Basic.Number |
KnownPrime | ZkFold.Base.Algebra.Basic.Number |
KZG | |
1 (Type/Class) | ZkFold.Base.Protocol.Commitment.KZG |
2 (Data Constructor) | ZkFold.Base.Protocol.Commitment.KZG |
LamAbs | ZkFold.Symbolic.Cardano.UPLC.Term |
lcmM | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
length | ZkFold.Prelude |
Lexicographical | |
1 (Type/Class) | ZkFold.Symbolic.Data.Ord |
2 (Data Constructor) | ZkFold.Symbolic.Data.Ord |
LittleEndian | |
1 (Type/Class) | ZkFold.Base.Data.ByteString |
2 (Data Constructor) | ZkFold.Base.Data.ByteString |
Log2 | ZkFold.Base.Algebra.Basic.Number |
log2 | ZkFold.Symbolic.Data.Combinators |
lt | |
1 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
2 (Function) | ZkFold.Symbolic.GroebnerBasis.Internal.Types, ZkFold.Symbolic.GroebnerBasis |
lv | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
M | |
1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
2 (Data Constructor) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
3 (Data Constructor) | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
makeSPoly | ZkFold.Symbolic.GroebnerBasis.Internal, ZkFold.Symbolic.GroebnerBasis |
makeTermList | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
makeTheorem | ZkFold.Symbolic.GroebnerBasis |
makeTypeList | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
mapCoeffs | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
mapV | ZkFold.Base.Algebra.Basic.VectorSpace |
mapVar | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
mapVarArithmeticCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Map, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
mapVarMonomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
mapVarPolynomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
mapVarWitness | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Map, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
Matrix | |
1 (Type/Class) | ZkFold.Base.Data.Matrix |
2 (Data Constructor) | ZkFold.Base.Data.Matrix |
matrixDotProduct | ZkFold.Base.Data.Matrix |
max | ZkFold.Symbolic.Data.Ord |
maxBitsPerFieldElement | ZkFold.Symbolic.Data.Combinators |
maxBitsPerRegister | ZkFold.Symbolic.Data.Combinators |
maxOverflow | ZkFold.Symbolic.Data.Combinators |
miller | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
miller' | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
mimcConstants | ZkFold.Symbolic.Algorithms.Hash.MiMC.Constants |
mimcHash | ZkFold.Symbolic.Algorithms.Hash.MiMC |
min | ZkFold.Symbolic.Data.Ord |
minNumberOfRegisters | ZkFold.Symbolic.Data.Combinators |
mkIndexPartition | ZkFold.Base.Algebra.Basic.Permutations |
mod | ZkFold.Base.Algebra.Basic.Class |
MonadBlueprint | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
Monom | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
Monomial | |
1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
2 (Type/Class) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
monomial | |
1 (Function) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
2 (Function) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
Monomial' | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
MonomialAny | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
MonomialBoundedDegree | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
MonomialPorotostar | ZkFold.Base.Protocol.ARK.Protostar.Internal |
MonomialRepAny | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
MonomialRepBoundedDegree | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
mul | ZkFold.Base.Algebra.EllipticCurve.Class |
mulDft | ZkFold.Base.Algebra.Polynomials.Univariate |
MulField | ZkFold.Symbolic.Cardano.UPLC.Builtins |
mulKaratsuba | ZkFold.Base.Algebra.Polynomials.Univariate |
mulM | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
mulMono | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
mulPM | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
mulPoly | ZkFold.Base.Algebra.Polynomials.Univariate |
mulPolyDft | ZkFold.Base.Algebra.Polynomials.Univariate |
mulPolyKaratsuba | ZkFold.Base.Algebra.Polynomials.Univariate |
mulPolyNaive | ZkFold.Base.Algebra.Polynomials.Univariate |
multiExp | ZkFold.Base.Algebra.Basic.Class |
MultiplicativeGroup | ZkFold.Base.Algebra.Basic.Class |
MultiplicativeMonoid | ZkFold.Base.Algebra.Basic.Class |
MultiplicativeSemigroup | ZkFold.Base.Algebra.Basic.Class |
mulVector | ZkFold.Base.Algebra.Polynomials.Univariate |
narkCommits | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
NARKInstance | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
narkMessages | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
NARKPair | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
narkPublicInput | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
NARKWitness | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
natPow | ZkFold.Base.Algebra.Basic.Class |
natScale | ZkFold.Base.Algebra.Basic.Class |
negate | ZkFold.Base.Algebra.Basic.Class |
negateV | ZkFold.Base.Algebra.Basic.VectorSpace |
newAssigned | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
newConstrained | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
NewConstraint | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
newTranscript | ZkFold.Base.Protocol.NonInteractiveProof |
newVariableWithSource | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
NonInteractiveProof | ZkFold.Base.Protocol.NonInteractiveProof |
NonZero | |
1 (Type/Class) | ZkFold.Base.Algebra.Basic.Class |
2 (Data Constructor) | ZkFold.Base.Algebra.Basic.Class |
not | ZkFold.Symbolic.Data.Bool |
NoType | ZkFold.Symbolic.Cardano.UPLC.Type |
NumberOfBits | ZkFold.Base.Algebra.Basic.Class |
numberOfBits | ZkFold.Base.Algebra.Basic.Class |
numberOfRegisters | ZkFold.Symbolic.Data.Combinators |
omega | ZkFold.Base.Protocol.ARK.Plonk |
one | ZkFold.Base.Algebra.Basic.Class |
oneV | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
Open | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
opening | ZkFold.Base.Protocol.ARK.Protostar.CommitOpen |
optimize | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
Ord | ZkFold.Symbolic.Data.Ord |
Order | ZkFold.Base.Algebra.Basic.Class |
order | ZkFold.Base.Algebra.Basic.Class |
outer | ZkFold.Base.Data.Matrix |
Output | |
1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
output | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
OutputRef | |
1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
outputSize | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
OutputSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
P | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
padBits | ZkFold.Base.Algebra.Basic.Class |
Pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
pairing | ZkFold.Base.Algebra.EllipticCurve.Class |
pairingBLS | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
paymentCredential | ZkFold.Symbolic.Cardano.Types |
Permutation | ZkFold.Base.Algebra.Basic.Permutations |
pieces | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
Plonk | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkCircuitCommitments | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkCircuitPolynomials | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkInput | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkMaxPolyDegree | ZkFold.Base.Protocol.ARK.Plonk |
PlonkPermutation | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkPermutationSize | ZkFold.Base.Protocol.ARK.Plonk |
PlonkPolyExtended | ZkFold.Base.Protocol.ARK.Plonk |
PlonkProof | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkProverSecret | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkSetupParams | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkWitnessInput | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlonkWitnessMap | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Plonk |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Plonk |
PlutusBuiltinFunction | ZkFold.Symbolic.Cardano.UPLC.Builtins |
Point | |
1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.Class |
pointAdd | ZkFold.Base.Algebra.EllipticCurve.Class |
pointDouble | ZkFold.Base.Algebra.EllipticCurve.Class |
pointMul | ZkFold.Base.Algebra.EllipticCurve.Class |
pointNegate | ZkFold.Base.Algebra.EllipticCurve.Class |
Poly | ZkFold.Base.Algebra.Polynomials.Univariate |
Polynom | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
Polynomial | |
1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
2 (Type/Class) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
polynomial | |
1 (Function) | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
2 (Function) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
Polynomial' | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
PolynomialAny | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
PolynomialBoundedDegree | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
PolynomialProtostar | ZkFold.Base.Protocol.ARK.Protostar.Internal |
PolynomialRepAny | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
PolynomialRepBoundedDegree | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
PolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecDiv | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecGrandProduct | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecInLagrangeBasis | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecLagrange | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecLinear | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecQuadratic | ZkFold.Base.Algebra.Polynomials.Univariate |
polyVecZero | ZkFold.Base.Algebra.Polynomials.Univariate |
pow' | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
Prime | ZkFold.Base.Algebra.Basic.Number |
PrimeField | ZkFold.Base.Algebra.Basic.Class |
product | ZkFold.Base.Algebra.Basic.Class |
product1 | ZkFold.Base.Algebra.Basic.Class |
Proof | ZkFold.Base.Protocol.NonInteractiveProof |
ProtostarGate | ZkFold.Base.Protocol.ARK.Protostar.Gate |
ProtostarLookup | ZkFold.Base.Protocol.ARK.Protostar.Lookup |
ProtostarLookupParams | |
1 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.Lookup |
2 (Data Constructor) | ZkFold.Base.Protocol.ARK.Protostar.Lookup |
ProtostarPermutation | ZkFold.Base.Protocol.ARK.Protostar.Permutation |
prove | ZkFold.Base.Protocol.NonInteractiveProof |
proveAPI | ZkFold.Base.Protocol.NonInteractiveProof |
ProveAPIErrorSetup | ZkFold.Base.Protocol.NonInteractiveProof |
ProveAPIErrorWitness | ZkFold.Base.Protocol.NonInteractiveProof |
ProveAPIResult | ZkFold.Base.Protocol.NonInteractiveProof |
ProveAPISuccess | ZkFold.Base.Protocol.NonInteractiveProof |
provePolyVecEval | ZkFold.Base.Protocol.Commitment.KZG |
prover | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
ProverMessage | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
pureV | ZkFold.Base.Algebra.Basic.VectorSpace |
put | ZkFold.Base.Data.ByteString |
putList | ZkFold.Base.Data.ByteString |
putWord8 | ZkFold.Base.Data.ByteString |
qc | ZkFold.Base.Protocol.ARK.Plonk |
ql | ZkFold.Base.Protocol.ARK.Plonk |
qm | ZkFold.Base.Protocol.ARK.Plonk |
qo | ZkFold.Base.Protocol.ARK.Plonk |
qr | |
1 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
2 (Function) | ZkFold.Base.Protocol.ARK.Plonk |
readFileJSON | ZkFold.Prelude |
reducable | ZkFold.Symbolic.GroebnerBasis.Internal.Reduction |
reduce | ZkFold.Symbolic.GroebnerBasis.Internal.Reduction |
reduceMany | ZkFold.Symbolic.GroebnerBasis.Internal.Reduction |
registerSize | ZkFold.Symbolic.Data.Combinators |
removeConstantVariable | ZkFold.Base.Protocol.ARK.Plonk.Internal |
removeZeros | ZkFold.Base.Algebra.Polynomials.Univariate |
replicate | ZkFold.Prelude |
replicateA | ZkFold.Prelude |
Representably | |
1 (Type/Class) | ZkFold.Base.Algebra.Basic.VectorSpace |
2 (Data Constructor) | ZkFold.Base.Algebra.Basic.VectorSpace |
restore | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
ResultSize | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
rewrapPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
Ring | ZkFold.Base.Algebra.Basic.Class |
rootOfUnity | ZkFold.Base.Algebra.Basic.Class |
rotateBits | ZkFold.Symbolic.Data.ByteString |
rotateBitsL | ZkFold.Symbolic.Data.ByteString |
rotateBitsR | ZkFold.Symbolic.Data.ByteString |
roundConstants | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
rounds | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
runCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
runRepresentably | ZkFold.Base.Algebra.Basic.VectorSpace |
runSources | ZkFold.Base.Algebra.Basic.Sources |
runWitness | ZkFold.Base.Protocol.Commitment.KZG |
s1 | ZkFold.Base.Protocol.ARK.Plonk |
s2 | ZkFold.Base.Protocol.ARK.Plonk |
s3 | ZkFold.Base.Protocol.ARK.Plonk |
ScalarField | ZkFold.Base.Algebra.EllipticCurve.Class |
Scale | ZkFold.Base.Algebra.Basic.Class |
scale | ZkFold.Base.Algebra.Basic.Class |
scaleP | ZkFold.Base.Algebra.Polynomials.Univariate |
scalePV | ZkFold.Base.Algebra.Polynomials.Univariate |
scaleV | ZkFold.Base.Algebra.Basic.VectorSpace |
ScriptHash | |
1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
Semiring | ZkFold.Base.Algebra.Basic.Class |
setPower | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
Setup | ZkFold.Base.Protocol.NonInteractiveProof |
setup | ZkFold.Base.Protocol.NonInteractiveProof |
SHA2 | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
sha2 | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
sha224InitialHashes | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
sha256InitialHashes | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
SHA2N | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
sha2Natural | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
sha384InitialHashes | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
sha512InitialHashes | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
sha512_224InitialHashes | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
sha512_256InitialHashes | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
ShiftBits | ZkFold.Symbolic.Data.ByteString |
shiftBits | ZkFold.Symbolic.Data.ByteString |
shiftBitsL | ZkFold.Symbolic.Data.ByteString |
shiftBitsR | ZkFold.Symbolic.Data.ByteString |
Shrink | ZkFold.Symbolic.Data.Combinators |
shrink | ZkFold.Symbolic.Data.Combinators |
Sig | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
sigma1 | ZkFold.Base.Protocol.ARK.Plonk |
sigma2 | ZkFold.Base.Protocol.ARK.Plonk |
sigma3 | ZkFold.Base.Protocol.ARK.Plonk |
sigmaShifts | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
similarM | ZkFold.Symbolic.GroebnerBasis.Internal.Types, ZkFold.Symbolic.GroebnerBasis |
SMatrix | |
1 (Type/Class) | ZkFold.Base.Data.Sparse.Matrix |
2 (Data Constructor) | ZkFold.Base.Data.Sparse.Matrix |
SomeArith | ZkFold.Symbolic.Cardano.UPLC.Type |
SomeArithmetizable | |
1 (Type/Class) | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
2 (Data Constructor) | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
SomeData | |
1 (Type/Class) | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
2 (Data Constructor) | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
3 (Data Constructor) | ZkFold.Symbolic.Cardano.UPLC.Type |
SomeFunction | ZkFold.Symbolic.Cardano.UPLC.Type |
SomeSym | ZkFold.Symbolic.Cardano.UPLC.Type |
SomeSymbolic | ZkFold.Symbolic.Cardano.UPLC.Type |
SomeType | ZkFold.Symbolic.Cardano.UPLC.Type |
Sources | |
1 (Type/Class) | ZkFold.Base.Algebra.Basic.Sources |
2 (Data Constructor) | ZkFold.Base.Algebra.Basic.Sources |
SpecialSoundProtocol | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
SpecialSoundTranscript | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
splitAt | ZkFold.Prelude |
splitExpansion | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Combinators |
strictAdd | ZkFold.Symbolic.Data.UInt |
StrictConv | ZkFold.Symbolic.Data.UInt |
strictConv | ZkFold.Symbolic.Data.UInt |
strictMul | ZkFold.Symbolic.Data.UInt |
StrictNum | ZkFold.Symbolic.Data.UInt |
strictSub | ZkFold.Symbolic.Data.UInt |
Structural | |
1 (Type/Class) | ZkFold.Symbolic.Data.Eq.Structural |
2 (Data Constructor) | ZkFold.Symbolic.Data.Eq.Structural |
subPower | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
subs | ZkFold.Base.Algebra.Polynomials.Multivariate.Substitution, ZkFold.Base.Algebra.Polynomials.Multivariate |
Substitution | ZkFold.Base.Algebra.Polynomials.Multivariate.Substitution, ZkFold.Base.Algebra.Polynomials.Multivariate |
subtractV | ZkFold.Base.Algebra.Basic.VectorSpace |
sum | ZkFold.Base.Algebra.Basic.Class |
sum1 | ZkFold.Base.Data.Matrix |
sum2 | ZkFold.Base.Data.Matrix |
sumShifts | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
SVector | |
1 (Type/Class) | ZkFold.Base.Data.Sparse.Vector |
2 (Data Constructor) | ZkFold.Base.Data.Sparse.Vector |
Symbolic | ZkFold.Symbolic.Types |
SymbolicData | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
symToSym | ZkFold.Symbolic.Cardano.UPLC.Type |
systemReduce | ZkFold.Symbolic.GroebnerBasis.Internal.Reduction |
tabulateV | ZkFold.Base.Algebra.Basic.VectorSpace |
take | ZkFold.Prelude |
Term | ZkFold.Symbolic.Cardano.UPLC.Term |
testVector | ZkFold.Base.Protocol.NonInteractiveProof |
toAccumulator | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
toAccumulatorInstance | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
toAccumulatorWitness | ZkFold.Base.Protocol.ARK.Protostar.Accumulator |
toBits | ZkFold.Symbolic.Data.Combinators |
toByteString | ZkFold.Base.Data.ByteString |
ToConstant | ZkFold.Base.Algebra.Basic.Class |
toConstant | ZkFold.Base.Algebra.Basic.Class, ZkFold.Symbolic.Data.UInt |
toMatrix | ZkFold.Base.Data.Matrix |
toPlonkArithmetization | ZkFold.Base.Protocol.ARK.Plonk.Internal |
toPlonkConstraint | ZkFold.Base.Protocol.ARK.Plonk.Internal |
toPoly | ZkFold.Base.Algebra.Polynomials.Univariate |
toPolyVec | ZkFold.Base.Algebra.Polynomials.Univariate |
ToTranscript | ZkFold.Base.Protocol.NonInteractiveProof |
toTranscript | ZkFold.Base.Protocol.NonInteractiveProof |
toVector | ZkFold.Base.Data.Vector |
ToWords | ZkFold.Symbolic.Data.ByteString |
toWords | ZkFold.Symbolic.Data.ByteString |
toZp | ZkFold.Base.Algebra.Basic.Field |
Transaction | |
1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
Transcript | ZkFold.Base.Protocol.NonInteractiveProof |
transcript | ZkFold.Base.Protocol.NonInteractiveProof |
transpose | ZkFold.Base.Data.Matrix |
trichotomy | ZkFold.Base.Algebra.Basic.Class |
TrichotomyField | ZkFold.Base.Algebra.Basic.Class |
trimSystem | ZkFold.Symbolic.GroebnerBasis.Internal |
true | ZkFold.Symbolic.Data.Bool |
Truncate | ZkFold.Symbolic.Data.ByteString |
truncate | ZkFold.Symbolic.Data.ByteString |
truncateResult | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
Tx | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
TxId | |
1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
txiDatumHash | ZkFold.Symbolic.Cardano.Types |
TxIn | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
txInputs | ZkFold.Symbolic.Cardano.Types |
txiOutput | ZkFold.Symbolic.Cardano.Types |
txoAddress | ZkFold.Symbolic.Cardano.Types |
txoDatumHash | ZkFold.Symbolic.Cardano.Types |
TxOut | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
txOutputs | ZkFold.Symbolic.Cardano.Types |
TypeList | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
typeSize | ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler |
UInt | |
1 (Type/Class) | ZkFold.Symbolic.Data.UInt |
2 (Data Constructor) | ZkFold.Symbolic.Data.UInt |
uncurryV | ZkFold.Base.Algebra.Basic.VectorSpace |
unLittleEndian | ZkFold.Base.Data.ByteString |
untwist | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
updateTermType | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
updateTypeList | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
UTCTime | |
1 (Type/Class) | ZkFold.Symbolic.Data.UTCTime |
2 (Data Constructor) | ZkFold.Symbolic.Data.UTCTime |
Value | |
1 (Type/Class) | ZkFold.Symbolic.Cardano.Types |
2 (Data Constructor) | ZkFold.Symbolic.Cardano.Types |
value | ZkFold.Base.Algebra.Basic.Number |
Var | |
1 (Data Constructor) | ZkFold.Symbolic.Cardano.UPLC.Term |
2 (Type/Class) | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
var | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
Variable | |
1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
2 (Type/Class) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
variable | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
variables | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
variableTypes | ZkFold.Symbolic.GroebnerBasis |
varIsMissing | ZkFold.Symbolic.GroebnerBasis.Internal |
varNumber | ZkFold.Symbolic.GroebnerBasis.Internal |
VarType | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
VarTypeBoolean | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
VarTypeBound | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
VarTypeFree | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
vec2poly | ZkFold.Base.Algebra.Polynomials.Univariate |
Vector | |
1 (Type/Class) | ZkFold.Base.Data.Vector |
2 (Data Constructor) | ZkFold.Base.Data.Vector |
vectorDotProduct | ZkFold.Base.Data.Vector |
VectorSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
verifier | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
verifier' | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
VerifierMessage | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
verify | |
1 (Function) | ZkFold.Base.Protocol.NonInteractiveProof |
2 (Function) | ZkFold.Symbolic.GroebnerBasis |
verifySignature | ZkFold.Symbolic.Cardano.Contracts.BatchTransfer |
Witness | |
1 (Type/Class) | ZkFold.Base.Protocol.NonInteractiveProof |
2 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
3 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
WitnessField | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
WitnessKZG | |
1 (Type/Class) | ZkFold.Base.Protocol.Commitment.KZG |
2 (Data Constructor) | ZkFold.Base.Protocol.Commitment.KZG |
word32RoundConstants | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
word64RoundConstants | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
WordSize | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
writeFileJSON | ZkFold.Prelude |
xor | ZkFold.Symbolic.Data.Bool |
zero | ZkFold.Base.Algebra.Basic.Class |
zeroM | ZkFold.Symbolic.GroebnerBasis.Internal.Types, ZkFold.Symbolic.GroebnerBasis |
zeroP | ZkFold.Symbolic.GroebnerBasis.Internal.Types, ZkFold.Symbolic.GroebnerBasis |
zeroV | ZkFold.Base.Algebra.Basic.VectorSpace |
zipWithDefault | ZkFold.Prelude |
zipWithV | ZkFold.Base.Algebra.Basic.VectorSpace |
Zp | ZkFold.Base.Algebra.Basic.Field |
zpToEd | ZkFold.Symbolic.Data.Ed25519 |
^ | |
1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
2 (Function) | ZkFold.Base.Algebra.Basic.Class |
_x | ZkFold.Base.Algebra.EllipticCurve.Class |
_y | ZkFold.Base.Algebra.EllipticCurve.Class |
|| | ZkFold.Symbolic.Data.Bool |