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

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

Index - N

narkCommits	ZkFold.Base.Protocol.IVC.NARK
NARKInstanceProof
1 (Type/Class)	ZkFold.Base.Protocol.IVC.NARK
2 (Data Constructor)	ZkFold.Base.Protocol.IVC.NARK
narkInstanceProof	ZkFold.Base.Protocol.IVC.NARK
NARKProof
1 (Type/Class)	ZkFold.Base.Protocol.IVC.NARK
2 (Data Constructor)	ZkFold.Base.Protocol.IVC.NARK
narkProof	ZkFold.Base.Protocol.IVC.NARK
narkWitness	ZkFold.Base.Protocol.IVC.NARK
natPow	ZkFold.Base.Algebra.Basic.Class
natScale	ZkFold.Base.Algebra.Basic.Class
Natural	ZkFold.Base.Algebra.Basic.Number
naturalCircuit	ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler
negate	ZkFold.Base.Algebra.Basic.Class
negateV	ZkFold.Base.Algebra.Basic.VectorSpace
newAssigned	ZkFold.Symbolic.MonadCircuit
newConstrained	ZkFold.Symbolic.MonadCircuit
NewConstraint	ZkFold.Symbolic.MonadCircuit
newRanged	ZkFold.Symbolic.MonadCircuit
NewVar	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal
nipCompatibility	ZkFold.Base.Protocol.NonInteractiveProof.Testing, ZkFold.Base.Protocol.NonInteractiveProof
nipInputTransform	ZkFold.Base.Protocol.NonInteractiveProof.Testing, ZkFold.Base.Protocol.NonInteractiveProof
nipProofTransform	ZkFold.Base.Protocol.NonInteractiveProof.Testing, ZkFold.Base.Protocol.NonInteractiveProof
nipSetupTransform	ZkFold.Base.Protocol.NonInteractiveProof.Testing, ZkFold.Base.Protocol.NonInteractiveProof
noIVCProof	ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC
NonInteractiveProof	ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof
NonZero
1 (Type/Class)	ZkFold.Base.Algebra.Basic.Class
2 (Data Constructor)	ZkFold.Base.Algebra.Basic.Class
not	ZkFold.Symbolic.Data.Bool
nothing	ZkFold.Symbolic.Data.Maybe
null	ZkFold.Symbolic.Data.List
NumberOfBits	ZkFold.Base.Algebra.Basic.Class
numberOfBits	ZkFold.Base.Algebra.Basic.Class
NumberOfRegisters	ZkFold.Symbolic.Data.Combinators
numberOfRegisters	ZkFold.Symbolic.Data.Combinators
NumberOfRegisters'	ZkFold.Symbolic.Data.Combinators