Commit c127a49d authored by GUILLEVIC Aurore's avatar GUILLEVIC Aurore

data to compare the cost estimates for k=8

parent 2ffd8ae0
......@@ -1334,6 +1334,22 @@ test_vector_CocksPinch8_i5 = [
'cost_S':120,
'deg_h_C':2,
'cost_C':129},
{'T':2**64-0x10083e00,
'ht':5,
'hy':-0xd700,
'D':4,
'p':0xb4910005e588fde4023747293d3a6e3d41b42afe599cf6ed3e0192d99fe38524365563d4dd1749878641cde159afdb73b758c3baa70c8c1fa842a7142d6a5981846aba09,
'r':0xffffffffbfdf08000606301799d79ce503fe520538262507b940781000000001,
'i':5,
't0':2**64-0x10083e00+1,
'tr':0x4fffffffebf5b28001e1ef0760136107913f79a1a18beb9259e42585010083e06,
'y0':0x7fffffffe7f3a30081818c05d675b59ca1002e007b820000,
'y':-0xd6ffffffca244fb8050eb263d2342cd0b35a1560d62232a3c6f883d541ff847ed700,
'a':289,
'pnbits':544,
'deg_h_S':8, 'cost_S':136, #
'deg_h_C':2, 'cost_C':132 #
}
]
test_vector_CocksPinch8_i7 = [
......@@ -1356,6 +1372,157 @@ test_vector_CocksPinch8_i7 = [
'cost_C':129},
]
test_vector_TN8_sparse = [
(0x1a00000000040000000001, 1, 512, 340, 122, 8, 1, 2, "u=2^84+2^83+2^81+2^42+1"),
(0xa00000000002800002000001, 1, 576, 383, 128, 4, 1, 2, "u=2^95+2^93+2^49+2^47+2^25+1")
]
test_vector_TN8 = [ # the data for Conjugation cost is not computed yet.
( 0x1b77cd35c16fa0a5bc3d01, 1, 512, 341, 122, 4, 1, 2, "test"),#0 S ok (8,122) (4,122) h=y^4+y^3+y^2-y-1 #[-1,-1,1,1,1]
( 0x4537079b425abed5719c31, 1, 520, 346, 123, 4, 1, 2, "test"),#1 S ok (8,123) (4,123)
( 0xae692833a0cc4ac54a1b4b, 4, 528, 351, 124, 4, 1, 2, "test"),#2 S ok (8,124) (4,124) h=y^8+y^7-y^6-y^4-y^2-y+1 #[1,-1,-1,0,-1,0,-1,1,1] h=y^4+y^3+y^2-y-1 #[-1,-1,1,1,1]
( 0x1b77cd35c16fa0a5bc595b7, 3, 536, 357, 125, 4, 1, 2, "test"),#3 S ok (4,125) h=y^4+2*y^3+y^2+2*y+1 #[1,2,1,2,1]
( 0x4537079b425abed571cca65, 1, 544, 362, 125, 4, 1, 2, "test"),#4 S ok (8,126) (4,125) h=y^4+y-1 #[-1,1,0,0,1]
( 0xae692833a0cc4ac54a9b165, 1, 552, 367, 126, 4, 1, 2, "test"),#5
( 0x1b77cd35c16fa0a5bc58de75, 1, 560, 373, 127, 4, 1, 2, "test"),#6
( 0x4537079b425abed571cf4bf1, 1, 568, 378, 127, 4, 1, 2, "test"),#7 S ok (8,) (4,127)
( 0xae692833a0cc4ac54aa1f70b, 3, 576, 383, 128, 4, 1, 2, "test"),#8 S ok (8,128), (4,128) (actually more 129 because there is no h of degree 4 irred and coeff {0,1,-1})
( 0x1b77cd35c16fa0a5bc5978bbb, 4, 584, 389, 129, 4, 1, 2, "test"),#9
( 0x4537079b425abed571cf54711, 1, 592, 394, 129, 4, 1, 2, "test"),#10
( 0xae692833a0cc4ac54aa1f835f, 4, 600, 399, 130, 4, 1, 2, "test"),#11
( 0x1b77cd35c16fa0a5bc59796f83, 4, 608, 405, 130, 4, 1, 2, "test"),#12 S ok (8,133) (4,130)
( 0x4537079b425abed571cf5555ad, 1, 616, 410, 131, 4, 1, 2, "test"),#13
( 0xae692833a0cc4ac54aa1fe6597, 3, 624, 415, 132, 4, 1, 2, "test"),#14
( 0x1b77cd35c16fa0a5bc597998ce7, 4, 632, 421, 132, 4, 1, 2, "test"),#15
( 0x4537079b425abed571cf5575b37, 4, 640, 426, 132, 4, 1, 2, "test"),#16 S ok (8,136) (4,132) h=y^4+y-1 #[-1,1,0,0,1]
( 0xae692833a0cc4ac54aa1fe64333, 3, 648, 431, 133, 4, 1, 2, "test"),#17
( 0x1b77cd35c16fa0a5bc59799f8e5b, 4, 656, 437, 134, 4, 1, 2, "test"),#18
( 0x4537079b425abed571cf557858ad, 1, 664, 442, 134, 4, 1, 2, "test"),#19 S ok (8,139)
( 0xae692833a0cc4ac54aa1fe7d42a1, 1, 672, 447, 134, 4, 1, 2, "test"),#20 S ok (8,140) (4,134) h=y^4+y-1 #[-1,1,0,0,1]
( 0x1b77cd35c16fa0a5bc59799fd27ef, 3, 680, 453, 135, 4, 1, 2, "test"),#21
( 0x4537079b425abed571cf557891501, 1, 688, 458, 136, 4, 1, 2, "test"),#22
( 0xae692833a0cc4ac54aa1fe7d56503, 3, 696, 463, 136, 4, 1, 2, "test"),#23
( 0x1b77cd35c16fa0a5bc59799fe07def, 3, 704, 469, 137, 4, 1, 2, "test"),#24 S ok (4,137)
( 0x4537079b425abed571cf55789bfc01, 1, 712, 474, 137, 4, 1, 2, "test"),#25
( 0xae692833a0cc4ac54aa1fe7d5a30e5, 1, 720, 479, 138, 4, 1, 2, "test"),#26
( 0x1b77cd35c16fa0a5bc59799fe092d67, 3, 728, 485, 138, 4, 1, 2, "test"),#27
( 0x4537079b425abed571cf55789bf9ae3, 3, 736, 490, 139, 4, 1, 2, "test"),#28 S ok (4,139)
( 0xae692833a0cc4ac54aa1fe7d5a3a135, 1, 744, 495, 140, 4, 1, 2, "test"),#29
( 0x1b77cd35c16fa0a5bc59799fe09308bd, 1, 752, 501, 140, 4, 1, 2, "test"),#30
( 0x4537079b425abed571cf55789c021c4b, 4, 760, 506, 140, 4, 1, 2, "test"),#31
( 0xae692833a0cc4ac54aa1fe7d5a3c5331, 1, 768, 511, 141, 4, 1, 2, "test"),#32 S ok (4,141) with h=y^4+y^3-y^2+y+1 #[1,1,-1,1,1]
( 0x1b77cd35c16fa0a5bc59799fe0943cce5, 1, 776, 517, 141, 4, 1, 2, "test"),#33
( 0x4537079b425abed571cf55789c0231ed7, 3, 784, 522, 142, 4, 1, 2, "test"),#34
( 0xae692833a0cc4ac54aa1fe7d5a3d69f35, 1, 792, 527, 142, 4, 1, 2, "test"),#35
( 0x1b77cd35c16fa0a5bc59799fe0943c8c4f, 3, 800, 533, 143, 4, 1, 2, "test"),#36 S ok (4,143) with h=y^4+y-1 #[-1,1,0,0,1]
( 0x4537079b425abed571cf55789c023bcc5f, 4, 808, 538, 143, 4, 1, 2, "test"),#37
( 0xae692833a0cc4ac54aa1fe7d5a3d750077, 4, 816, 543, 144, 4, 1, 2, "test"),#38
( 0x1b77cd35c16fa0a5bc59799fe0943d06d45, 1, 824, 549, 144, 4, 1, 2, "test"),#39
( 0x4537079b425abed571cf55789c023bff295, 1, 832, 554, 145, 4, 1, 2, "test"),#40 S ok (4,145) (8,156)
( 0xae692833a0cc4ac54aa1fe7d5a3d75cc5d7, 3, 840, 559, 145, 4, 1, 2, "test"),#41
( 0x1b77cd35c16fa0a5bc59799fe0943d07d52b, 3, 848, 565, 146, 4, 1, 2, "test"),#42
( 0x4537079b425abed571cf55789c023c10a09d, 1, 856, 570, 147, 4, 1, 2, "test"),#43
( 0xae692833a0cc4ac54aa1fe7d5a3d75de103f, 3, 864, 575, 148, 4, 1, 2, "test"),#44 S ok (4,148) (8,159) with h=y^8+y^7-y^2-y-1 #[-1,-1,-1,0,0,0,0,1,1]
( 0x1b77cd35c16fa0a5bc59799fe0943d07d2607, 3, 872, 581, 148, 4, 1, 2, "test"),#45
( 0x4537079b425abed571cf55789c023c10a6909, 1, 880, 586, 149, 4, 1, 2, "test"),#46
( 0xae692833a0cc4ac54aa1fe7d5a3d75de46ab1, 1, 888, 591, 150, 4, 1, 2, "test"),#47
( 0x1b77cd35c16fa0a5bc59799fe0943d07d75a5d, 1, 896, 597, 150, 4, 1, 2, "test"),#48 S ok (4,150) (8,162) with h=y^8+y^7+y^6-y^3-y^2-y-1 #[-1,-1,-1,-1,0,0,1,1,1]
( 0x4537079b425abed571cf55789c023c10a9ffa5, 1, 904, 602, 151, 4, 1, 2, "test"),#49
( 0xae692833a0cc4ac54aa1fe7d5a3d75de503149, 1, 912, 607, 151, 4, 1, 2, "test"),#50
( 0x1b77cd35c16fa0a5bc59799fe0943d07d7e8ff9, 1, 920, 613, 152, 4, 1, 2, "test"),#51
( 0x4537079b425abed571cf55789c023c10aa1bdf9, 1, 928, 618, 152, 4, 1, 2, "test"),#52 S ok (4,152) (almost 151)
( 0xae692833a0cc4ac54aa1fe7d5a3d75de5054e77, 3, 936, 623, 153, 4, 1, 2, "test"),#53
( 0x1b77cd35c16fa0a5bc59799fe0943d07d80a1487, 4, 944, 629, 153, 4, 1, 2, "test"),#54
( 0x4537079b425abed571cf55789c023c10aa1f3e83, 3, 952, 634, 154, 4, 1, 2, "test"),#55
( 0xae692833a0cc4ac54aa1fe7d5a3d75de505caacd, 1, 960, 639, 154, 4, 1, 2, "test"),#56 S ok (4,154)
( 0x1b77cd35c16fa0a5bc59799fe0943d07d80a4aa71, 1, 968, 645, 154, 4, 1, 2, "test"),#57
( 0x4537079b425abed571cf55789c023c10aa2030095, 1, 976, 650, 155, 4, 1, 2, "test"),#58
( 0xae692833a0cc4ac54aa1fe7d5a3d75de505cfdc39, 1, 984, 655, 155, 4, 1, 2, "test"),#59
( 0x1b77cd35c16fa0a5bc59799fe0943d07d80a4f99e1, 1, 992, 661, 155, 4, 1, 2, "test"),#60 S ok (4,155) with h=y^4+y^3+y^2-y-1 #[-1,-1,1,1,1]
( 0x4537079b425abed571cf55789c023c10aa203385fd, 1,1000, 666, 156, 4, 1, 2, "test"),#61
( 0xae692833a0cc4ac54aa1fe7d5a3d75de505d0d85df, 4,1008, 671, 156, 4, 1, 2, "test"),#62
( 0x1b77cd35c16fa0a5bc59799fe0943d07d80a4fe5d97, 3,1016, 677, 157, 4, 1, 2, "test"),#63
( 0x4537079b425abed571cf55789c023c10aa2034f255b, 3,1024, 682, 157, 4, 1, 2, "test"),#64 S ok (4,157) deg_h_S=2:no
]
test_vector_FK8D4_sparse = [ # u, a, p.nbits(), r.nbits(), cost, deg_h, label
(2**64+2**19+2**17+2**15+2**13+2**12, 1, 511, 257, 113, 8, 1, 2, "FotiadisFonstantinou eprint 2018/1017"),
(0x900800000400800008000, 1, 664, 333, 128, 8, 1, 2, "2^83+2^80+2^71+2^46+2^35+2^15")
]
test_vector_FK8D4 = [ # u, a, p.nbits(), r.nbits(), cost_S, deg_h_S, cost_C, deg_h_C, label
( 0x1306fe0a31b714004, 9, 512, 257, 114, 8, 128, 2, "test"),#0 S ok
( 0x260dfc14636e281fc, 11, 520, 261, 114, 8, 129, 2, "test"),#1 S ok
( 0x4c1bf828c6dc53eec, 5, 528, 265, 115, 8, 129, 2, "test"),#2
( 0x9837f0518db8a3fbc, 11, 536, 269, 115, 8, 131, 2, "test"),#3
( 0x1306fe0a31b7151454, 47, 544, 273, 116, 8, 131, 2, "test"),#4 S ok
( 0x260dfc14636e2a4b34, 9, 552, 277, 117, 8, 132, 2, "test"),#5
( 0x4c1bf828c6dc54aba0, 1, 560, 281, 118, 8, 133, 2, "test"),#6
( 0x9837f0518db8a96b14, 25, 568, 285, 119, 8, 133, 2, "test"),#7
( 0x1306fe0a31b71529ce0, 1, 576, 289, 119, 8, 134, 2, "test"),#8 S ok
( 0x260dfc14636e2a59f4c, 7, 584, 293, 120, 8, 135, 2, "test"),#9
( 0x4c1bf828c6dc54b41c8, 1, 592, 297, 121, 8, 136, 2, "test"),#10
( 0x9837f0518db8a96dd98, 1, 600, 301, 122, 8, 137, 2, "test"),#11
( 0x1306fe0a31b7152d93bc, 5, 608, 305, 123, 8, 138, 2, "test"),#12 S ok
( 0x260dfc14636e2a5bb9f4, 7, 616, 309, 123, 8, 139, 2, "test"),#13
( 0x4c1bf828c6dc54b78708, 1, 624, 313, 124, 8, 140, 2, "test"),#14
( 0x9837f0518db8a96e40bc, 11, 632, 317, 125, 8, 140, 2, "test"),#15
( 0x1306fe0a31b7152de5b6c, 9, 640, 321, 126, 8, 141, 2, "test"),#16 S ok
( 0x260dfc14636e2a5bd1228, 1, 648, 325, 127, 8, 142, 2, "test"),#17
( 0x4c1bf828c6dc54b79ee2c, 5, 656, 329, 128, 8, 143, 2, "test"),#18
( 0x9837f0518db8a96f4697c, 7, 664, 333, 128, 8, 144, 2, "test"),#19 S ok
( 0x1306fe0a31b7152de8aea8, 1, 672, 337, 129, 8, 144, 2, "test"),#20 S ok
( 0x260dfc14636e2a5bd11d98, 1, 680, 341, 130, 8, 145, 2, "test"),#21
( 0x4c1bf828c6dc54b7a29878, 1, 688, 345, 131, 8, 146, 2, "test"),#22
( 0x9837f0518db8a96f466e44, 49, 696, 349, 131, 8, 147, 2, "test"),#23
( 0x1306fe0a31b7152de8d5710, 1, 704, 353, 132, 8, 147, 2, "test"),#24 S ok
( 0x260dfc14636e2a5bd1a9678, 1, 712, 357, 133, 8, 148, 2, "test"),#25
( 0x4c1bf828c6dc54b7a34da90, 1, 720, 361, 134, 8, 149, 2, "test"),#26
( 0x9837f0518db8a96f46abbc4, 13, 728, 365, 134, 8, 150, 2, "test"),#27
( 0x1306fe0a31b7152de8d53a48, 1, 736, 369, 135, 8, 150, 2, "test"),#28 S ok
( 0x260dfc14636e2a5bd1ab2064, 5, 744, 373, 135, 8, 151, 2, "test"),#29
( 0x4c1bf828c6dc54b7a3557784, 11, 752, 377, 136, 8, 151, 2, "test"),#30
( 0x9837f0518db8a96f46ad0b30, 1, 760, 381, 137, 8, 152, 2, "test"),#31
( 0x1306fe0a31b7152de8d5a0be8, 1, 768, 385, 137, 8, 153, 2, "test"),#32 S ok(8,137) C(2,153)
( 0x260dfc14636e2a5bd1ab46074, 11, 776, 389, 138, 8, 154, 2, "test"),#33
( 0x4c1bf828c6dc54b7a356913a4, 5, 784, 393, 139, 8, 154, 2, "test"),#34
( 0x9837f0518db8a96f46ad20e78, 1, 792, 397, 140, 8, 155, 2, "test"),#35
( 0x1306fe0a31b7152de8d5a28054, 7, 800, 401, 140, 8, 156, 2, "test"),#36 S ok
( 0x260dfc14636e2a5bd1ab488124, 5, 808, 405, 141, 8, 157, 2, "test"),#37
( 0x4c1bf828c6dc54b7a3569172c4, 43, 816, 409, 141, 8, 158, 2, "test"),#38
( 0x9837f0518db8a96f46ad22884c, 5, 824, 413, 142, 8, 158, 2, "test"),#39
( 0x1306fe0a31b7152de8d5a45f51c, 25, 832, 417, 142, 8, 159, 2, "test"),#40 S ok
# data for Conjugation method to be continued
( 0x260dfc14636e2a5bd1ab48c5cec, 5, 840, 421, 143, 8, 1, 2, "test"),#41
( 0x4c1bf828c6dc54b7a356918a64c, 7, 848, 425, 144, 8, 1, 2, "test"),#42
( 0x9837f0518db8a96f46ad23179b8, 1, 856, 429, 145, 8, 1, 2, "test"),#43
( 0x1306fe0a31b7152de8d5a461be44, 29, 864, 433, 145, 8, 1, 2, "test"),#44 S ok (8,145) with h=y^8+y^6+y^3-y^2-1 #[-1,0,-1,1,0,0,1,0,1]
( 0x260dfc14636e2a5bd1ab48c4d26c, 7, 872, 437, 146, 8, 1, 2, "test"),#45
( 0x4c1bf828c6dc54b7a356918b9e5c, 7, 880, 441, 147, 8, 1, 2, "test"),#46
( 0x9837f0518db8a96f46ad231728bc, 5, 888, 445, 148, 8, 1, 2, "test"),#47
( 0x1306fe0a31b7152de8d5a462fc400, 1, 896, 449, 148, 8, 1, 2, "test"),#48 S ok (8,148) with h=y^8+y^7+y^5+y^4+y^3+y+1 #[1,1,0,1,1,1,0,1,1]
( 0x260dfc14636e2a5bd1ab48c606b64, 5, 904, 453, 149, 8, 1, 2, "test"),#49
( 0x4c1bf828c6dc54b7a356918c0a3d8, 1, 912, 457, 150, 8, 1, 2, "test"),#50
( 0x9837f0518db8a96f46ad23182dbf0, 1, 920, 461, 151, 8, 1, 2, "test"),#51
( 0x1306fe0a31b7152de8d5a463058a08, 1, 928, 465, 151, 8, 1, 2, "test"),#52 S ok (8,151) with h=y^8-y^6+y^5-y+1#[1,-1,0,0,0,1,-1,0,1]
( 0x260dfc14636e2a5bd1ab48c60b8f58, 1, 936, 469, 151, 8, 1, 2, "test"),#53
( 0x4c1bf828c6dc54b7a356918c166808, 1, 944, 473, 152, 8, 1, 2, "test"),#54
( 0x9837f0518db8a96f46ad23182e41c8, 1, 952, 477, 153, 8, 1, 2, "test"),#55
( 0x1306fe0a31b7152de8d5a46305bf15c, 17, 960, 481, 153, 8, 1, 2, "test"),#56 S ok (8,153) with h=y^8+y^7+y^6-y^3-y^2-y-1#[-1,-1,-1,-1,0,0,1,1,1]
( 0x260dfc14636e2a5bd1ab48c60b660fc, 7, 968, 485, 153, 8, 1, 2, "test"),#57
( 0x4c1bf828c6dc54b7a356918c171d914, 9, 976, 489, 154, 8, 1, 2, "test"),#58
( 0x9837f0518db8a96f46ad23182e356e0, 1, 984, 493, 155, 8, 1, 2, "test"),#59
( 0x1306fe0a31b7152de8d5a46305c846d8, 1, 992, 497, 156, 8, 1, 2, "test"),#60 S ok (8,156) with h=y^8+y^5-y^4-y+1#[1,-1,0,0,-1,1,0,0,1]
( 0x260dfc14636e2a5bd1ab48c60b8fe5bc, 7,1000, 501, 157, 8, 1, 2, "test"),#61
( 0x4c1bf828c6dc54b7a356918c17208ee8, 1,1008, 505, 158, 8, 1, 2, "test"),#62
( 0x9837f0518db8a96f46ad23182e42645c, 9,1016, 509, 158, 8, 1, 2, "test"),#63
( 0x1306fe0a31b7152de8d5a46305c85ade0,1,1024, 513, 158, 8, 1, 2, "test"),#64 S ok (8,158) (4,171)
#h = y^8 - y^6 + y^2 + y - 1 # [-1, 1, 1, 0, 0, 0, -1, 0, 1]
#f = x^8 + x^6 + 5*x^4 + x^2 + 4*x + 4
#g = x - 404666211852346594250993303657235459552
]
# // parameters u from Table 1 in https://eprint.iacr.org/2010/429
# (u, b, p.nbits(), STNFS_cost, deg_h, label)
test_vector_BN =[
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment