symbolic-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
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
&
*
+
.
/
<
=
>
?
\
^
|
-
_
All
Index - T
t
1 (Function)
ZkFold.Base.Protocol.Plonkup.Relation
2 (Function)
ZkFold.Symbolic.Algorithms.Hash.Blake2b
tabulateV
ZkFold.Base.Algebra.Basic.VectorSpace
tail
1 (Function)
ZkFold.Base.Data.Vector
2 (Function)
ZkFold.Symbolic.Data.List
take
1 (Function)
ZkFold.Prelude
2 (Function)
ZkFold.Base.Data.Vector
TargetGroup
ZkFold.Base.Algebra.EllipticCurve.Class
testVector
ZkFold.Base.Protocol.NonInteractiveProof.Prover
toBits
ZkFold.Symbolic.Data.Combinators
toBsBits
ZkFold.Symbolic.Data.ByteString
toByteString
ZkFold.Base.Data.ByteString
ToConstant
ZkFold.Base.Algebra.Basic.Class
toConstant
ZkFold.Base.Algebra.Basic.Class
,
ZkFold.Symbolic.Data.UInt
toFS
ZkFold.Base.Protocol.Protostar.Fold
, ZkFold.Base.Protocol.Protostar
toLookupConstraint
ZkFold.Base.Protocol.Plonkup.LookupConstraint
toMatrix
ZkFold.Base.Data.Matrix
toPlonkConstraint
ZkFold.Base.Protocol.Plonkup.PlonkConstraint
toPlonkupRelation
ZkFold.Base.Protocol.Plonkup.Relation
toPoly
ZkFold.Base.Algebra.Polynomials.Univariate
toPolyVec
ZkFold.Base.Algebra.Polynomials.Univariate
ToTranscript
ZkFold.Base.Protocol.NonInteractiveProof.Internal
, ZkFold.Base.Protocol.NonInteractiveProof
toTranscript
ZkFold.Base.Protocol.NonInteractiveProof.Internal
, ZkFold.Base.Protocol.NonInteractiveProof
toV
ZkFold.Base.Data.Vector
toVector
ZkFold.Base.Data.Vector
toWords
ZkFold.Symbolic.Data.ByteString
toZp
ZkFold.Base.Algebra.Basic.Field
Transcript
ZkFold.Base.Protocol.NonInteractiveProof.Internal
, ZkFold.Base.Protocol.NonInteractiveProof, ZkFold.Base.Protocol.NonInteractiveProof
transcript
ZkFold.Base.Protocol.NonInteractiveProof.Internal
, ZkFold.Base.Protocol.NonInteractiveProof
Transform
1 (Type/Class)
ZkFold.Base.Control.HApplicative
2 (Data Constructor)
ZkFold.Base.Control.HApplicative
transpose
ZkFold.Base.Data.Matrix
trichotomy
ZkFold.Base.Algebra.Basic.Class
TrichotomyField
ZkFold.Base.Algebra.Basic.Class
true
ZkFold.Symbolic.Data.Bool
truncate
ZkFold.Symbolic.Data.ByteString
truncateResult
ZkFold.Symbolic.Algorithms.Hash.SHA2
tX
1 (Function)
ZkFold.Base.Protocol.Plonkup.Testing
2 (Function)
ZkFold.Base.Protocol.Plonkup.Prover.Polynomials
, ZkFold.Base.Protocol.Plonkup.Prover
t_xi
ZkFold.Base.Protocol.Plonkup.Proof
t_xi'
ZkFold.Base.Protocol.Plonkup.Proof