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

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

Index - T

tabulateV	ZkFold.Base.Algebra.Basic.VectorSpace
take	ZkFold.Prelude
Term	ZkFold.Symbolic.Cardano.UPLC.Term
testVector	ZkFold.Base.Protocol.NonInteractiveProof
toAccumulator	ZkFold.Base.Protocol.ARK.Protostar.Accumulator
toAccumulatorInstance	ZkFold.Base.Protocol.ARK.Protostar.Accumulator
toAccumulatorWitness	ZkFold.Base.Protocol.ARK.Protostar.Accumulator
toBits	ZkFold.Symbolic.Data.Combinators
toByteString	ZkFold.Base.Data.ByteString
ToConstant	ZkFold.Base.Algebra.Basic.Class
toConstant	ZkFold.Base.Algebra.Basic.Class, ZkFold.Symbolic.Data.UInt
toMatrix	ZkFold.Base.Data.Matrix
toPlonkArithmetization	ZkFold.Base.Protocol.ARK.Plonk.Internal
toPlonkConstraint	ZkFold.Base.Protocol.ARK.Plonk.Internal
toPoly	ZkFold.Base.Algebra.Polynomials.Univariate
toPolyVec	ZkFold.Base.Algebra.Polynomials.Univariate
ToTranscript	ZkFold.Base.Protocol.NonInteractiveProof
toTranscript	ZkFold.Base.Protocol.NonInteractiveProof
toVector	ZkFold.Base.Data.Vector
ToWords	ZkFold.Symbolic.Data.ByteString
toWords	ZkFold.Symbolic.Data.ByteString
toZp	ZkFold.Base.Algebra.Basic.Field
Transaction
1 (Type/Class)	ZkFold.Symbolic.Cardano.Types
2 (Data Constructor)	ZkFold.Symbolic.Cardano.Types
Transcript	ZkFold.Base.Protocol.NonInteractiveProof
transcript	ZkFold.Base.Protocol.NonInteractiveProof
transpose	ZkFold.Base.Data.Matrix
trichotomy	ZkFold.Base.Algebra.Basic.Class
TrichotomyField	ZkFold.Base.Algebra.Basic.Class
trimSystem	ZkFold.Symbolic.GroebnerBasis.Internal
true	ZkFold.Symbolic.Data.Bool
Truncate	ZkFold.Symbolic.Data.ByteString
truncate	ZkFold.Symbolic.Data.ByteString
truncateResult	ZkFold.Symbolic.Algorithms.Hash.SHA2
Tx	ZkFold.Symbolic.Cardano.Contracts.BatchTransfer
TxId
1 (Type/Class)	ZkFold.Symbolic.Cardano.Types
2 (Data Constructor)	ZkFold.Symbolic.Cardano.Types
txiDatumHash	ZkFold.Symbolic.Cardano.Types
TxIn	ZkFold.Symbolic.Cardano.Contracts.BatchTransfer
txInputs	ZkFold.Symbolic.Cardano.Types
txiOutput	ZkFold.Symbolic.Cardano.Types
txoAddress	ZkFold.Symbolic.Cardano.Types
txoDatumHash	ZkFold.Symbolic.Cardano.Types
TxOut	ZkFold.Symbolic.Cardano.Contracts.BatchTransfer
txOutputs	ZkFold.Symbolic.Cardano.Types
TypeList	ZkFold.Symbolic.Cardano.UPLC.Inference.Internal
typeSize	ZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler