| h0 | ZkFold.Base.Protocol.Plonkup.Setup |
| h1 | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier |
| 3 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
| 4 (Function) | ZkFold.Base.Protocol.Plonk |
| 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 |
| HasPointInf | ZkFold.Base.Algebra.EllipticCurve.Class |
| hcommit | ZkFold.Base.Protocol.IVC.Commit |
| hdAlg | ZkFold.Symbolic.Data.JWT |
| hdKid | ZkFold.Symbolic.Data.JWT |
| hdTyp | ZkFold.Symbolic.Data.JWT |
| 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 |