| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Base.Protocol.NonInteractiveProof.Testing
Documentation
class (NonInteractiveProof a core, NonInteractiveProof b core) => CompatibleNonInteractiveProofs a b core where Source #
Methods
nipSetupTransform :: SetupVerify a -> SetupVerify b Source #
nipInputTransform :: Input a -> Input b Source #
nipProofTransform :: Proof a -> Proof b Source #
Instances
| NonInteractiveProof a core => CompatibleNonInteractiveProofs a a (core :: k) Source # | |
Defined in ZkFold.Base.Protocol.NonInteractiveProof.Testing Methods nipSetupTransform :: SetupVerify a -> SetupVerify a Source # nipInputTransform :: Input a -> Input a Source # nipProofTransform :: Proof a -> Proof a Source # | |
nipCompatibility :: forall a b core. CompatibleNonInteractiveProofs a b core => a -> Witness a -> Bool Source #