forked from cerc-io/plugeth
1203c6a237
* crypto/bn256: full switchover to cloudflare's code * crypto/bn256: only use cloudflare for optimized architectures * crypto/bn256: upstream fallback for non-optimized code * .travis, build: drop support for Go 1.8 (need type aliases) * crypto/bn256/cloudflare: enable curve mul lattice optimization
30 lines
731 B
Go
30 lines
731 B
Go
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")
|
|
}
|
|
}
|