From 864e966d8f468de05a22feef643c4f34a4b80904 Mon Sep 17 00:00:00 2001
From: Timofey Luin <timofey.luin@gmail.com>
Date: Tue, 13 Feb 2024 16:01:25 +0100
Subject: [PATCH] fix `halo2-solidity-verifier` dependency

---
 prover/Cargo.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prover/Cargo.toml b/prover/Cargo.toml
index ad46475..24ab8de 100644
--- a/prover/Cargo.toml
+++ b/prover/Cargo.toml
@@ -25,8 +25,8 @@ halo2curves.workspace = true
 # verifier SDK 
 snark-verifier.workspace = true
 snark-verifier-sdk.workspace = true
-halo2_solidity_verifier = { git = "https://github.com/privacy-scaling-explorations/halo2-solidity-verifier", branch = "ac/initial-verifier-PR", optional = true }
-halo2_solidity_verifier_new = {  git = "https://github.com/timoftime/halo2-solidity-verifier", branch = "bump-halo2proofs", package = "halo2_solidity_verifier", features = ["evm"], optional = true }
+halo2_solidity_verifier = { git = "https://github.com/ChainSafe/halo2-solidity-verifier", branch = "yul-to-solidity-parser", optional = true }
+halo2_solidity_verifier_new = {  git = "https://github.com/ChainSafe/halo2-solidity-verifier", branch = "bump-halo2proofs", package = "halo2_solidity_verifier", features = ["evm"], optional = true }
 
 # local
 lightclient-circuits.workspace = true