symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols (Index - T)

symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols

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