| M | |
| 1 (Data Constructor) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| makeSPoly | ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapCoeffs | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapMWithIx | ZkFold.Base.Data.Vector |
| mapV | ZkFold.Base.Algebra.Basic.VectorSpace |
| mapVar | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapVarArithmeticCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Map, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| mapVarMonomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapVarPolynomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapVars | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapWithIx | ZkFold.Base.Data.Vector |
| Matrix | |
| 1 (Type/Class) | ZkFold.Base.Data.Matrix |
| 2 (Data Constructor) | ZkFold.Base.Data.Matrix |
| matrixDotProduct | ZkFold.Base.Data.Matrix |
| max | ZkFold.Symbolic.Data.Ord |
| MaxAdded | ZkFold.Symbolic.Data.Combinators |
| maxBitsPerFieldElement | ZkFold.Symbolic.Data.Combinators |
| maxBitsPerRegister | ZkFold.Symbolic.Data.Combinators |
| MaxLength | ZkFold.Symbolic.Data.JWT |
| maxOverflow | ZkFold.Symbolic.Data.Combinators |
| MaxRegisterSize | ZkFold.Symbolic.Data.Combinators |
| Maybe | ZkFold.Symbolic.Data.Maybe |
| maybe | ZkFold.Symbolic.Data.Maybe |
| MerkleHash | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| merkleHash | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| millerAlgorithmBLS12 | ZkFold.Base.Algebra.EllipticCurve.Pairing |
| millerAlgorithmBN | ZkFold.Base.Algebra.EllipticCurve.Pairing |
| mimcConstants | ZkFold.Symbolic.Algorithms.Hash.MiMC.Constants |
| MiMCHash | ZkFold.Base.Protocol.IVC.Oracle |
| mimcHash2 | ZkFold.Symbolic.Algorithms.Hash.MiMC |
| mimcHashN | ZkFold.Symbolic.Algorithms.Hash.MiMC |
| mimcHashN' | ZkFold.Symbolic.Algorithms.Hash.MiMC |
| min | ZkFold.Symbolic.Data.Ord |
| minNumberOfRegisters | ZkFold.Symbolic.Data.Combinators |
| mkIndexPartition | ZkFold.Base.Algebra.Basic.Permutations |
| Mod | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Basic.Number |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| mod | ZkFold.Base.Algebra.Basic.Class |
| MonadCircuit | ZkFold.Symbolic.MonadCircuit |
| Mono | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| Monomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| monomial | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| More | ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation |
| Morph | ZkFold.Symbolic.Data.Morph |
| MorphFrom | ZkFold.Symbolic.Data.Morph |
| MorphTo | ZkFold.Symbolic.Data.Morph |
| msm | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof |
| mu | ZkFold.Base.Protocol.IVC.Accumulator |
| Mul | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash |
| mulDft | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulKaratsuba | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulPoly | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulPolyDft | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulPolyKaratsuba | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulPolyNaive | ZkFold.Base.Algebra.Polynomials.Univariate |
| multiExp | ZkFold.Base.Algebra.Basic.Class |
| MultiplicativeGroup | ZkFold.Base.Algebra.Basic.Class |
| MultiplicativeMonoid | ZkFold.Base.Algebra.Basic.Class |
| MultiplicativeSemigroup | ZkFold.Base.Algebra.Basic.Class |
| mulVector | ZkFold.Base.Algebra.Polynomials.Univariate |
| mzipWithMRep | ZkFold.Symbolic.Data.Combinators |