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.Protostar.NARK
NARKProof
1 (Type/Class)	ZkFold.Base.Protocol.Protostar.NARK
2 (Data Constructor)	ZkFold.Base.Protocol.Protostar.NARK
narkWitness	ZkFold.Base.Protocol.Protostar.NARK
natPow	ZkFold.Base.Algebra.Basic.Class
natScale	ZkFold.Base.Algebra.Basic.Class
Natural	ZkFold.Base.Algebra.Basic.Number
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.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
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