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 - N
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