Witness | |
1 (Type/Class) | ZkFold.Base.Protocol.NonInteractiveProof |
2 (Type/Class) | ZkFold.Base.Protocol.ARK.Protostar.SpecialSound |
3 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
WitnessField | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
WitnessKZG | |
1 (Type/Class) | ZkFold.Base.Protocol.Commitment.KZG |
2 (Data Constructor) | ZkFold.Base.Protocol.Commitment.KZG |
word32RoundConstants | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
word64RoundConstants | ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants |
WordSize | ZkFold.Symbolic.Algorithms.Hash.SHA2 |
writeFileJSON | ZkFold.Prelude |