1 package internal
2
3 import (
4 "testing"
5
6 "github.com/cloudflare/circl/sign/dilithium/internal/common"
7 )
8
9
10
11 func TestVectorDeriveUniformLeqEta(t *testing.T) {
12 var p common.Poly
13 var seed [64]byte
14 p2 := common.Poly{
15 8380416, 0, 2, 8380415, 1, 1, 0, 1, 0, 1, 8380415, 2,
16 8380415, 8380415, 2, 2, 2, 1, 0, 2, 8380416, 1, 8380415,
17 8380415, 8380416, 8380415, 8380416, 8380415, 1, 1, 0, 1,
18 0, 1, 2, 8380416, 2, 1, 8380416, 1, 1, 2, 0, 8380416,
19 8380416, 2, 0, 2, 8380415, 0, 1, 2, 1, 1, 1, 0, 8380415,
20 1, 2, 8380415, 8380416, 1, 8380415, 0, 1, 8380416, 8380416,
21 8380415, 0, 2, 8380415, 1, 8380416, 0, 8380416, 8380416,
22 8380416, 2, 2, 1, 2, 8380415, 2, 0, 8380415, 8380415, 0,
23 2, 8380415, 8380415, 1, 8380415, 2, 8380415, 0, 1, 2,
24 8380415, 8380416, 8380415, 0, 8380416, 1, 0, 2, 0, 2,
25 8380415, 8380416, 2, 1, 8380415, 1, 8380416, 1, 8380415,
26 8380415, 0, 8380416, 0, 0, 0, 0, 0, 2, 1, 2, 0, 0, 8380415,
27 8380416, 2, 0, 1, 8380416, 2, 1, 8380416, 2, 1, 8380416,
28 0, 2, 8380416, 2, 0, 8380415, 0, 2, 0, 8380415, 1, 0,
29 8380415, 2, 8380416, 8380416, 8380415, 0, 0, 8380416, 2,
30 2, 1, 8380416, 2, 1, 2, 0, 8380415, 1, 0, 2, 2, 1, 0, 0,
31 1, 2, 0, 2, 0, 2, 2, 0, 0, 2, 2, 8380416, 2, 2, 0, 8380415,
32 1, 2, 2, 1, 1, 8380415, 8380415, 2, 2, 1, 8380416, 8380415,
33 2, 1, 0, 8380416, 8380415, 8380415, 0, 1, 0, 8380416,
34 8380416, 8380416, 8380416, 2, 8380415, 1, 8380415, 0, 1,
35 0, 8380416, 2, 8380415, 2, 1, 2, 1, 1, 0, 8380415, 2,
36 8380416, 8380416, 8380415, 8380415, 0, 2, 8380416, 1,
37 8380416, 8380415, 8380416, 8380415, 2, 8380416, 2, 8380415,
38 2, 2, 1, 8380415,
39 }
40 for i := 0; i < 64; i++ {
41 seed[i] = byte(i)
42 }
43 PolyDeriveUniformLeqEta(&p, &seed, 30000)
44 p.Normalize()
45 if p != p2 {
46 t.Fatalf("%v != %v", p, p2)
47 }
48 }
49
50 func TestVectorDeriveUniformLeGamma1(t *testing.T) {
51 var p, p2 common.Poly
52 var seed [64]byte
53 p2 = common.Poly{
54 91453, 8134283, 8211453, 8218977, 8362980, 431655, 98537,
55 320966, 7892886, 144675, 495826, 7910635, 308711, 8024934,
56 8314212, 8323958, 8242606, 7947101, 419492, 427692, 354075,
57 21485, 456475, 213575, 362300, 8142303, 8322444, 7885879,
58 89158, 181715, 8094655, 8303634, 8060028, 7920325, 192378,
59 7910586, 7897074, 8097343, 7899868, 8339413, 73206, 237312,
60 8183555, 348083, 8154041, 8364746, 8078364, 8312790, 105195,
61 8037823, 8356712, 7994594, 240882, 70742, 8109371, 8176349,
62 467152, 51422, 340432, 8030176, 342172, 154911, 64858,
63 97614, 212758, 8285880, 521738, 326395, 296748, 8111442,
64 8016327, 7953747, 158922, 330421, 8331843, 449771, 168214,
65 8198309, 8228760, 7940533, 2498, 305217, 475829, 8037995,
66 8250962, 305070, 8217080, 432779, 213808, 8162729, 381514,
67 7995827, 7989202, 129047, 246099, 67554, 8233257, 398954,
68 223629, 444125, 150369, 223365, 159236, 55259, 172419,
69 163583, 354428, 8263789, 8017325, 8229594, 32340, 490228,
70 450684, 8069619, 53733, 7932894, 7955848, 8197876, 201557,
71 8307246, 446889, 8211538, 7889784, 8071108, 496027, 8159198,
72 8037, 7973907, 248186, 4806, 185437, 457847, 138862, 8124477,
73 284692, 8255820, 8068729, 8292005, 244272, 8061114, 21475,
74 8058902, 421466, 8306487, 455649, 8218652, 7634, 148216,
75 7951766, 394889, 8127579, 366374, 8062903, 8139245, 367068,
76 8281027, 734, 396374, 7969282, 7977632, 8098596, 343569,
77 8191282, 223874, 163783, 203572, 109732, 8229113, 8128208,
78 321529, 296492, 8202474, 50404, 8336017, 8190899, 8191497,
79 8279167, 336877, 7878526, 7922949, 7974614, 8076047, 8201365,
80 8334333, 416495, 8090175, 150066, 7947253, 474615, 7937629,
81 8027358, 356569, 191566, 87441, 8219157, 8375553, 8029697,
82 8026188, 8193863, 295873, 7906281, 487687, 8363474, 386621,
83 282726, 8373831, 50680, 8239505, 7912018, 493972, 8335677,
84 8079840, 251210, 263667, 221541, 41291, 88028, 8373098,
85 505241, 7981448, 8308113, 299485, 428036, 93865, 90428,
86 392003, 80833, 7975521, 336649, 7950328, 8049195, 8332757,
87 8205291, 8178296, 7911197, 7925805, 519154, 60176, 54121,
88 222738, 464285, 8022604, 8174235, 7856202, 8291898, 473254,
89 8106411, 7943812, 267650, 7958173, 372387, 409597, 204263,
90 477847, 83925, 111791,
91 }
92 for i := 0; i < 64; i++ {
93 seed[i] = byte(i)
94 }
95 PolyDeriveUniformLeGamma1(&p, &seed, 30000)
96 p.Normalize()
97 if p != p2 {
98 t.Fatalf("%v != %v", p, p2)
99 }
100 }
101
View as plain text