From a3ce9d780530d20a2644e2de734761ae8b9943cb Mon Sep 17 00:00:00 2001
From: dmpierre <pdaixmoreux@gmail.com>
Date: Mon, 1 Apr 2024 14:27:17 +0200
Subject: [PATCH] chore: update proving with decider-eth

---
 Cargo.lock  | 4 +++-
 Cargo.toml  | 2 +-
 src/main.rs | 9 +++++++--
 3 files changed, 11 insertions(+), 4 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index d2369fb..7f360b0 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1119,12 +1119,14 @@ checksum = "3f9eec918d3f24069decb9af1554cad7c880e2da24a9afd88aca000531ab82c1"
 [[package]]
 name = "folding-schemes"
 version = "0.1.0"
-source = "git+https://github.com/privacy-scaling-explorations/folding-schemes.git?branch=feature/decider-link-groth16-kzg#86acbf212d898b7db5dbf05c4db367122d2ae88b"
+source = "git+https://github.com/privacy-scaling-explorations/folding-schemes.git?branch=feature/solidity-decider-verifier#426c6ee6dea6e76fa47811b25ce5184e34202ec1"
 dependencies = [
+ "ark-bn254",
  "ark-circom",
  "ark-crypto-primitives",
  "ark-ec",
  "ark-ff",
+ "ark-groth16",
  "ark-poly",
  "ark-poly-commit",
  "ark-r1cs-std",
diff --git a/Cargo.toml b/Cargo.toml
index fee8f6a..389ad93 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -7,7 +7,7 @@ edition = "2021"
 
 [dependencies]
 ark-r1cs-std = { git = "https://github.com/arnaucube/ark-r1cs-std-cherry-picked/" }
-folding-schemes = { git = "https://github.com/privacy-scaling-explorations/folding-schemes.git", package = "folding-schemes", branch="feature/decider-link-groth16-kzg" }
+folding-schemes = { git = "https://github.com/privacy-scaling-explorations/folding-schemes.git", package = "folding-schemes", branch="feature/solidity-decider-verifier" }
 ark-light-bitcoin-client = { git = "https://github.com/dmpierre/ark-light-bitcoin-client.git" }
 ark-ff = "0.4.0"
 ark-relations = "0.4.0"
diff --git a/src/main.rs b/src/main.rs
index 09505b0..6edcbb8 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -173,9 +173,14 @@ fn main() {
 
     // decider proof verification
     println!("Verifying proof...");
-    let decider_vp = (poseidon_config, g16_vk, kzg_vk);
     let verified = DECIDER::verify(
-        decider_vp, nova.i, nova.z_0, nova.z_i, &nova.U_i, &nova.u_i, proof,
+        (g16_vk.clone(), kzg_vk.clone()),
+        nova.i,
+        nova.z_0,
+        nova.z_i,
+        &nova.U_i,
+        &nova.u_i,
+        &proof,
     )
     .unwrap();
     assert!(verified);