zkfold-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Quick Jump
Contents
Index
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
&
*
+
.
/
<
=
>
?
^
|
-
_
All
Index - C
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