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

Index - D

deciderZkFold.Base.Protocol.Protostar.AccumulatorScheme
decompressZkFold.Base.Algebra.EllipticCurve.Class
deg 
1 (Function)ZkFold.Base.Algebra.Polynomials.Univariate
2 (Function)ZkFold.Base.Protocol.Protostar.AlgebraicMap
DegreeZkFold.Base.Protocol.Protostar.AlgebraicMap
degreeDecompositionZkFold.Base.Protocol.Protostar.AlgebraicMap
deleteZkFold.Symbolic.Data.List
deltaZkFold.Base.Protocol.Plonkup.Testing
desugarRangesZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler
dimVZkFold.Base.Algebra.Basic.VectorSpace
DiscreteFieldZkFold.Symbolic.Data.DiscreteField
DiscreteField'ZkFold.Base.Algebra.Basic.Class
Div 
1 (Type/Class)ZkFold.Base.Algebra.Basic.Number
2 (Data Constructor)ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash
divZkFold.Base.Algebra.Basic.Class
dividableZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate
divModZkFold.Base.Algebra.Basic.Class
dotVZkFold.Base.Algebra.Basic.VectorSpace
drop 
1 (Function)ZkFold.Prelude
2 (Function)ZkFold.Base.Data.Vector