| t | ZkFold.Base.Protocol.Plonkup.Relation |
| tabulateV | ZkFold.Base.Algebra.Basic.VectorSpace |
| tail | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.List |
| tailHash | ZkFold.Symbolic.Data.List |
| take | |
| 1 (Function) | ZkFold.Prelude |
| 2 (Function) | ZkFold.Base.Data.Vector |
| testVector | ZkFold.Base.Protocol.NonInteractiveProof.Prover |
| toAsciiBits | ZkFold.Symbolic.Data.JWT |
| toAsciiString | ZkFold.Symbolic.Data.VarByteString |
| 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 |
| toIntegral | ZkFold.Symbolic.MonadCircuit |
| toJsonBits | ZkFold.Symbolic.Data.JWT |
| TokenHeader | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.JWT |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.JWT |
| TokenPayload | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.JWT |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.JWT |
| toLookupConstraint | ZkFold.Base.Protocol.Plonkup.LookupConstraint |
| toMatrix | ZkFold.Base.Data.Matrix |
| toNative | ZkFold.Symbolic.Data.UInt |
| 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 |
| toVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var |
| 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 | |
| 1 (Function) | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| 2 (Function) | ZkFold.Base.Protocol.IVC.FiatShamir |
| 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 |
| Triton_Point | ZkFold.Base.Algebra.EllipticCurve.PlutoEris |
| true | ZkFold.Symbolic.Data.Bool |
| truncate | ZkFold.Symbolic.Data.ByteString |
| truncateResult | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| tryCompare | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| tryEq | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| TwistedEdwards | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
| 2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.Class |
| twistedEdwardsA | ZkFold.Base.Algebra.EllipticCurve.Class |
| TwistedEdwardsCurve | ZkFold.Base.Algebra.EllipticCurve.Class |
| twistedEdwardsD | ZkFold.Base.Algebra.EllipticCurve.Class |
| 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 |