crypto/bn256/cloudflare/lattice_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

package bn256

import (
    "crypto/rand"

    "testing"
)

func TestLatticeReduceCurve(t *testing.T) {
    k, _ := rand.Int(rand.Reader, Order)
    ks := curveLattice.decompose(k)

    if ks[0].BitLen() > 130 || ks[1].BitLen() > 130 {
        t.Fatal("reduction too large")
    } else if ks[0].Sign() < 0 || ks[1].Sign() < 0 {
        t.Fatal("reduction must be positive")
    }
}

func TestLatticeReduceTarget(t *testing.T) {
    k, _ := rand.Int(rand.Reader, Order)
    ks := targetLattice.decompose(k)

    if ks[0].BitLen() > 66 || ks[1].BitLen() > 66 || ks[2].BitLen() > 66 || ks[3].BitLen() > 66 {
        t.Fatal("reduction too large")
    } else if ks[0].Sign() < 0 || ks[1].Sign() < 0 || ks[2].Sign() < 0 || ks[3].Sign() < 0 {
        t.Fatal("reduction must be positive")
    }
}