feat: selecting proofs and aggregating working

Author: MarcosNicolau

aggregation_mode/batcher/src/server/http.rs

@@ -43,6 +43,8 @@ impl BatcherServer {
         HttpServer::new(move || {
             App::new()
                 .app_data(Data::new(state.clone()))
+                // Note: this is temporary and should be lowered when we accept proofs via multipart form data instead of json
+                .app_data(web::JsonConfig::default().limit(50 * 1024 * 1024)) // 50mb
                 .route("/nonce/{address}", web::get().to(Self::get_nonce))
                 .route("/proof/merkle", web::get().to(Self::get_proof_merkle_path))
                 .route("/proof/sp1", web::post().to(Self::post_proof_sp1))

aggregation_mode/db/src/types.rs

@@ -20,7 +20,7 @@ pub struct Task {
     pub proving_system_id: i32,
     pub proof: Vec<u8>,
     pub program_commitment: Vec<u8>,
-    pub merkle_path: Vec<u8>,
+    pub merkle_path: Option<Vec<u8>>,
     pub status: TaskStatus,
 }
 

aggregation_mode/proof_aggregator/src/backend/mod.rs

@@ -2,7 +2,6 @@ pub mod config;
 mod db;
 pub mod fetcher;
 mod merkle_tree;
-mod retry;
 mod types;
 
 use crate::{