| 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 |
| nativeResidue | ZkFold.Symbolic.Data.FFA |
| natPow | ZkFold.Base.Algebra.Basic.Class |
| natScale | ZkFold.Base.Algebra.Basic.Class |
| Natural | ZkFold.Base.Algebra.Basic.Number |
| natural | ZkFold.Symbolic.Data.UInt |
| naturalCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, 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 | |
| 1 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| 2 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| nextNBits | ZkFold.Symbolic.Data.Combinators |
| NextPow2 | ZkFold.Symbolic.Data.Combinators |
| nextPow2 | ZkFold.Symbolic.Data.Combinators |
| 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 |
| numberOfError | ZkFold.Base.Algorithm.ReedSolomon |
| NumberOfRegisters | ZkFold.Symbolic.Data.Combinators |
| numberOfRegisters | ZkFold.Symbolic.Data.Combinators |
| NumberOfRegisters' | ZkFold.Symbolic.Data.Combinators |