forked from cloudflare/circl
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathfield_test.go
70 lines (64 loc) · 1.48 KB
/
field_test.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
package common
import (
"crypto/rand"
"encoding/binary"
"math"
"testing"
)
func randSliceUint32(length uint) []uint32 { return randSliceUint32WithMax(length, math.MaxUint32) }
func randSliceUint32WithMax(length uint, max uint32) []uint32 {
bytes := make([]uint8, 4*length)
if n, err := rand.Read(bytes); err != nil {
panic(err)
} else if n < len(bytes) {
panic("short read from RNG")
}
x := make([]uint32, length)
for i := range x {
x[i] = binary.LittleEndian.Uint32(bytes[4*i:]) % max
}
return x
}
func TestModQ(t *testing.T) {
const testTimes = 1000
r := randSliceUint32(testTimes)
for i := 0; i < testTimes; i++ {
x := r[i]
y := modQ(x)
if y > Q {
t.Fatalf("modQ(%d) > Q", x)
}
if y != x%Q {
t.Fatalf("modQ(%d) != %d (mod Q)", x, x)
}
}
}
func TestReduceLe2Q(t *testing.T) {
const testTimes = 1000
r := randSliceUint32(testTimes)
for i := 0; i < testTimes; i++ {
x := r[i]
y := ReduceLe2Q(x)
if y > 2*Q {
t.Fatalf("reduce_le2q(%d) > 2Q", x)
}
if y%Q != x%Q {
t.Fatalf("reduce_le2q(%d) != %d (mod Q)", x, x)
}
}
}
func TestPower2Round(t *testing.T) {
for a := uint32(0); a < Q; a++ {
a0PlusQ, a1 := power2round(a)
a0 := int32(a0PlusQ) - int32(Q)
if int32(a) != a0+int32((1<<D)*a1) {
t.Fatalf("power2round(%v) doesn't recombine", a)
}
if (-(1 << (D - 1)) >= a0) || (a0 > 1<<(D-1)) {
t.Fatalf("power2round(%v): a0 out of bounds", a)
}
if a1 > (1 << (QBits - D)) {
t.Fatalf("power2round(%v): a1 out of bounds", a)
}
}
}