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