allow single column tables (#138)

Lagrange-Labs · Jan 15, 2025 · f53989c · f53989c
1 parent 47869bb
commit f53989c
Show file tree

Hide file tree

Showing 2 changed files with 25 additions and 7 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -3,11 +3,11 @@ resolver = "2"
 members = ["lgn-auth", "lgn-messages", "lgn-provers", "lgn-worker"]
 
 [workspace.dependencies]
-groth16_framework_v1 = { git = "https://github.com/Lagrange-Labs/mapreduce-plonky2.git", rev = "v1.1.2", package = "groth16_framework" }
-mp2_common = { git = "https://github.com/Lagrange-Labs/mapreduce-plonky2.git", rev = "v1.1.2" }
-mp2_v1 = { git = "https://github.com/Lagrange-Labs/mapreduce-plonky2.git", rev = "v1.1.2" }
-parsil = { git = "https://github.com/Lagrange-Labs/mapreduce-plonky2.git", rev = "v1.1.2" }
-verifiable-db = { git = "https://github.com/Lagrange-Labs/mapreduce-plonky2.git", rev = "v1.1.2" }
+groth16_framework_v1 = { git = "https://github.com/Lagrange-Labs/mapreduce-plonky2.git", rev = "v1.1.3", package = "groth16_framework" }
+mp2_common = { git = "https://github.com/Lagrange-Labs/mapreduce-plonky2.git", rev = "v1.1.3" }
+mp2_v1 = { git = "https://github.com/Lagrange-Labs/mapreduce-plonky2.git", rev = "v1.1.3" }
+parsil = { git = "https://github.com/Lagrange-Labs/mapreduce-plonky2.git", rev = "v1.1.3" }
+verifiable-db = { git = "https://github.com/Lagrange-Labs/mapreduce-plonky2.git", rev = "v1.1.3" }
 
 anyhow = { version = "1.0" }
 bincode = { version = "1.0" }

diff --git a/lgn-provers/src/provers/v1/preprocessing/euclid_prover.rs b/lgn-provers/src/provers/v1/preprocessing/euclid_prover.rs
@@ -458,8 +458,8 @@ impl StorageDatabaseProver for EuclidProver
         }
         else
         {
-            // TODO: provide empty
-            unimplemented!("No cells proof provided")
+            self.params
+                .empty_cell_tree_proof()?
         };
 
         let input = RowsTree(
@@ -486,6 +486,15 @@ impl StorageDatabaseProver for EuclidProver
         cells_proof: Vec<u8>,
     ) -> anyhow::Result<Vec<u8>>
     {
+        let cells_proof = if !cells_proof.is_empty()
+        {
+            cells_proof
+        }
+        else
+        {
+            self.params
+                .empty_cell_tree_proof()?
+        };
         let input = RowsTree(
             verifiable_db::row_tree::CircuitInput::partial(
                 identifier,
@@ -511,6 +520,15 @@ impl StorageDatabaseProver for EuclidProver
         cells_proof: Vec<u8>,
     ) -> anyhow::Result<Vec<u8>>
     {
+        let cells_proof = if !cells_proof.is_empty()
+        {
+            cells_proof
+        }
+        else
+        {
+            self.params
+                .empty_cell_tree_proof()?
+        };
         let input = RowsTree(
             verifiable_db::row_tree::CircuitInput::full(
                 identifier,