feat: disable agg proof and use compressed

succinctlabs · Feb 3, 2025 · 5a6c943 · 5a6c943
1 parent 44c7c3f
commit 5a6c943
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 7 deletions.
diff --git a/docker-compose.yml b/docker-compose.yml
@@ -25,3 +25,9 @@ services:
     # The metrics port is the default port for the OP Proposer.
     ports:
       - "7300:7300"
+      - "8545:8545"
+
+networks:
+    default:
+      name: kt-op
+      external: true
diff --git a/proposer/op/proposer/driver.go b/proposer/op/proposer/driver.go
@@ -665,12 +665,12 @@ func (l *L2OutputSubmitter) loopL2OO(ctx context.Context) {
 
 			// 4) Determine if there is a continguous chain of span proofs starting from the latest block on the L2OO contract.
 			// If there is, queue an aggregate proof for all of the span proofs.
-			l.Log.Info("Stage 4: Deriving Agg Proofs...")
-			err = l.DeriveAggProofs(ctx)
-			if err != nil {
-				l.Log.Error("failed to generate pending agg proofs", "err", err)
-				continue
-			}
+			// l.Log.Info("Stage 4: Deriving Agg Proofs...")
+			// err = l.DeriveAggProofs(ctx)
+			// if err != nil {
+			// 	l.Log.Error("failed to generate pending agg proofs", "err", err)
+			// 	continue
+			// }
 
 			// 5) Request all unrequested proofs from the prover network.
 			// Any DB entry with status = "UNREQ" means it's queued up and ready.

diff --git a/proposer/succinct/bin/server.rs b/proposer/succinct/bin/server.rs
@@ -313,7 +313,7 @@ async fn request_agg_proof(
 
     let proof_id = match prover
         .prove(&state.agg_pk, &stdin)
-        .groth16()
+        .compressed()
         .strategy(state.agg_proof_strategy)
         .request_async()
         .await