Documentation

ecdsaVerify :: forall curve n c. (Symbolic c, KnownNat n, EllipticCurve curve, BaseField curve ~ UInt 256 'Auto c, Scale (FieldElement c) (Point curve), Log2 (Order (BaseField c) - 1) ~ 255, SemiEuclidean (UInt 256 'Auto c), KnownNat (NumberOfRegisters (BaseField c) 256 'Auto)) => Point curve -> ByteString 256 c -> (UInt 256 'Auto c, UInt 256 'Auto c) -> Bool c Source #