github.com/nova-foundation/go-ethereum@v1.0.1/crypto/bls12381/fp6.go (about) 1 // Copyright 2020 The go-ethereum Authors 2 // This file is part of the go-ethereum library. 3 // 4 // The go-ethereum library is free software: you can redistribute it and/or modify 5 // it under the terms of the GNU Lesser General Public License as published by 6 // the Free Software Foundation, either version 3 of the License, or 7 // (at your option) any later version. 8 // 9 // The go-ethereum library is distributed in the hope that it will be useful, 10 // but WITHOUT ANY WARRANTY; without even the implied warranty of 11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 // GNU Lesser General Public License for more details. 13 // 14 // You should have received a copy of the GNU Lesser General Public License 15 // along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>. 16 17 package bls12381 18 19 import ( 20 "errors" 21 "math/big" 22 ) 23 24 type fp6Temp struct { 25 t [6]*fe2 26 } 27 28 type fp6 struct { 29 fp2 *fp2 30 fp6Temp 31 } 32 33 func newFp6Temp() fp6Temp { 34 t := [6]*fe2{} 35 for i := 0; i < len(t); i++ { 36 t[i] = &fe2{} 37 } 38 return fp6Temp{t} 39 } 40 41 func newFp6(f *fp2) *fp6 { 42 t := newFp6Temp() 43 if f == nil { 44 return &fp6{newFp2(), t} 45 } 46 return &fp6{f, t} 47 } 48 49 func (e *fp6) fromBytes(b []byte) (*fe6, error) { 50 if len(b) < 288 { 51 return nil, errors.New("input string should be larger than 288 bytes") 52 } 53 fp2 := e.fp2 54 u2, err := fp2.fromBytes(b[:96]) 55 if err != nil { 56 return nil, err 57 } 58 u1, err := fp2.fromBytes(b[96:192]) 59 if err != nil { 60 return nil, err 61 } 62 u0, err := fp2.fromBytes(b[192:]) 63 if err != nil { 64 return nil, err 65 } 66 return &fe6{*u0, *u1, *u2}, nil 67 } 68 69 func (e *fp6) toBytes(a *fe6) []byte { 70 fp2 := e.fp2 71 out := make([]byte, 288) 72 copy(out[:96], fp2.toBytes(&a[2])) 73 copy(out[96:192], fp2.toBytes(&a[1])) 74 copy(out[192:], fp2.toBytes(&a[0])) 75 return out 76 } 77 78 func (e *fp6) new() *fe6 { 79 return new(fe6) 80 } 81 82 func (e *fp6) zero() *fe6 { 83 return new(fe6) 84 } 85 86 func (e *fp6) one() *fe6 { 87 return new(fe6).one() 88 } 89 90 func (e *fp6) add(c, a, b *fe6) { 91 fp2 := e.fp2 92 fp2.add(&c[0], &a[0], &b[0]) 93 fp2.add(&c[1], &a[1], &b[1]) 94 fp2.add(&c[2], &a[2], &b[2]) 95 } 96 97 func (e *fp6) addAssign(a, b *fe6) { 98 fp2 := e.fp2 99 fp2.addAssign(&a[0], &b[0]) 100 fp2.addAssign(&a[1], &b[1]) 101 fp2.addAssign(&a[2], &b[2]) 102 } 103 104 func (e *fp6) double(c, a *fe6) { 105 fp2 := e.fp2 106 fp2.double(&c[0], &a[0]) 107 fp2.double(&c[1], &a[1]) 108 fp2.double(&c[2], &a[2]) 109 } 110 111 func (e *fp6) doubleAssign(a *fe6) { 112 fp2 := e.fp2 113 fp2.doubleAssign(&a[0]) 114 fp2.doubleAssign(&a[1]) 115 fp2.doubleAssign(&a[2]) 116 } 117 118 func (e *fp6) sub(c, a, b *fe6) { 119 fp2 := e.fp2 120 fp2.sub(&c[0], &a[0], &b[0]) 121 fp2.sub(&c[1], &a[1], &b[1]) 122 fp2.sub(&c[2], &a[2], &b[2]) 123 } 124 125 func (e *fp6) subAssign(a, b *fe6) { 126 fp2 := e.fp2 127 fp2.subAssign(&a[0], &b[0]) 128 fp2.subAssign(&a[1], &b[1]) 129 fp2.subAssign(&a[2], &b[2]) 130 } 131 132 func (e *fp6) neg(c, a *fe6) { 133 fp2 := e.fp2 134 fp2.neg(&c[0], &a[0]) 135 fp2.neg(&c[1], &a[1]) 136 fp2.neg(&c[2], &a[2]) 137 } 138 139 func (e *fp6) mul(c, a, b *fe6) { 140 fp2, t := e.fp2, e.t 141 fp2.mul(t[0], &a[0], &b[0]) 142 fp2.mul(t[1], &a[1], &b[1]) 143 fp2.mul(t[2], &a[2], &b[2]) 144 fp2.add(t[3], &a[1], &a[2]) 145 fp2.add(t[4], &b[1], &b[2]) 146 fp2.mulAssign(t[3], t[4]) 147 fp2.add(t[4], t[1], t[2]) 148 fp2.subAssign(t[3], t[4]) 149 fp2.mulByNonResidue(t[3], t[3]) 150 fp2.add(t[5], t[0], t[3]) 151 fp2.add(t[3], &a[0], &a[1]) 152 fp2.add(t[4], &b[0], &b[1]) 153 fp2.mulAssign(t[3], t[4]) 154 fp2.add(t[4], t[0], t[1]) 155 fp2.subAssign(t[3], t[4]) 156 fp2.mulByNonResidue(t[4], t[2]) 157 fp2.add(&c[1], t[3], t[4]) 158 fp2.add(t[3], &a[0], &a[2]) 159 fp2.add(t[4], &b[0], &b[2]) 160 fp2.mulAssign(t[3], t[4]) 161 fp2.add(t[4], t[0], t[2]) 162 fp2.subAssign(t[3], t[4]) 163 fp2.add(&c[2], t[1], t[3]) 164 c[0].set(t[5]) 165 } 166 167 func (e *fp6) mulAssign(a, b *fe6) { 168 fp2, t := e.fp2, e.t 169 fp2.mul(t[0], &a[0], &b[0]) 170 fp2.mul(t[1], &a[1], &b[1]) 171 fp2.mul(t[2], &a[2], &b[2]) 172 fp2.add(t[3], &a[1], &a[2]) 173 fp2.add(t[4], &b[1], &b[2]) 174 fp2.mulAssign(t[3], t[4]) 175 fp2.add(t[4], t[1], t[2]) 176 fp2.subAssign(t[3], t[4]) 177 fp2.mulByNonResidue(t[3], t[3]) 178 fp2.add(t[5], t[0], t[3]) 179 fp2.add(t[3], &a[0], &a[1]) 180 fp2.add(t[4], &b[0], &b[1]) 181 fp2.mulAssign(t[3], t[4]) 182 fp2.add(t[4], t[0], t[1]) 183 fp2.subAssign(t[3], t[4]) 184 fp2.mulByNonResidue(t[4], t[2]) 185 fp2.add(&a[1], t[3], t[4]) 186 fp2.add(t[3], &a[0], &a[2]) 187 fp2.add(t[4], &b[0], &b[2]) 188 fp2.mulAssign(t[3], t[4]) 189 fp2.add(t[4], t[0], t[2]) 190 fp2.subAssign(t[3], t[4]) 191 fp2.add(&a[2], t[1], t[3]) 192 a[0].set(t[5]) 193 } 194 195 func (e *fp6) square(c, a *fe6) { 196 fp2, t := e.fp2, e.t 197 fp2.square(t[0], &a[0]) 198 fp2.mul(t[1], &a[0], &a[1]) 199 fp2.doubleAssign(t[1]) 200 fp2.sub(t[2], &a[0], &a[1]) 201 fp2.addAssign(t[2], &a[2]) 202 fp2.squareAssign(t[2]) 203 fp2.mul(t[3], &a[1], &a[2]) 204 fp2.doubleAssign(t[3]) 205 fp2.square(t[4], &a[2]) 206 fp2.mulByNonResidue(t[5], t[3]) 207 fp2.add(&c[0], t[0], t[5]) 208 fp2.mulByNonResidue(t[5], t[4]) 209 fp2.add(&c[1], t[1], t[5]) 210 fp2.addAssign(t[1], t[2]) 211 fp2.addAssign(t[1], t[3]) 212 fp2.addAssign(t[0], t[4]) 213 fp2.sub(&c[2], t[1], t[0]) 214 } 215 216 func (e *fp6) mulBy01Assign(a *fe6, b0, b1 *fe2) { 217 fp2, t := e.fp2, e.t 218 fp2.mul(t[0], &a[0], b0) 219 fp2.mul(t[1], &a[1], b1) 220 fp2.add(t[5], &a[1], &a[2]) 221 fp2.mul(t[2], b1, t[5]) 222 fp2.subAssign(t[2], t[1]) 223 fp2.mulByNonResidue(t[2], t[2]) 224 fp2.add(t[5], &a[0], &a[2]) 225 fp2.mul(t[3], b0, t[5]) 226 fp2.subAssign(t[3], t[0]) 227 fp2.add(&a[2], t[3], t[1]) 228 fp2.add(t[4], b0, b1) 229 fp2.add(t[5], &a[0], &a[1]) 230 fp2.mulAssign(t[4], t[5]) 231 fp2.subAssign(t[4], t[0]) 232 fp2.sub(&a[1], t[4], t[1]) 233 fp2.add(&a[0], t[2], t[0]) 234 } 235 236 func (e *fp6) mulBy01(c, a *fe6, b0, b1 *fe2) { 237 fp2, t := e.fp2, e.t 238 fp2.mul(t[0], &a[0], b0) 239 fp2.mul(t[1], &a[1], b1) 240 fp2.add(t[2], &a[1], &a[2]) 241 fp2.mulAssign(t[2], b1) 242 fp2.subAssign(t[2], t[1]) 243 fp2.mulByNonResidue(t[2], t[2]) 244 fp2.add(t[3], &a[0], &a[2]) 245 fp2.mulAssign(t[3], b0) 246 fp2.subAssign(t[3], t[0]) 247 fp2.add(&c[2], t[3], t[1]) 248 fp2.add(t[4], b0, b1) 249 fp2.add(t[3], &a[0], &a[1]) 250 fp2.mulAssign(t[4], t[3]) 251 fp2.subAssign(t[4], t[0]) 252 fp2.sub(&c[1], t[4], t[1]) 253 fp2.add(&c[0], t[2], t[0]) 254 } 255 256 func (e *fp6) mulBy1(c, a *fe6, b1 *fe2) { 257 fp2, t := e.fp2, e.t 258 fp2.mul(t[0], &a[2], b1) 259 fp2.mul(&c[2], &a[1], b1) 260 fp2.mul(&c[1], &a[0], b1) 261 fp2.mulByNonResidue(&c[0], t[0]) 262 } 263 264 func (e *fp6) mulByNonResidue(c, a *fe6) { 265 fp2, t := e.fp2, e.t 266 t[0].set(&a[0]) 267 fp2.mulByNonResidue(&c[0], &a[2]) 268 c[2].set(&a[1]) 269 c[1].set(t[0]) 270 } 271 272 func (e *fp6) mulByBaseField(c, a *fe6, b *fe2) { 273 fp2 := e.fp2 274 fp2.mul(&c[0], &a[0], b) 275 fp2.mul(&c[1], &a[1], b) 276 fp2.mul(&c[2], &a[2], b) 277 } 278 279 func (e *fp6) exp(c, a *fe6, s *big.Int) { 280 z := e.one() 281 for i := s.BitLen() - 1; i >= 0; i-- { 282 e.square(z, z) 283 if s.Bit(i) == 1 { 284 e.mul(z, z, a) 285 } 286 } 287 c.set(z) 288 } 289 290 func (e *fp6) inverse(c, a *fe6) { 291 fp2, t := e.fp2, e.t 292 fp2.square(t[0], &a[0]) 293 fp2.mul(t[1], &a[1], &a[2]) 294 fp2.mulByNonResidue(t[1], t[1]) 295 fp2.subAssign(t[0], t[1]) 296 fp2.square(t[1], &a[1]) 297 fp2.mul(t[2], &a[0], &a[2]) 298 fp2.subAssign(t[1], t[2]) 299 fp2.square(t[2], &a[2]) 300 fp2.mulByNonResidue(t[2], t[2]) 301 fp2.mul(t[3], &a[0], &a[1]) 302 fp2.subAssign(t[2], t[3]) 303 fp2.mul(t[3], &a[2], t[2]) 304 fp2.mul(t[4], &a[1], t[1]) 305 fp2.addAssign(t[3], t[4]) 306 fp2.mulByNonResidue(t[3], t[3]) 307 fp2.mul(t[4], &a[0], t[0]) 308 fp2.addAssign(t[3], t[4]) 309 fp2.inverse(t[3], t[3]) 310 fp2.mul(&c[0], t[0], t[3]) 311 fp2.mul(&c[1], t[2], t[3]) 312 fp2.mul(&c[2], t[1], t[3]) 313 } 314 315 func (e *fp6) frobeniusMap(c, a *fe6, power uint) { 316 fp2 := e.fp2 317 fp2.frobeniusMap(&c[0], &a[0], power) 318 fp2.frobeniusMap(&c[1], &a[1], power) 319 fp2.frobeniusMap(&c[2], &a[2], power) 320 switch power % 6 { 321 case 0: 322 return 323 case 3: 324 neg(&c[0][0], &a[1][1]) 325 c[1][1].set(&a[1][0]) 326 fp2.neg(&a[2], &a[2]) 327 default: 328 fp2.mul(&c[1], &c[1], &frobeniusCoeffs61[power%6]) 329 fp2.mul(&c[2], &c[2], &frobeniusCoeffs62[power%6]) 330 } 331 } 332 333 func (e *fp6) frobeniusMapAssign(a *fe6, power uint) { 334 fp2 := e.fp2 335 fp2.frobeniusMapAssign(&a[0], power) 336 fp2.frobeniusMapAssign(&a[1], power) 337 fp2.frobeniusMapAssign(&a[2], power) 338 t := e.t 339 switch power % 6 { 340 case 0: 341 return 342 case 3: 343 neg(&t[0][0], &a[1][1]) 344 a[1][1].set(&a[1][0]) 345 a[1][0].set(&t[0][0]) 346 fp2.neg(&a[2], &a[2]) 347 default: 348 fp2.mulAssign(&a[1], &frobeniusCoeffs61[power%6]) 349 fp2.mulAssign(&a[2], &frobeniusCoeffs62[power%6]) 350 } 351 }