* crypto: add bls12-381 elliptic curve wrapper * params: add bls12-381 precompile gas parameters * core/vm: add bls12-381 precompiles * core/vm: add bls12-381 precompile tests * go.mod, go.sum: use latest bls12381 lib * core/vm: move point encode/decode functions to base library * crypto/bls12381: introduce bls12-381 library init function * crypto/bls12381: import bls12381 elliptic curve implementation * go.mod, go.sum: remove bls12-381 library * remove unsued frobenious coeffs supress warning for inp that used in asm * add mappings tests for zero inputs fix swu g2 minus z inverse constant * crypto/bls12381: fix typo * crypto/bls12381: better comments for bls12381 constants * crypto/bls12381: swu, use single conditional for e2 * crypto/bls12381: utils, delete empty line * crypto/bls12381: utils, use FromHex for string to big * crypto/bls12381: g1, g2, strict length check for FromBytes * crypto/bls12381: field_element, comparision changes * crypto/bls12381: change swu, isogeny constants with hex values * core/vm: fix point multiplication comments * core/vm: fix multiexp gas calculation and lookup for g1 and g2 * core/vm: simpler imput length check for multiexp and pairing precompiles * core/vm: rm empty multiexp result declarations * crypto/bls12381: remove modulus type definition * crypto/bls12381: use proper init function * crypto/bls12381: get rid of new lines at fatal desciprtions * crypto/bls12-381: fix no-adx assembly multiplication * crypto/bls12-381: remove old config function * crypto/bls12381: update multiplication backend this commit changes mul backend to 6limb eip1962 backend mul assign operations are dropped * core/vm/contracts_tests: externalize test vectors for precompiles * core/vm/contracts_test: externalize failure-cases for precompiles * core/vm: linting * go.mod: tiny up sum file * core/vm: fix goimports linter issues * crypto/bls12381: build tags for plain ASM or ADX implementation Co-authored-by: Martin Holst Swende <martin@swende.se> Co-authored-by: Péter Szilágyi <peterke@gmail.com>
		
			
				
	
	
		
			168 lines
		
	
	
		
			3.0 KiB
		
	
	
	
		
			Go
		
	
	
	
	
	
			
		
		
	
	
			168 lines
		
	
	
		
			3.0 KiB
		
	
	
	
		
			Go
		
	
	
	
	
	
// Copyright 2020 The go-ethereum Authors
 | 
						|
// This file is part of the go-ethereum library.
 | 
						|
//
 | 
						|
// The go-ethereum library is free software: you can redistribute it and/or modify
 | 
						|
// it under the terms of the GNU Lesser General Public License as published by
 | 
						|
// the Free Software Foundation, either version 3 of the License, or
 | 
						|
// (at your option) any later version.
 | 
						|
//
 | 
						|
// The go-ethereum library is distributed in the hope that it will be useful,
 | 
						|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
 | 
						|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 | 
						|
// GNU Lesser General Public License for more details.
 | 
						|
//
 | 
						|
// You should have received a copy of the GNU Lesser General Public License
 | 
						|
// along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
 | 
						|
 | 
						|
package bls12381
 | 
						|
 | 
						|
import (
 | 
						|
	"errors"
 | 
						|
	"math/big"
 | 
						|
)
 | 
						|
 | 
						|
func fromBytes(in []byte) (*fe, error) {
 | 
						|
	fe := &fe{}
 | 
						|
	if len(in) != 48 {
 | 
						|
		return nil, errors.New("input string should be equal 48 bytes")
 | 
						|
	}
 | 
						|
	fe.setBytes(in)
 | 
						|
	if !fe.isValid() {
 | 
						|
		return nil, errors.New("must be less than modulus")
 | 
						|
	}
 | 
						|
	toMont(fe, fe)
 | 
						|
	return fe, nil
 | 
						|
}
 | 
						|
 | 
						|
func fromBig(in *big.Int) (*fe, error) {
 | 
						|
	fe := new(fe).setBig(in)
 | 
						|
	if !fe.isValid() {
 | 
						|
		return nil, errors.New("invalid input string")
 | 
						|
	}
 | 
						|
	toMont(fe, fe)
 | 
						|
	return fe, nil
 | 
						|
}
 | 
						|
 | 
						|
func fromString(in string) (*fe, error) {
 | 
						|
	fe, err := new(fe).setString(in)
 | 
						|
	if err != nil {
 | 
						|
		return nil, err
 | 
						|
	}
 | 
						|
	if !fe.isValid() {
 | 
						|
		return nil, errors.New("invalid input string")
 | 
						|
	}
 | 
						|
	toMont(fe, fe)
 | 
						|
	return fe, nil
 | 
						|
}
 | 
						|
 | 
						|
func toBytes(e *fe) []byte {
 | 
						|
	e2 := new(fe)
 | 
						|
	fromMont(e2, e)
 | 
						|
	return e2.bytes()
 | 
						|
}
 | 
						|
 | 
						|
func toBig(e *fe) *big.Int {
 | 
						|
	e2 := new(fe)
 | 
						|
	fromMont(e2, e)
 | 
						|
	return e2.big()
 | 
						|
}
 | 
						|
 | 
						|
func toString(e *fe) (s string) {
 | 
						|
	e2 := new(fe)
 | 
						|
	fromMont(e2, e)
 | 
						|
	return e2.string()
 | 
						|
}
 | 
						|
 | 
						|
func toMont(c, a *fe) {
 | 
						|
	mul(c, a, r2)
 | 
						|
}
 | 
						|
 | 
						|
func fromMont(c, a *fe) {
 | 
						|
	mul(c, a, &fe{1})
 | 
						|
}
 | 
						|
 | 
						|
func exp(c, a *fe, e *big.Int) {
 | 
						|
	z := new(fe).set(r1)
 | 
						|
	for i := e.BitLen(); i >= 0; i-- {
 | 
						|
		mul(z, z, z)
 | 
						|
		if e.Bit(i) == 1 {
 | 
						|
			mul(z, z, a)
 | 
						|
		}
 | 
						|
	}
 | 
						|
	c.set(z)
 | 
						|
}
 | 
						|
 | 
						|
func inverse(inv, e *fe) {
 | 
						|
	if e.isZero() {
 | 
						|
		inv.zero()
 | 
						|
		return
 | 
						|
	}
 | 
						|
	u := new(fe).set(&modulus)
 | 
						|
	v := new(fe).set(e)
 | 
						|
	s := &fe{1}
 | 
						|
	r := &fe{0}
 | 
						|
	var k int
 | 
						|
	var z uint64
 | 
						|
	var found = false
 | 
						|
	// Phase 1
 | 
						|
	for i := 0; i < 768; i++ {
 | 
						|
		if v.isZero() {
 | 
						|
			found = true
 | 
						|
			break
 | 
						|
		}
 | 
						|
		if u.isEven() {
 | 
						|
			u.div2(0)
 | 
						|
			s.mul2()
 | 
						|
		} else if v.isEven() {
 | 
						|
			v.div2(0)
 | 
						|
			z += r.mul2()
 | 
						|
		} else if u.cmp(v) == 1 {
 | 
						|
			lsubAssign(u, v)
 | 
						|
			u.div2(0)
 | 
						|
			laddAssign(r, s)
 | 
						|
			s.mul2()
 | 
						|
		} else {
 | 
						|
			lsubAssign(v, u)
 | 
						|
			v.div2(0)
 | 
						|
			laddAssign(s, r)
 | 
						|
			z += r.mul2()
 | 
						|
		}
 | 
						|
		k += 1
 | 
						|
	}
 | 
						|
 | 
						|
	if !found {
 | 
						|
		inv.zero()
 | 
						|
		return
 | 
						|
	}
 | 
						|
 | 
						|
	if k < 381 || k > 381+384 {
 | 
						|
		inv.zero()
 | 
						|
		return
 | 
						|
	}
 | 
						|
 | 
						|
	if r.cmp(&modulus) != -1 || z > 0 {
 | 
						|
		lsubAssign(r, &modulus)
 | 
						|
	}
 | 
						|
	u.set(&modulus)
 | 
						|
	lsubAssign(u, r)
 | 
						|
 | 
						|
	// Phase 2
 | 
						|
	for i := k; i < 384*2; i++ {
 | 
						|
		double(u, u)
 | 
						|
	}
 | 
						|
	inv.set(u)
 | 
						|
}
 | 
						|
 | 
						|
func sqrt(c, a *fe) bool {
 | 
						|
	u, v := new(fe).set(a), new(fe)
 | 
						|
	exp(c, a, pPlus1Over4)
 | 
						|
	square(v, c)
 | 
						|
	return u.equal(v)
 | 
						|
}
 | 
						|
 | 
						|
func isQuadraticNonResidue(elem *fe) bool {
 | 
						|
	result := new(fe)
 | 
						|
	exp(result, elem, pMinus1Over2)
 | 
						|
	return !result.isOne()
 | 
						|
}
 |