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

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

Index - H

h	ZkFold.Symbolic.Algorithms.Hash.Blake2b
h0	ZkFold.Base.Protocol.Plonkup.Setup
h1
1 (Function)	ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier
2 (Function)	ZkFold.Base.Protocol.Plonkup.Setup
h1X	ZkFold.Base.Protocol.Plonkup.Testing
h1_xi'	ZkFold.Base.Protocol.Plonkup.Proof
h2X	ZkFold.Base.Protocol.Plonkup.Testing
h2_xi	ZkFold.Base.Protocol.Plonkup.Proof
hap	ZkFold.Base.Control.HApplicative
HApplicative	ZkFold.Base.Control.HApplicative
Hash
1 (Type/Class)	ZkFold.Symbolic.Data.Hash
2 (Data Constructor)	ZkFold.Symbolic.Data.Hash
hash
1 (Function)	ZkFold.Symbolic.Data.Hash
2 (Function)	ZkFold.Symbolic.Algorithms.Hash.MiMC
3 (Function)	ZkFold.Base.Protocol.IVC.Oracle
Hashable	ZkFold.Symbolic.Data.Hash
HashAlgorithm	ZkFold.Base.Protocol.IVC.Oracle
hasher	ZkFold.Symbolic.Data.Hash
hashFun	ZkFold.Symbolic.Data.List
HaskellCore	ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof
hcommit	ZkFold.Base.Protocol.IVC.Commit
head
1 (Function)	ZkFold.Base.Data.Vector
2 (Function)	ZkFold.Symbolic.Data.List
headLayout	ZkFold.Symbolic.Data.List
headPayload	ZkFold.Symbolic.Data.List
HFunctor	ZkFold.Base.Data.HFunctor
hHash	ZkFold.Symbolic.Data.Hash
highRegisterBits	ZkFold.Symbolic.Data.Combinators
highRegisterSize	ZkFold.Symbolic.Data.Combinators
hliftA1	ZkFold.Base.Control.HApplicative
hliftA2	ZkFold.Base.Control.HApplicative
hliftA3	ZkFold.Base.Control.HApplicative
hlmap	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler
hmap	ZkFold.Base.Data.HFunctor
hmapA	ZkFold.Base.Control.HApplicative
HomomorphicCommit	ZkFold.Base.Protocol.IVC.Commit
horner	ZkFold.Symbolic.Data.Combinators
hornerW	ZkFold.Symbolic.Data.Combinators
hpair	ZkFold.Base.Control.HApplicative
hpmap	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler
hpure	ZkFold.Base.Control.HApplicative
hunit	ZkFold.Base.Control.HApplicative
hValue	ZkFold.Symbolic.Data.Hash