fix: update to proof-of-sql 0.62.3

spaceandtimelabs · Dec 16, 2024 · f293692 · f293692
1 parent d048499
commit f293692
Show file tree

Hide file tree

Showing 3 changed files with 128 additions and 19 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -25,8 +25,8 @@ log = "0.4.22"
 indexmap = "2.6.0"
 parity-scale-codec = { version = "3.7.0", default-features = false }
 postcard = { version = "1.0.10", default-features = false }
-proof-of-sql = { version = "0.44.4", default-features = false }
-proof-of-sql-parser = { version = "0.44.4", default-features = false }
+proof-of-sql = { version = "0.62.3", default-features = false }
+proof-of-sql-parser = { version = "0.62.3", default-features = false }
 prost = "0.12"
 prost-build = "0.12"
 reqwest = { version = "0.12", features = ["json"] }

diff --git a/crates/proof-of-sql-sdk-local/src/verify.rs b/crates/proof-of-sql-sdk-local/src/verify.rs
@@ -45,14 +45,7 @@ pub fn verify_prover_response<'de, 's, CP: CommitmentEvaluationProof + Deseriali
         flexbuffers::from_slice(&prover_response.verifiable_result)?;
 
     // Verify the proof
-    let proof = verifiable_result.proof.unwrap();
-    let serialized_result = verifiable_result.provable_result.unwrap();
-    Ok(proof
-        .verify(
-            query_expr.proof_expr(),
-            accessor,
-            &serialized_result,
-            verifier_setup,
-        )?
+    Ok(verifiable_result
+        .verify(query_expr.proof_expr(), accessor, verifier_setup)?
         .table)
 }