plutus-core-1.45.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Evaluation.Builtins.SignatureVerification

Documentation

ecdsaSecp256k1Prop ∷ PropertyT IO () Source #

ed25519_VariantAProp ∷ PropertyT IO () Source #

ed25519_VariantBProp ∷ PropertyT IO () Source #

ed25519_VariantCProp ∷ PropertyT IO () Source #

schnorrSecp256k1Prop ∷ PropertyT IO () Source #