| gamma | ZkFold.Base.Protocol.Plonkup.Testing |
| garithmetize | ZkFold.Symbolic.Data.Class |
| gbool | ZkFold.Symbolic.Data.Conditional |
| GBooleanOf | ZkFold.Symbolic.Data.Eq |
| Gcd | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| gcd | ZkFold.Base.Algebra.Basic.Class |
| gcdM | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| gcompare | ZkFold.Symbolic.Data.Ord |
| GConditional | ZkFold.Symbolic.Data.Conditional |
| GContext | ZkFold.Symbolic.Data.Class |
| generator | ZkFold.Base.Algorithm.ReedSolomon |
| genericDft | ZkFold.Base.Algebra.Basic.DFT |
| genSubset | ZkFold.Prelude |
| GEq | ZkFold.Symbolic.Data.Eq |
| geq | ZkFold.Symbolic.Data.Eq |
| get | ZkFold.Base.Data.ByteString |
| getA | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| getAllVars | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| getB | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| getC | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| getNatural | ZkFold.Symbolic.Data.Combinators |
| getParams | ZkFold.Base.Protocol.Plonkup.Utils |
| getPlonkConstraint | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| GetRegisterSize | ZkFold.Symbolic.Data.Combinators |
| getSecrectParams | ZkFold.Base.Protocol.Plonkup.Utils |
| getWord8 | ZkFold.Base.Data.ByteString |
| GLayout | ZkFold.Symbolic.Data.Class |
| gneq | ZkFold.Symbolic.Data.Eq |
| GOrd | ZkFold.Symbolic.Data.Ord |
| gordering | ZkFold.Symbolic.Data.Ord |
| GOrderingOf | ZkFold.Symbolic.Data.Ord |
| GPayload | ZkFold.Symbolic.Data.Class |
| gpayload | ZkFold.Symbolic.Data.Class |
| grandProduct1 | ZkFold.Base.Protocol.Plonkup.Testing |
| grestore | ZkFold.Symbolic.Data.Class |
| groebner | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| groebnerMaxSteps | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| GroebnerParams | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Data Constructor) | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| groebnerSPolySelector | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| groebnerStep | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| groupElements | ZkFold.Base.Protocol.IVC.Commit |
| gs | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover |
| 2 (Function) | ZkFold.Base.Protocol.Plonkup.Setup |
| gs' | |
| 1 (Function) | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| 2 (Function) | ZkFold.Base.Protocol.Plonk |
| GSupport | ZkFold.Symbolic.Data.Class |
| GSymbolicData | ZkFold.Symbolic.Data.Class |
| gt | ZkFold.Symbolic.Data.Ord |
| guessOutput | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |