github.com/bcskill/bcschain/v3@v3.4.9-beta2/crypto/bls12381/field_element_test.go (about) 1 package bls12381 2 3 import ( 4 "bytes" 5 "crypto/rand" 6 "math/big" 7 "testing" 8 ) 9 10 func TestFieldElementValidation(t *testing.T) { 11 zero := new(fe).zero() 12 if !zero.isValid() { 13 t.Fatal("zero must be valid") 14 } 15 one := new(fe).one() 16 if !one.isValid() { 17 t.Fatal("one must be valid") 18 } 19 if modulus.isValid() { 20 t.Fatal("modulus must be invalid") 21 } 22 n := modulus.big() 23 n.Add(n, big.NewInt(1)) 24 if new(fe).setBig(n).isValid() { 25 t.Fatal("number greater than modulus must be invalid") 26 } 27 } 28 29 func TestFieldElementEquality(t *testing.T) { 30 // fe 31 zero := new(fe).zero() 32 if !zero.equal(zero) { 33 t.Fatal("0 == 0") 34 } 35 one := new(fe).one() 36 if !one.equal(one) { 37 t.Fatal("1 == 1") 38 } 39 a, _ := new(fe).rand(rand.Reader) 40 if !a.equal(a) { 41 t.Fatal("a == a") 42 } 43 b := new(fe) 44 add(b, a, one) 45 if a.equal(b) { 46 t.Fatal("a != a + 1") 47 } 48 // fe2 49 zero2 := new(fe2).zero() 50 if !zero2.equal(zero2) { 51 t.Fatal("0 == 0") 52 } 53 one2 := new(fe2).one() 54 if !one2.equal(one2) { 55 t.Fatal("1 == 1") 56 } 57 a2, _ := new(fe2).rand(rand.Reader) 58 if !a2.equal(a2) { 59 t.Fatal("a == a") 60 } 61 b2 := new(fe2) 62 fp2 := newFp2() 63 fp2.add(b2, a2, one2) 64 if a2.equal(b2) { 65 t.Fatal("a != a + 1") 66 } 67 // fe6 68 zero6 := new(fe6).zero() 69 if !zero6.equal(zero6) { 70 t.Fatal("0 == 0") 71 } 72 one6 := new(fe6).one() 73 if !one6.equal(one6) { 74 t.Fatal("1 == 1") 75 } 76 a6, _ := new(fe6).rand(rand.Reader) 77 if !a6.equal(a6) { 78 t.Fatal("a == a") 79 } 80 b6 := new(fe6) 81 fp6 := newFp6(fp2) 82 fp6.add(b6, a6, one6) 83 if a6.equal(b6) { 84 t.Fatal("a != a + 1") 85 } 86 // fe12 87 zero12 := new(fe12).zero() 88 if !zero12.equal(zero12) { 89 t.Fatal("0 == 0") 90 } 91 one12 := new(fe12).one() 92 if !one12.equal(one12) { 93 t.Fatal("1 == 1") 94 } 95 a12, _ := new(fe12).rand(rand.Reader) 96 if !a12.equal(a12) { 97 t.Fatal("a == a") 98 } 99 b12 := new(fe12) 100 fp12 := newFp12(fp6) 101 fp12.add(b12, a12, one12) 102 if a12.equal(b12) { 103 t.Fatal("a != a + 1") 104 } 105 106 } 107 108 func TestFieldElementHelpers(t *testing.T) { 109 // fe 110 zero := new(fe).zero() 111 if !zero.isZero() { 112 t.Fatal("'zero' is not zero") 113 } 114 one := new(fe).one() 115 if !one.isOne() { 116 t.Fatal("'one' is not one") 117 } 118 odd := new(fe).setBig(big.NewInt(1)) 119 if !odd.isOdd() { 120 t.Fatal("1 must be odd") 121 } 122 if odd.isEven() { 123 t.Fatal("1 must not be even") 124 } 125 even := new(fe).setBig(big.NewInt(2)) 126 if !even.isEven() { 127 t.Fatal("2 must be even") 128 } 129 if even.isOdd() { 130 t.Fatal("2 must not be odd") 131 } 132 // fe2 133 zero2 := new(fe2).zero() 134 if !zero2.isZero() { 135 t.Fatal("'zero' is not zero, 2") 136 } 137 one2 := new(fe2).one() 138 if !one2.isOne() { 139 t.Fatal("'one' is not one, 2") 140 } 141 // fe6 142 zero6 := new(fe6).zero() 143 if !zero6.isZero() { 144 t.Fatal("'zero' is not zero, 6") 145 } 146 one6 := new(fe6).one() 147 if !one6.isOne() { 148 t.Fatal("'one' is not one, 6") 149 } 150 // fe12 151 zero12 := new(fe12).zero() 152 if !zero12.isZero() { 153 t.Fatal("'zero' is not zero, 12") 154 } 155 one12 := new(fe12).one() 156 if !one12.isOne() { 157 t.Fatal("'one' is not one, 12") 158 } 159 } 160 161 func TestFieldElementSerialization(t *testing.T) { 162 t.Run("zero", func(t *testing.T) { 163 in := make([]byte, 48) 164 fe := new(fe).setBytes(in) 165 if !fe.isZero() { 166 t.Fatal("bad serialization") 167 } 168 if !bytes.Equal(in, fe.bytes()) { 169 t.Fatal("bad serialization") 170 } 171 }) 172 t.Run("bytes", func(t *testing.T) { 173 for i := 0; i < fuz; i++ { 174 a, _ := new(fe).rand(rand.Reader) 175 b := new(fe).setBytes(a.bytes()) 176 if !a.equal(b) { 177 t.Fatal("bad serialization") 178 } 179 } 180 }) 181 t.Run("big", func(t *testing.T) { 182 for i := 0; i < fuz; i++ { 183 a, _ := new(fe).rand(rand.Reader) 184 b := new(fe).setBig(a.big()) 185 if !a.equal(b) { 186 t.Fatal("bad encoding or decoding") 187 } 188 } 189 }) 190 t.Run("string", func(t *testing.T) { 191 for i := 0; i < fuz; i++ { 192 a, _ := new(fe).rand(rand.Reader) 193 b, err := new(fe).setString(a.string()) 194 if err != nil { 195 t.Fatal(err) 196 } 197 if !a.equal(b) { 198 t.Fatal("bad encoding or decoding") 199 } 200 } 201 }) 202 } 203 204 func TestFieldElementByteInputs(t *testing.T) { 205 zero := new(fe).zero() 206 in := make([]byte, 0) 207 a := new(fe).setBytes(in) 208 if !a.equal(zero) { 209 t.Fatal("bad serialization") 210 } 211 in = make([]byte, 48) 212 a = new(fe).setBytes(in) 213 if !a.equal(zero) { 214 t.Fatal("bad serialization") 215 } 216 in = make([]byte, 64) 217 a = new(fe).setBytes(in) 218 if !a.equal(zero) { 219 t.Fatal("bad serialization") 220 } 221 in = make([]byte, 49) 222 in[47] = 1 223 normalOne := &fe{1, 0, 0, 0, 0, 0} 224 a = new(fe).setBytes(in) 225 if !a.equal(normalOne) { 226 t.Fatal("bad serialization") 227 } 228 } 229 230 func TestFieldElementCopy(t *testing.T) { 231 a, _ := new(fe).rand(rand.Reader) 232 b := new(fe).set(a) 233 if !a.equal(b) { 234 t.Fatal("bad copy, 1") 235 } 236 a2, _ := new(fe2).rand(rand.Reader) 237 b2 := new(fe2).set(a2) 238 if !a2.equal(b2) { 239 t.Fatal("bad copy, 2") 240 } 241 a6, _ := new(fe6).rand(rand.Reader) 242 b6 := new(fe6).set(a6) 243 if !a6.equal(b6) { 244 t.Fatal("bad copy, 6") 245 } 246 a12, _ := new(fe12).rand(rand.Reader) 247 b12 := new(fe12).set(a12) 248 if !a12.equal(b12) { 249 t.Fatal("bad copy, 12") 250 } 251 }