bus-auto: sync halo2 branch develop

Author: Aurélien Nicolas

Cargo.lock

@@ -63,12 +63,8 @@ url = "2.2"
 ethers-core = { git = "https://github.com/scroll-tech/ethers-rs.git", branch = "v2.0.7" }
 ethers-etherscan = { git = "https://github.com/scroll-tech/ethers-rs.git", branch = "v2.0.7" }
 
-# Replace all references to halo2 PSE and Scroll repos with a specific branch.
-# Note the double slash // hack to make it a different URL.
-[patch."https://github.com/scroll-tech/halo2.git"]
-halo2_proofs = { git = "https://github.com//scroll-tech/halo2.git", branch = "bus-auto" }
 [patch."https://github.com/privacy-scaling-explorations/halo2.git"]
-halo2_proofs = { git = "https://github.com//scroll-tech/halo2.git", branch = "bus-auto" }
+halo2_proofs = { git = "https://github.com/scroll-tech/halo2.git", branch = "develop" }
 
 [patch."https://github.com/privacy-scaling-explorations/poseidon.git"]
 poseidon = { git = "https://github.com/scroll-tech/poseidon.git", branch = "scroll-dev-0220" }