github.com/aigarnetwork/aigar@v0.0.0-20191115204914-d59a6eb70f8e/crypto/bn256/cloudflare/lattice_test.go (about)

     1  //  Copyright 2018 The go-ethereum Authors
     2  //  Copyright 2019 The go-aigar Authors
     3  //  This file is part of the go-aigar library.
     4  //
     5  //  The go-aigar library is free software: you can redistribute it and/or modify
     6  //  it under the terms of the GNU Lesser General Public License as published by
     7  //  the Free Software Foundation, either version 3 of the License, or
     8  //  (at your option) any later version.
     9  //
    10  //  The go-aigar library is distributed in the hope that it will be useful,
    11  //  but WITHOUT ANY WARRANTY; without even the implied warranty of
    12  //  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
    13  //  GNU Lesser General Public License for more details.
    14  //
    15  //  You should have received a copy of the GNU Lesser General Public License
    16  //  along with the go-aigar library. If not, see <http://www.gnu.org/licenses/>.
    17  
    18  package bn256
    19  
    20  import (
    21  	"crypto/rand"
    22  
    23  	"testing"
    24  )
    25  
    26  func TestLatticeReduceCurve(t *testing.T) {
    27  	k, _ := rand.Int(rand.Reader, Order)
    28  	ks := curveLattice.decompose(k)
    29  
    30  	if ks[0].BitLen() > 130 || ks[1].BitLen() > 130 {
    31  		t.Fatal("reduction too large")
    32  	} else if ks[0].Sign() < 0 || ks[1].Sign() < 0 {
    33  		t.Fatal("reduction must be positive")
    34  	}
    35  }
    36  
    37  func TestLatticeReduceTarget(t *testing.T) {
    38  	k, _ := rand.Int(rand.Reader, Order)
    39  	ks := targetLattice.decompose(k)
    40  
    41  	if ks[0].BitLen() > 66 || ks[1].BitLen() > 66 || ks[2].BitLen() > 66 || ks[3].BitLen() > 66 {
    42  		t.Fatal("reduction too large")
    43  	} else if ks[0].Sign() < 0 || ks[1].Sign() < 0 || ks[2].Sign() < 0 || ks[3].Sign() < 0 {
    44  		t.Fatal("reduction must be positive")
    45  	}
    46  }