minor - upload a small enough circuit for recursion test

Author: tonyfloatersu

.github/workflows/ci.yml

@@ -66,6 +66,8 @@ jobs:
           cargo test --all-features --release --workspace
       - name: E2E Test
         run: |
+          cp ./recursion/small_circuit_m31.circ ./data/small_circuit_m31.txt
+          cp ./recursion/small_witness_m31.circ ./data/small_witness_m31.txt
           cd ./recursion
           go test ./... -v
           cd ..

recursion/modules/circuit/eval_test.go

@@ -172,12 +172,12 @@ func TestCircuitLayeredEvaluation(t *testing.T) {
 		},
 		// NOTE(HS) as of 2024/12/11, the compilation process of m31 circuit
 		// takes more than 50GB of RAM, so run with cautious yall...
-		{
-			CircuitPath: "../../../data/circuit_m31.txt",
-			WitnessPath: "../../../data/witness_m31.txt",
-			MPISize:     1,
-			FieldEnum:   fields.ECCM31,
-		},
+		// {
+		// 	CircuitPath: "../../../data/circuit_m31.txt",
+		// 	WitnessPath: "../../../data/witness_m31.txt",
+		// 	MPISize:     1,
+		// 	FieldEnum:   fields.ECCM31,
+		// },
 		{
 			CircuitPath: "../../../data/circuit_gf2.txt",
 			WitnessPath: "../../../data/witness_gf2.txt",

recursion/modules/verifier/verifier_test.go

@@ -3,7 +3,6 @@ package verifier
 import (
 	"ExpanderVerifierCircuit/modules/fields"
 	"math/big"
-	"os"
 	"testing"
 
 	"github.com/PolyhedraZK/ExpanderCompilerCollection/ecgo"
@@ -63,7 +62,4 @@ func TestM31CircuitForRecursionTestSatisfiability(t *testing.T) {
 	for _, check := range circuitChecks {
 		require.True(t, check, "circuit witness check failed ggs")
 	}
-
-	os.WriteFile("../../../data/small_circuit_m31.txt", layeredCircuit.Serialize(), 0o644)
-	os.WriteFile("../../../data/small_witness_m31.txt", m31x16Witnesses.Serialize(), 0o644)
 }