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

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

Index - G

gamma	ZkFold.Base.Protocol.Plonkup.Testing
garithmetize	ZkFold.Symbolic.Data.Class
gbool	ZkFold.Symbolic.Data.Conditional
gcdM	ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate
GConditional	ZkFold.Symbolic.Data.Conditional
GContext	ZkFold.Symbolic.Data.Class
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
getBitsBE	ZkFold.Symbolic.Data.Ord
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
getWord8	ZkFold.Base.Data.ByteString
GLayout	ZkFold.Symbolic.Data.Class
gneq	ZkFold.Symbolic.Data.Eq
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
GSupport	ZkFold.Symbolic.Data.Class
GSymbolicData	ZkFold.Symbolic.Data.Class
guessOutput	ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler