| idCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| ifft | ZkFold.Symbolic.Algorithms.FFT |
| ifThenElse | ZkFold.Symbolic.Data.Conditional |
| ilog2 | ZkFold.Symbolic.Data.Combinators |
| imapSysVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var |
| imapVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var |
| IndexPartition | ZkFold.Base.Algebra.Basic.Permutations |
| IndexSet | ZkFold.Base.Algebra.Basic.Permutations |
| indexV | ZkFold.Base.Algebra.Basic.VectorSpace |
| indexW | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| init | |
| 1 (Function) | ZkFold.Base.Data.Vector |
| 2 (Function) | ZkFold.Symbolic.Data.List |
| initialHashes | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| Input | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof, ZkFold.Base.Protocol.NonInteractiveProof |
| input | ZkFold.Base.Protocol.IVC.SpecialSound |
| inputPayload | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| InputSpace | ZkFold.Base.Algebra.Basic.VectorSpace |
| IntegralOf | ZkFold.Symbolic.MonadCircuit |
| Interpreter | |
| 1 (Type/Class) | ZkFold.Symbolic.Interpreter |
| 2 (Data Constructor) | ZkFold.Symbolic.Interpreter |
| intPow | ZkFold.Base.Algebra.Basic.Class |
| intPowF | ZkFold.Base.Algebra.Basic.Class |
| intScale | ZkFold.Base.Algebra.Basic.Class |
| inv | ZkFold.Base.Algebra.Basic.Field |
| InVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| invert | ZkFold.Base.Algebra.Basic.Class |
| IP1 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| IP2 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| IP3 | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| IrreduciblePoly | ZkFold.Base.Algebra.Basic.Field |
| irreduciblePoly | ZkFold.Base.Algebra.Basic.Field |
| isConstantInput | ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| isJust | ZkFold.Symbolic.Data.Maybe |
| isLookupConstraint | ZkFold.Base.Protocol.Plonkup.PlonkupConstraint |
| isNothing | ZkFold.Symbolic.Data.Maybe |
| Iso | ZkFold.Symbolic.Data.Combinators |
| isOnCurve | ZkFold.Base.Algebra.EllipticCurve.Class |
| IsOrdering | ZkFold.Symbolic.Data.Ord |
| IsPrime | ZkFold.Base.Algebra.Basic.Number |
| isRange | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| isSet | ZkFold.Symbolic.Data.ByteString |
| IsSymbolicJSON | ZkFold.Symbolic.Data.JWT |
| IsTypeString | ZkFold.Symbolic.Data.Combinators |
| isUnset | ZkFold.Symbolic.Data.ByteString |
| isValid | ZkFold.Symbolic.Data.Input |
| IsVariable | ZkFold.Symbolic.Data.Class |
| IsWitness | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness |
| isZero | |
| 1 (Function) | ZkFold.Symbolic.Data.Combinators |
| 2 (Function) | ZkFold.Symbolic.Data.DiscreteField |
| item | ZkFold.Base.Data.Vector |
| iterateM | ZkFold.Prelude |
| iterateV | ZkFold.Base.Algebra.Basic.VectorSpace |
| IVCAssumptions | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| IVCProof | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| ivcProve | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| IVCResult | |
| 1 (Type/Class) | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| 2 (Data Constructor) | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| ivcSetup | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |
| ivcVerify | ZkFold.Base.Protocol.IVC.Internal, ZkFold.Base.Protocol.IVC |