Skip to content

Commit

Permalink
fix: update to proof-of-sql 0.62.3
Browse files Browse the repository at this point in the history
  • Loading branch information
iajoiner committed Dec 16, 2024
1 parent d048499 commit 8356461
Show file tree
Hide file tree
Showing 3 changed files with 127 additions and 14 deletions.
132 changes: 124 additions & 8 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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"] }
Expand Down
5 changes: 1 addition & 4 deletions crates/proof-of-sql-sdk-local/src/verify.rs
Original file line number Diff line number Diff line change
Expand Up @@ -45,13 +45,10 @@ 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
Ok(verifiable_result
.verify(
query_expr.proof_expr(),
accessor,
&serialized_result,
verifier_setup,
)?
.table)
Expand Down

0 comments on commit 8356461

Please sign in to comment.