| w | ZkFold.Base.Protocol.IVC.Accumulator |
| w1 | ZkFold.Base.Protocol.Plonkup.Testing |
| w2 | ZkFold.Base.Protocol.Plonkup.Testing |
| w3 | ZkFold.Base.Protocol.Plonkup.Testing |
| Weierstrass | |
| 1 (Type/Class) | ZkFold.Base.Algebra.EllipticCurve.Class |
| 2 (Data Constructor) | ZkFold.Base.Algebra.EllipticCurve.Class |
| weierstrassB | ZkFold.Base.Algebra.EllipticCurve.Class |
| WeierstrassCurve | ZkFold.Base.Algebra.EllipticCurve.Class |
| WExVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| WFoldVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| wipeUnassigned | ZkFold.Symbolic.Data.VarByteString |
| with4n6 | ZkFold.Base.Protocol.Plonkup.Internal, ZkFold.Base.Protocol.Plonkup |
| withNextNBits | ZkFold.Symbolic.Data.Combinators |
| withNextNBits' | ZkFold.Symbolic.Data.Combinators |
| withNumberOfRegisters | ZkFold.Symbolic.Data.Combinators |
| withNumberOfRegisters' | ZkFold.Symbolic.Data.Combinators |
| withSecondNextNBits | ZkFold.Symbolic.Data.Combinators |
| withSecondNextNBits' | ZkFold.Symbolic.Data.Combinators |
| Witness | |
| 1 (Type/Class) | ZkFold.Symbolic.MonadCircuit |
| 2 (Type/Class) | ZkFold.Base.Protocol.NonInteractiveProof.Internal, ZkFold.Base.Protocol.NonInteractiveProof, ZkFold.Base.Protocol.NonInteractiveProof |
| witness | ZkFold.Base.Protocol.Plonkup.Relation |
| WitnessF | |
| 1 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness |
| witnessF | ZkFold.Symbolic.Class |
| WitnessField | ZkFold.Symbolic.Class |
| witnessGenerator | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| witnessInput | ZkFold.Base.Protocol.Plonkup.Witness |
| WitnessKZG | |
| 1 (Type/Class) | ZkFold.Base.Protocol.KZG |
| 2 (Data Constructor) | ZkFold.Base.Protocol.KZG |
| witToVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| WitVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| word32RoundConstants | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
| word64RoundConstants | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
| WordSize | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
| wordsOf | ZkFold.Symbolic.Data.Combinators |
| writeFileJSON | ZkFold.Prelude |
| WSysVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |