Add nonce to the post proof query

Author: maximopalopoli

aggregation_mode/batcher/src/db.rs

@@ -108,22 +108,25 @@ impl Db {
         proof: &[u8],
         program_commitment: &[u8],
         merkle_path: Option<&[u8]>,
+        nonce: i64,
     ) -> Result<Uuid, sqlx::Error> {
         sqlx::query_scalar::<_, Uuid>(
             "INSERT INTO tasks (
                 address,
                 proving_system_id,
                 proof,
                 program_commitment,
-                merkle_path
-            ) VALUES ($1, $2, $3, $4, $5)
+                merkle_path,
+                nonce
+            ) VALUES ($1, $2, $3, $4, $5, $6)
             RETURNING task_id",
         )
         .bind(address.to_lowercase())
         .bind(proving_system_id)
         .bind(proof)
         .bind(program_commitment)
         .bind(merkle_path)
+        .bind(nonce)
         .fetch_one(&self.pool)
         .await
     }

aggregation_mode/batcher/src/server/http.rs

@@ -150,6 +150,7 @@ impl BatcherServer {
                 &data.message.proof,
                 &data.message.program_vk_commitment,
                 None,
+                count,
             )
             .await
         {

aggregation_mode/db/migrations/001_init.sql

@@ -8,7 +8,7 @@ CREATE TABLE tasks (
     program_commitment BYTEA,
     merkle_path BYTEA,
     status task_status DEFAULT 'pending',
-    nonce BIGINT
+    nonce BIGINT NOT NULL
 );
 
 CREATE TABLE payment_events (