1 files changed, 538 insertions, 0 deletions
diff --git a/frozen_deps/ecdsa/test_ecdsa.py b/frozen_deps/ecdsa/test_ecdsa.py
new file mode 100644
index 0000000..e656b88
--- /dev/null
+++ b/frozen_deps/ecdsa/test_ecdsa.py
@@ -0,0 +1,538 @@
+from __future__ import print_function
+import sys
+import hypothesis.strategies as st
+from hypothesis import given, settings, note, example
+
+try:
+    import unittest2 as unittest
+except ImportError:
+    import unittest
+import pytest
+from .ecdsa import (
+    Private_key,
+    Public_key,
+    Signature,
+    generator_192,
+    digest_integer,
+    ellipticcurve,
+    point_is_valid,
+    generator_224,
+    generator_256,
+    generator_384,
+    generator_521,
+    generator_secp256k1,
+)
+
+
+HYP_SETTINGS = {}
+# old hypothesis doesn't have the "deadline" setting
+if sys.version_info > (2, 7):  # pragma: no branch
+    # SEC521p is slow, allow long execution for it
+    HYP_SETTINGS["deadline"] = 5000
+
+
+class TestP192FromX9_62(unittest.TestCase):
+    """Check test vectors from X9.62"""
+
+    @classmethod
+    def setUpClass(cls):
+        cls.d = 651056770906015076056810763456358567190100156695615665659
+        cls.Q = cls.d * generator_192
+        cls.k = 6140507067065001063065065565667405560006161556565665656654
+        cls.R = cls.k * generator_192
+
+        cls.msg = 968236873715988614170569073515315707566766479517
+        cls.pubk = Public_key(generator_192, generator_192 * cls.d)
+        cls.privk = Private_key(cls.pubk, cls.d)
+        cls.sig = cls.privk.sign(cls.msg, cls.k)
+
+    def test_point_multiplication(self):
+        assert self.Q.x() == 0x62B12D60690CDCF330BABAB6E69763B471F994DD702D16A5
+
+    def test_point_multiplication_2(self):
+        assert self.R.x() == 0x885052380FF147B734C330C43D39B2C4A89F29B0F749FEAD
+        assert self.R.y() == 0x9CF9FA1CBEFEFB917747A3BB29C072B9289C2547884FD835
+
+    def test_mult_and_addition(self):
+        u1 = 2563697409189434185194736134579731015366492496392189760599
+        u2 = 6266643813348617967186477710235785849136406323338782220568
+        temp = u1 * generator_192 + u2 * self.Q
+        assert temp.x() == 0x885052380FF147B734C330C43D39B2C4A89F29B0F749FEAD
+        assert temp.y() == 0x9CF9FA1CBEFEFB917747A3BB29C072B9289C2547884FD835
+
+    def test_signature(self):
+        r, s = self.sig.r, self.sig.s
+        assert r == 3342403536405981729393488334694600415596881826869351677613
+        assert s == 5735822328888155254683894997897571951568553642892029982342
+
+    def test_verification(self):
+        assert self.pubk.verifies(self.msg, self.sig)
+
+    def test_rejection(self):
+        assert not self.pubk.verifies(self.msg - 1, self.sig)
+
+
+class TestPublicKey(unittest.TestCase):
+    def test_equality_public_keys(self):
+        gen = generator_192
+        x = 0xC58D61F88D905293BCD4CD0080BCB1B7F811F2FFA41979F6
+        y = 0x8804DC7A7C4C7F8B5D437F5156F3312CA7D6DE8A0E11867F
+        point = ellipticcurve.Point(gen.curve(), x, y)
+        pub_key1 = Public_key(gen, point)
+        pub_key2 = Public_key(gen, point)
+        self.assertEqual(pub_key1, pub_key2)
+
+    def test_inequality_public_key(self):
+        gen = generator_192
+        x1 = 0xC58D61F88D905293BCD4CD0080BCB1B7F811F2FFA41979F6
+        y1 = 0x8804DC7A7C4C7F8B5D437F5156F3312CA7D6DE8A0E11867F
+        point1 = ellipticcurve.Point(gen.curve(), x1, y1)
+
+        x2 = 0x6A223D00BD22C52833409A163E057E5B5DA1DEF2A197DD15
+        y2 = 0x7B482604199367F1F303F9EF627F922F97023E90EAE08ABF
+        point2 = ellipticcurve.Point(gen.curve(), x2, y2)
+
+        pub_key1 = Public_key(gen, point1)
+        pub_key2 = Public_key(gen, point2)
+        self.assertNotEqual(pub_key1, pub_key2)
+
+    def test_inequality_public_key_not_implemented(self):
+        gen = generator_192
+        x = 0xC58D61F88D905293BCD4CD0080BCB1B7F811F2FFA41979F6
+        y = 0x8804DC7A7C4C7F8B5D437F5156F3312CA7D6DE8A0E11867F
+        point = ellipticcurve.Point(gen.curve(), x, y)
+        pub_key = Public_key(gen, point)
+        self.assertNotEqual(pub_key, None)
+
+
+class TestPrivateKey(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):
+        gen = generator_192
+        x = 0xC58D61F88D905293BCD4CD0080BCB1B7F811F2FFA41979F6
+        y = 0x8804DC7A7C4C7F8B5D437F5156F3312CA7D6DE8A0E11867F
+        point = ellipticcurve.Point(gen.curve(), x, y)
+        cls.pub_key = Public_key(gen, point)
+
+    def test_equality_private_keys(self):
+        pr_key1 = Private_key(self.pub_key, 100)
+        pr_key2 = Private_key(self.pub_key, 100)
+        self.assertEqual(pr_key1, pr_key2)
+
+    def test_inequality_private_keys(self):
+        pr_key1 = Private_key(self.pub_key, 100)
+        pr_key2 = Private_key(self.pub_key, 200)
+        self.assertNotEqual(pr_key1, pr_key2)
+
+    def test_inequality_private_keys_not_implemented(self):
+        pr_key = Private_key(self.pub_key, 100)
+        self.assertNotEqual(pr_key, None)
+
+
+# Testing point validity, as per ECDSAVS.pdf B.2.2:
+P192_POINTS = [
+    (
+        generator_192,
+        0xCD6D0F029A023E9AACA429615B8F577ABEE685D8257CC83A,
+        0x00019C410987680E9FB6C0B6ECC01D9A2647C8BAE27721BACDFC,
+        False,
+    ),
+    (
+        generator_192,
+        0x00017F2FCE203639E9EAF9FB50B81FC32776B30E3B02AF16C73B,
+        0x95DA95C5E72DD48E229D4748D4EEE658A9A54111B23B2ADB,
+        False,
+    ),
+    (
+        generator_192,
+        0x4F77F8BC7FCCBADD5760F4938746D5F253EE2168C1CF2792,
+        0x000147156FF824D131629739817EDB197717C41AAB5C2A70F0F6,
+        False,
+    ),
+    (
+        generator_192,
+        0xC58D61F88D905293BCD4CD0080BCB1B7F811F2FFA41979F6,
+        0x8804DC7A7C4C7F8B5D437F5156F3312CA7D6DE8A0E11867F,
+        True,
+    ),
+    (
+        generator_192,
+        0xCDF56C1AA3D8AFC53C521ADF3FFB96734A6A630A4A5B5A70,
+        0x97C1C44A5FB229007B5EC5D25F7413D170068FFD023CAA4E,
+        True,
+    ),
+    (
+        generator_192,
+        0x89009C0DC361C81E99280C8E91DF578DF88CDF4B0CDEDCED,
+        0x27BE44A529B7513E727251F128B34262A0FD4D8EC82377B9,
+        True,
+    ),
+    (
+        generator_192,
+        0x6A223D00BD22C52833409A163E057E5B5DA1DEF2A197DD15,
+        0x7B482604199367F1F303F9EF627F922F97023E90EAE08ABF,
+        True,
+    ),
+    (
+        generator_192,
+        0x6DCCBDE75C0948C98DAB32EA0BC59FE125CF0FB1A3798EDA,
+        0x0001171A3E0FA60CF3096F4E116B556198DE430E1FBD330C8835,
+        False,
+    ),
+    (
+        generator_192,
+        0xD266B39E1F491FC4ACBBBC7D098430931CFA66D55015AF12,
+        0x193782EB909E391A3148B7764E6B234AA94E48D30A16DBB2,
+        False,
+    ),
+    (
+        generator_192,
+        0x9D6DDBCD439BAA0C6B80A654091680E462A7D1D3F1FFEB43,
+        0x6AD8EFC4D133CCF167C44EB4691C80ABFFB9F82B932B8CAA,
+        False,
+    ),
+    (
+        generator_192,
+        0x146479D944E6BDA87E5B35818AA666A4C998A71F4E95EDBC,
+        0xA86D6FE62BC8FBD88139693F842635F687F132255858E7F6,
+        False,
+    ),
+    (
+        generator_192,
+        0xE594D4A598046F3598243F50FD2C7BD7D380EDB055802253,
+        0x509014C0C4D6B536E3CA750EC09066AF39B4C8616A53A923,
+        False,
+    ),
+]
+
+
+@pytest.mark.parametrize("generator,x,y,expected", P192_POINTS)
+def test_point_validity(generator, x, y, expected):
+    """
+    `generator` defines the curve; is `(x, y)` a point on
+    this curve? `expected` is True if the right answer is Yes.
+    """
+    assert point_is_valid(generator, x, y) == expected
+
+
+# Trying signature-verification tests from ECDSAVS.pdf B.2.4:
+CURVE_192_KATS = [
+    (
+        generator_192,
+        int(
+            "0x84ce72aa8699df436059f052ac51b6398d2511e49631bcb7e71f89c499b9ee"
+            "425dfbc13a5f6d408471b054f2655617cbbaf7937b7c80cd8865cf02c8487d30"
+            "d2b0fbd8b2c4e102e16d828374bbc47b93852f212d5043c3ea720f086178ff79"
+            "8cc4f63f787b9c2e419efa033e7644ea7936f54462dc21a6c4580725f7f0e7d1"
+            "58",
+            16,
+        ),
+        0xD9DBFB332AA8E5FF091E8CE535857C37C73F6250FFB2E7AC,
+        0x282102E364FEDED3AD15DDF968F88D8321AA268DD483EBC4,
+        0x64DCA58A20787C488D11D6DD96313F1B766F2D8EFE122916,
+        0x1ECBA28141E84AB4ECAD92F56720E2CC83EB3D22DEC72479,
+        True,
+    ),
+    (
+        generator_192,
+        int(
+            "0x94bb5bacd5f8ea765810024db87f4224ad71362a3c28284b2b9f39fab86db1"
+            "2e8beb94aae899768229be8fdb6c4f12f28912bb604703a79ccff769c1607f5a"
+            "91450f30ba0460d359d9126cbd6296be6d9c4bb96c0ee74cbb44197c207f6db3"
+            "26ab6f5a659113a9034e54be7b041ced9dcf6458d7fb9cbfb2744d999f7dfd63"
+            "f4",
+            16,
+        ),
+        0x3E53EF8D3112AF3285C0E74842090712CD324832D4277AE7,
+        0xCC75F8952D30AEC2CBB719FC6AA9934590B5D0FF5A83ADB7,
+        0x8285261607283BA18F335026130BAB31840DCFD9C3E555AF,
+        0x356D89E1B04541AFC9704A45E9C535CE4A50929E33D7E06C,
+        True,
+    ),
+    (
+        generator_192,
+        int(
+            "0xf6227a8eeb34afed1621dcc89a91d72ea212cb2f476839d9b4243c66877911"
+            "b37b4ad6f4448792a7bbba76c63bdd63414b6facab7dc71c3396a73bd7ee14cd"
+            "d41a659c61c99b779cecf07bc51ab391aa3252386242b9853ea7da67fd768d30"
+            "3f1b9b513d401565b6f1eb722dfdb96b519fe4f9bd5de67ae131e64b40e78c42"
+            "dd",
+            16,
+        ),
+        0x16335DBE95F8E8254A4E04575D736BEFB258B8657F773CB7,
+        0x421B13379C59BC9DCE38A1099CA79BBD06D647C7F6242336,
+        0x4141BD5D64EA36C5B0BD21EF28C02DA216ED9D04522B1E91,
+        0x159A6AA852BCC579E821B7BB0994C0861FB08280C38DAA09,
+        False,
+    ),
+    (
+        generator_192,
+        int(
+            "0x16b5f93afd0d02246f662761ed8e0dd9504681ed02a253006eb36736b56309"
+            "7ba39f81c8e1bce7a16c1339e345efabbc6baa3efb0612948ae51103382a8ee8"
+            "bc448e3ef71e9f6f7a9676694831d7f5dd0db5446f179bcb737d4a526367a447"
+            "bfe2c857521c7f40b6d7d7e01a180d92431fb0bbd29c04a0c420a57b3ed26ccd"
+            "8a",
+            16,
+        ),
+        0xFD14CDF1607F5EFB7B1793037B15BDF4BAA6F7C16341AB0B,
+        0x83FA0795CC6C4795B9016DAC928FD6BAC32F3229A96312C4,
+        0x8DFDB832951E0167C5D762A473C0416C5C15BC1195667DC1,
+        0x1720288A2DC13FA1EC78F763F8FE2FF7354A7E6FDDE44520,
+        False,
+    ),
+    (
+        generator_192,
+        int(
+            "0x08a2024b61b79d260e3bb43ef15659aec89e5b560199bc82cf7c65c77d3919"
+            "2e03b9a895d766655105edd9188242b91fbde4167f7862d4ddd61e5d4ab55196"
+            "683d4f13ceb90d87aea6e07eb50a874e33086c4a7cb0273a8e1c4408f4b846bc"
+            "eae1ebaac1b2b2ea851a9b09de322efe34cebe601653efd6ddc876ce8c2f2072"
+            "fb",
+            16,
+        ),
+        0x674F941DC1A1F8B763C9334D726172D527B90CA324DB8828,
+        0x65ADFA32E8B236CB33A3E84CF59BFB9417AE7E8EDE57A7FF,
+        0x9508B9FDD7DAF0D8126F9E2BC5A35E4C6D800B5B804D7796,
+        0x36F2BF6B21B987C77B53BB801B3435A577E3D493744BFAB0,
+        False,
+    ),
+    (
+        generator_192,
+        int(
+            "0x1843aba74b0789d4ac6b0b8923848023a644a7b70afa23b1191829bbe4397c"
+            "e15b629bf21a8838298653ed0c19222b95fa4f7390d1b4c844d96e645537e0aa"
+            "e98afb5c0ac3bd0e4c37f8daaff25556c64e98c319c52687c904c4de7240a1cc"
+            "55cd9756b7edaef184e6e23b385726e9ffcba8001b8f574987c1a3fedaaa83ca"
+            "6d",
+            16,
+        ),
+        0x10ECCA1AAD7220B56A62008B35170BFD5E35885C4014A19F,
+        0x04EB61984C6C12ADE3BC47F3C629ECE7AA0A033B9948D686,
+        0x82BFA4E82C0DFE9274169B86694E76CE993FD83B5C60F325,
+        0xA97685676C59A65DBDE002FE9D613431FB183E8006D05633,
+        False,
+    ),
+    (
+        generator_192,
+        int(
+            "0x5a478f4084ddd1a7fea038aa9732a822106385797d02311aeef4d0264f824f"
+            "698df7a48cfb6b578cf3da416bc0799425bb491be5b5ecc37995b85b03420a98"
+            "f2c4dc5c31a69a379e9e322fbe706bbcaf0f77175e05cbb4fa162e0da82010a2"
+            "78461e3e974d137bc746d1880d6eb02aa95216014b37480d84b87f717bb13f76"
+            "e1",
+            16,
+        ),
+        0x6636653CB5B894CA65C448277B29DA3AD101C4C2300F7C04,
+        0xFDF1CBB3FC3FD6A4F890B59E554544175FA77DBDBEB656C1,
+        0xEAC2DDECDDFB79931A9C3D49C08DE0645C783A24CB365E1C,
+        0x3549FEE3CFA7E5F93BC47D92D8BA100E881A2A93C22F8D50,
+        False,
+    ),
+    (
+        generator_192,
+        int(
+            "0xc598774259a058fa65212ac57eaa4f52240e629ef4c310722088292d1d4af6"
+            "c39b49ce06ba77e4247b20637174d0bd67c9723feb57b5ead232b47ea452d5d7"
+            "a089f17c00b8b6767e434a5e16c231ba0efa718a340bf41d67ea2d295812ff1b"
+            "9277daacb8bc27b50ea5e6443bcf95ef4e9f5468fe78485236313d53d1c68f6b"
+            "a2",
+            16,
+        ),
+        0xA82BD718D01D354001148CD5F69B9EBF38FF6F21898F8AAA,
+        0xE67CEEDE07FC2EBFAFD62462A51E4B6C6B3D5B537B7CAF3E,
+        0x4D292486C620C3DE20856E57D3BB72FCDE4A73AD26376955,
+        0xA85289591A6081D5728825520E62FF1C64F94235C04C7F95,
+        False,
+    ),
+    (
+        generator_192,
+        int(
+            "0xca98ed9db081a07b7557f24ced6c7b9891269a95d2026747add9e9eb80638a"
+            "961cf9c71a1b9f2c29744180bd4c3d3db60f2243c5c0b7cc8a8d40a3f9a7fc91"
+            "0250f2187136ee6413ffc67f1a25e1c4c204fa9635312252ac0e0481d89b6d53"
+            "808f0c496ba87631803f6c572c1f61fa049737fdacce4adff757afed4f05beb6"
+            "58",
+            16,
+        ),
+        0x7D3B016B57758B160C4FCA73D48DF07AE3B6B30225126C2F,
+        0x4AF3790D9775742BDE46F8DA876711BE1B65244B2B39E7EC,
+        0x95F778F5F656511A5AB49A5D69DDD0929563C29CBC3A9E62,
+        0x75C87FC358C251B4C83D2DD979FAAD496B539F9F2EE7A289,
+        False,
+    ),
+    (
+        generator_192,
+        int(
+            "0x31dd9a54c8338bea06b87eca813d555ad1850fac9742ef0bbe40dad400e102"
+            "88acc9c11ea7dac79eb16378ebea9490e09536099f1b993e2653cd50240014c9"
+            "0a9c987f64545abc6a536b9bd2435eb5e911fdfde2f13be96ea36ad38df4ae9e"
+            "a387b29cced599af777338af2794820c9cce43b51d2112380a35802ab7e396c9"
+            "7a",
+            16,
+        ),
+        0x9362F28C4EF96453D8A2F849F21E881CD7566887DA8BEB4A,
+        0xE64D26D8D74C48A024AE85D982EE74CD16046F4EE5333905,
+        0xF3923476A296C88287E8DE914B0B324AD5A963319A4FE73B,
+        0xF0BAEED7624ED00D15244D8BA2AEDE085517DBDEC8AC65F5,
+        True,
+    ),
+    (
+        generator_192,
+        int(
+            "0xb2b94e4432267c92f9fdb9dc6040c95ffa477652761290d3c7de312283f645"
+            "0d89cc4aabe748554dfb6056b2d8e99c7aeaad9cdddebdee9dbc099839562d90"
+            "64e68e7bb5f3a6bba0749ca9a538181fc785553a4000785d73cc207922f63e8c"
+            "e1112768cb1de7b673aed83a1e4a74592f1268d8e2a4e9e63d414b5d442bd045"
+            "6d",
+            16,
+        ),
+        0xCC6FC032A846AAAC25533EB033522824F94E670FA997ECEF,
+        0xE25463EF77A029ECCDA8B294FD63DD694E38D223D30862F1,
+        0x066B1D07F3A40E679B620EDA7F550842A35C18B80C5EBE06,
+        0xA0B0FB201E8F2DF65E2C4508EF303BDC90D934016F16B2DC,
+        False,
+    ),
+    (
+        generator_192,
+        int(
+            "0x4366fcadf10d30d086911de30143da6f579527036937007b337f7282460eae"
+            "5678b15cccda853193ea5fc4bc0a6b9d7a31128f27e1214988592827520b214e"
+            "ed5052f7775b750b0c6b15f145453ba3fee24a085d65287e10509eb5d5f602c4"
+            "40341376b95c24e5c4727d4b859bfe1483d20538acdd92c7997fa9c614f0f839"
+            "d7",
+            16,
+        ),
+        0x955C908FE900A996F7E2089BEE2F6376830F76A19135E753,
+        0xBA0C42A91D3847DE4A592A46DC3FDAF45A7CC709B90DE520,
+        0x1F58AD77FC04C782815A1405B0925E72095D906CBF52A668,
+        0xF2E93758B3AF75EDF784F05A6761C9B9A6043C66B845B599,
+        False,
+    ),
+    (
+        generator_192,
+        int(
+            "0x543f8af57d750e33aa8565e0cae92bfa7a1ff78833093421c2942cadf99866"
+            "70a5ff3244c02a8225e790fbf30ea84c74720abf99cfd10d02d34377c3d3b412"
+            "69bea763384f372bb786b5846f58932defa68023136cd571863b304886e95e52"
+            "e7877f445b9364b3f06f3c28da12707673fecb4b8071de06b6e0a3c87da160ce"
+            "f3",
+            16,
+        ),
+        0x31F7FA05576D78A949B24812D4383107A9A45BB5FCCDD835,
+        0x8DC0EB65994A90F02B5E19BD18B32D61150746C09107E76B,
+        0xBE26D59E4E883DDE7C286614A767B31E49AD88789D3A78FF,
+        0x8762CA831C1CE42DF77893C9B03119428E7A9B819B619068,
+        False,
+    ),
+    (
+        generator_192,
+        int(
+            "0xd2e8454143ce281e609a9d748014dcebb9d0bc53adb02443a6aac2ffe6cb009f"
+            "387c346ecb051791404f79e902ee333ad65e5c8cb38dc0d1d39a8dc90add502357"
+            "2720e5b94b190d43dd0d7873397504c0c7aef2727e628eb6a74411f2e400c65670"
+            "716cb4a815dc91cbbfeb7cfe8c929e93184c938af2c078584da045e8f8d1",
+            16,
+        ),
+        0x66AA8EDBBDB5CF8E28CEB51B5BDA891CAE2DF84819FE25C0,
+        0x0C6BC2F69030A7CE58D4A00E3B3349844784A13B8936F8DA,
+        0xA4661E69B1734F4A71B788410A464B71E7FFE42334484F23,
+        0x738421CF5E049159D69C57A915143E226CAC8355E149AFE9,
+        False,
+    ),
+    (
+        generator_192,
+        int(
+            "0x6660717144040f3e2f95a4e25b08a7079c702a8b29babad5a19a87654bc5c5af"
+            "a261512a11b998a4fb36b5d8fe8bd942792ff0324b108120de86d63f65855e5461"
+            "184fc96a0a8ffd2ce6d5dfb0230cbbdd98f8543e361b3205f5da3d500fdc8bac6d"
+            "b377d75ebef3cb8f4d1ff738071ad0938917889250b41dd1d98896ca06fb",
+            16,
+        ),
+        0xBCFACF45139B6F5F690A4C35A5FFFA498794136A2353FC77,
+        0x6F4A6C906316A6AFC6D98FE1F0399D056F128FE0270B0F22,
+        0x9DB679A3DAFE48F7CCAD122933ACFE9DA0970B71C94C21C1,
+        0x984C2DB99827576C0A41A5DA41E07D8CC768BC82F18C9DA9,
+        False,
+    ),
+]
+
+
+@pytest.mark.parametrize("gen,msg,qx,qy,r,s,expected", CURVE_192_KATS)
+def test_signature_validity(gen, msg, qx, qy, r, s, expected):
+    """
+    `msg` = message, `qx` and `qy` represent the base point on
+    elliptic curve of `gen`, `r` and `s` are the signature, and
+    `expected` is True iff the signature is expected to be valid."""
+    pubk = Public_key(gen, ellipticcurve.Point(gen.curve(), qx, qy))
+    assert expected == pubk.verifies(digest_integer(msg), Signature(r, s))
+
+
+@pytest.mark.parametrize(
+    "gen,msg,qx,qy,r,s,expected", [x for x in CURVE_192_KATS if x[6]]
+)
+def test_pk_recovery(gen, msg, r, s, qx, qy, expected):
+    del expected
+    sign = Signature(r, s)
+    pks = sign.recover_public_keys(digest_integer(msg), gen)
+
+    assert pks
+
+    # Test if the signature is valid for all found public keys
+    for pk in pks:
+        q = pk.point
+        test_signature_validity(gen, msg, q.x(), q.y(), r, s, True)
+
+    # Test if the original public key is in the set of found keys
+    original_q = ellipticcurve.Point(gen.curve(), qx, qy)
+    points = [pk.point for pk in pks]
+    assert original_q in points
+
+
+@st.composite
+def st_random_gen_key_msg_nonce(draw):
+    """Hypothesis strategy for test_sig_verify()."""
+    name_gen = {
+        "generator_192": generator_192,
+        "generator_224": generator_224,
+        "generator_256": generator_256,
+        "generator_secp256k1": generator_secp256k1,
+        "generator_384": generator_384,
+        "generator_521": generator_521,
+    }
+    name = draw(st.sampled_from(sorted(name_gen.keys())))
+    note("Generator used: {0}".format(name))
+    generator = name_gen[name]
+    order = int(generator.order())
+
+    key = draw(st.integers(min_value=1, max_value=order))
+    msg = draw(st.integers(min_value=1, max_value=order))
+    nonce = draw(
+        st.integers(min_value=1, max_value=order + 1)
+        | st.integers(min_value=order >> 1, max_value=order)
+    )
+    return generator, key, msg, nonce
+
+
+SIG_VER_SETTINGS = dict(HYP_SETTINGS)
+SIG_VER_SETTINGS["max_examples"] = 10
+
+
+@settings(**SIG_VER_SETTINGS)
+@example((generator_224, 4, 1, 1))
+@given(st_random_gen_key_msg_nonce())
+def test_sig_verify(args):
+    """
+    Check if signing and verification works for arbitrary messages and
+    that signatures for other messages are rejected.
+    """
+    generator, sec_mult, msg, nonce = args
+
+    pubkey = Public_key(generator, generator * sec_mult)
+    privkey = Private_key(pubkey, sec_mult)
+
+    signature = privkey.sign(msg, nonce)
+
+    assert pubkey.verifies(msg, signature)
+
+    assert not pubkey.verifies(msg - 1, signature)