add test and rm required command line for g2

core/encoding/cli.go

@@ -33,7 +33,7 @@ func CLIFlags(envPrefix string) []cli.Flag {
 		cli.StringFlag{
 			Name:     G2PathFlagName,
 			Usage:    "Path to G2 SRS",
-			Required: true,
+			Required: false,
 			EnvVar:   common.PrefixEnvVar(envPrefix, "G2_PATH"),
 		},
 		cli.StringFlag{

pkg/encoding/kzgEncoder/multiframe_test.go

@@ -49,3 +49,45 @@ func TestUniversalVerify(t *testing.T) {
 
 	assert.True(t, group.UniversalVerify(params, samples, numBlob) == nil, "universal batch verification failed\n")
 }
+
+func TestUniversalVerifyWithPowerOf2G2(t *testing.T) {
+	teardownSuite := setupSuite(t)
+	defer teardownSuite(t)
+
+	group, _ := kzgRs.NewKzgEncoderGroup(kzgConfig, true)
+	group.KzgConfig.G2Path = ""
+	params := rs.GetEncodingParams(numSys, numPar, uint64(len(GETTYSBURG_ADDRESS_BYTES)))
+	enc, err := group.NewKzgEncoder(params)
+	require.Nil(t, err)
+
+	numBlob := 5
+	samples := make([]kzgRs.Sample, 0)
+	for z := 0; z < numBlob; z++ {
+		inputFr := rs.ToFrArray(GETTYSBURG_ADDRESS_BYTES)
+
+		commit, _, _, frames, fIndices, err := enc.Encode(inputFr)
+		require.Nil(t, err)
+
+		// create samples
+		for i := 0; i < len(frames); i++ {
+			f := frames[i]
+			j := fIndices[i]
+
+			q, err := rs.GetLeadingCosetIndex(uint64(i), numSys+numPar)
+			require.Nil(t, err)
+
+			assert.Equal(t, j, q, "leading coset inconsistency")
+
+			sample := kzgRs.Sample{
+				Commitment: *commit,
+				Proof:      f.Proof,
+				RowIndex:   z,
+				Coeffs:     f.Coeffs,
+				X:          uint(q),
+			}
+			samples = append(samples, sample)
+		}
+	}
+
+	assert.True(t, group.UniversalVerify(params, samples, numBlob) == nil, "universal batch verification failed\n")
+}