Add zk verifiers

curves/bls/bls12377/g1.go

@@ -0,0 +1,52 @@
+package bls12377
+
+import (
+	"github.com/consensys/gnark-crypto/ecc/bls12-377/fp"
+	"github.com/consensys/gnark-crypto/ecc/bls12-377/fr"
+	crypto "github.com/multiversx/mx-chain-crypto-go"
+)
+
+type groupG1 struct {
+}
+
+// String returns the string for the group
+func (g1 *groupG1) String() string {
+	return "BLS12-377 G1"
+}
+
+// ScalarLen returns the maximum length of scalars in bytes
+func (g1 *groupG1) ScalarLen() int {
+	return fr.Bytes
+}
+
+// CreateScalar creates a new Scalar initialized with base point on G1
+func (g1 *groupG1) CreateScalar() crypto.Scalar {
+	return NewScalar()
+}
+
+// PointLen returns the max length of point in nb of bytes
+func (g1 *groupG1) PointLen() int {
+	return fp.Bytes
+}
+
+// CreatePoint creates a new point
+func (g1 *groupG1) CreatePoint() crypto.Point {
+	return NewPointG1()
+}
+
+// CreatePointForScalar creates a new point corresponding to the given scalarInt
+func (g1 *groupG1) CreatePointForScalar(scalar crypto.Scalar) crypto.Point {
+	var p crypto.Point
+	var err error
+	p = NewPointG1()
+	p, err = p.Mul(scalar)
+	if err != nil {
+		log.Error("groupG1 CreatePointForScalar", "error", err.Error())
+	}
+	return p
+}
+
+// IsInterfaceNil returns true if there is no value under the interface
+func (g1 *groupG1) IsInterfaceNil() bool {
+	return g1 == nil
+}

curves/bls/bls12377/g1_test.go

@@ -0,0 +1,160 @@
+package bls12377
+
+import (
+	gnark "github.com/consensys/gnark-crypto/ecc/bls12-377"
+	"github.com/consensys/gnark-crypto/ecc/bls12-377/fr"
+	"github.com/stretchr/testify/require"
+	"math/big"
+	"testing"
+)
+
+func TestGroupG1_String(t *testing.T) {
+	t.Parallel()
+
+	grG1 := &groupG1{}
+
+	str := grG1.String()
+	require.Equal(t, "BLS12-377 G1", str)
+}
+
+func TestGroupG1_ScalarLen(t *testing.T) {
+	t.Parallel()
+
+	grG1 := &groupG1{}
+
+	x := grG1.ScalarLen()
+	require.Equal(t, fr.Bytes, x)
+}
+
+func TestGroupG1_PointLen(t *testing.T) {
+	t.Parallel()
+
+	grG1 := &groupG1{}
+
+	x := grG1.PointLen()
+	require.Equal(t, 48, x)
+}
+
+func TestGroupG1_CreatePoint(t *testing.T) {
+	t.Parallel()
+
+	grG1 := &groupG1{}
+
+	g1Gen, _, _, _ := gnark.Generators()
+	point := &PointG1{
+		G1: &g1Gen,
+	}
+
+	x := grG1.CreatePoint()
+	require.NotNil(t, x)
+	bls12381Point, ok := x.GetUnderlyingObj().(*gnark.G1Jac)
+	require.True(t, ok)
+	require.True(t, bls12381Point.IsOnCurve())
+	require.Equal(t, point.G1, bls12381Point)
+}
+
+func TestGroupG1_CreateScalar(t *testing.T) {
+	t.Parallel()
+
+	grG1 := &groupG1{}
+
+	sc := grG1.CreateScalar()
+	require.NotNil(t, sc)
+
+	bls12381Scalar, ok := sc.GetUnderlyingObj().(*fr.Element)
+	require.True(t, ok)
+	require.False(t, bls12381Scalar.IsZero())
+	require.False(t, bls12381Scalar.IsOne())
+}
+
+func TestGroupG1_CreatePointForScalar(t *testing.T) {
+	t.Parallel()
+
+	grG1 := &groupG1{}
+
+	scalar := grG1.CreateScalar()
+	bls12381Scalar, ok := scalar.GetUnderlyingObj().(*fr.Element)
+	require.True(t, ok)
+	require.False(t, bls12381Scalar.IsZero())
+	require.False(t, bls12381Scalar.IsOne())
+
+	pG1 := grG1.CreatePointForScalar(scalar)
+	require.NotNil(t, pG1)
+
+	bls12381PointG1, ok := pG1.GetUnderlyingObj().(*gnark.G1Jac)
+	require.True(t, ok)
+	require.True(t, bls12381PointG1.IsOnCurve())
+
+	bG1 := NewPointG1().G1
+	var scalarBigInt big.Int
+	bls12381Scalar.BigInt(&scalarBigInt)
+	computedG1 := bG1.ScalarMultiplication(bG1, &scalarBigInt)
+
+	require.True(t, bls12381PointG1.Equal(computedG1))
+}
+
+func TestGroupG1_CreatePointForScalarZero(t *testing.T) {
+	t.Parallel()
+
+	grG1 := &groupG1{}
+
+	scalar := grG1.CreateScalar()
+	scalar.SetInt64(0)
+	bls12381Scalar, ok := scalar.GetUnderlyingObj().(*fr.Element)
+	require.True(t, ok)
+	require.True(t, bls12381Scalar.IsZero())
+
+	pG1 := grG1.CreatePointForScalar(scalar)
+	require.NotNil(t, pG1)
+
+	bls12381PointG1, ok := pG1.GetUnderlyingObj().(*gnark.G1Jac)
+	require.True(t, ok)
+	require.True(t, bls12381PointG1.Z.IsZero())
+	require.True(t, bls12381PointG1.IsOnCurve())
+
+	bG1 := NewPointG1().G1
+	var scalarBigInt big.Int
+	bls12381Scalar.BigInt(&scalarBigInt)
+	computedG1 := bG1.ScalarMultiplication(bG1, &scalarBigInt)
+
+	require.True(t, bls12381PointG1.Equal(computedG1))
+
+}
+
+func TestGroupG1_CreatePointForScalarOne(t *testing.T) {
+	t.Parallel()
+
+	grG1 := &groupG1{}
+
+	scalar := grG1.CreateScalar()
+	scalar.SetInt64(1)
+	bls12381Scalar, ok := scalar.GetUnderlyingObj().(*fr.Element)
+	require.True(t, ok)
+	require.True(t, bls12381Scalar.IsOne())
+
+	pG1 := grG1.CreatePointForScalar(scalar)
+	require.NotNil(t, pG1)
+
+	baseG1 := NewPointG1().G1
+	bls12381PointG1, ok := pG1.GetUnderlyingObj().(*gnark.G1Jac)
+	require.True(t, ok)
+	require.True(t, bls12381PointG1.Equal(baseG1))
+}
+
+func TestGroupG1_CreatePointForScalarNil(t *testing.T) {
+	t.Parallel()
+
+	grG1 := &groupG1{}
+	pG1 := grG1.CreatePointForScalar(nil)
+	require.Equal(t, nil, pG1)
+}
+
+func TestGroupG1_IsInterfaceNil(t *testing.T) {
+	t.Parallel()
+
+	var grG1 *groupG1
+
+	require.True(t, grG1.IsInterfaceNil())
+	grG1 = &groupG1{}
+	require.False(t, grG1.IsInterfaceNil())
+}

curves/bls/bls12377/g2.go

@@ -0,0 +1,52 @@
+package bls12377
+
+import (
+	"github.com/consensys/gnark-crypto/ecc/bls12-377/fp"
+	"github.com/consensys/gnark-crypto/ecc/bls12-377/fr"
+	crypto "github.com/multiversx/mx-chain-crypto-go"
+)
+
+type groupG2 struct {
+}
+
+// String returns the string for the group
+func (g2 *groupG2) String() string {
+	return "BLS12-377 G2"
+}
+
+// ScalarLen returns the maximum length of scalars in bytes
+func (g2 *groupG2) ScalarLen() int {
+	return fr.Bytes
+}
+
+// CreateScalar creates a new Scalar initialized with base point on G2
+func (g2 *groupG2) CreateScalar() crypto.Scalar {
+	return NewScalar()
+}
+
+// PointLen returns the max length of point in nb of bytes
+func (g2 *groupG2) PointLen() int {
+	return fp.Bytes * 2
+}
+
+// CreatePoint creates a new point
+func (g2 *groupG2) CreatePoint() crypto.Point {
+	return NewPointG2()
+}
+
+// CreatePointForScalar creates a new point corresponding to the given scalarInt
+func (g2 *groupG2) CreatePointForScalar(scalar crypto.Scalar) crypto.Point {
+	var p crypto.Point
+	var err error
+	p = NewPointG2()
+	p, err = p.Mul(scalar)
+	if err != nil {
+		log.Error("groupG2 CreatePointForScalar", "error", err.Error())
+	}
+	return p
+}
+
+// IsInterfaceNil returns true if there is no value under the interface
+func (g2 *groupG2) IsInterfaceNil() bool {
+	return g2 == nil
+}