chore: update dependencies (zkonduit#101)

.github/workflows/rust.yml

@@ -105,8 +105,6 @@ jobs:
           override: true
           components: rustfmt, clippy
 
-    - name: IPA full-prove tests
-      run: cargo test --release --verbose tests::ipa_fullprove_ -- --test-threads 4
     - name: KZG full-prove tests
       run: cargo test --release --verbose tests::kzg_fullprove_ -- --test-threads 4
 
@@ -142,8 +140,6 @@ jobs:
           override: true
           components: rustfmt, clippy
 
-    - name: IPA prove and verify tests
-      run: cargo test --release --verbose tests::ipa_prove_and_verify_ -- --test-threads 4
     - name: KZG prove and verify tests
       run: cargo test --release --verbose tests::kzg_prove_and_verify_ -- --test-threads 4
 

Cargo.toml

@@ -6,8 +6,8 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2", rev = "50ee8ad"}
-halo2curves = { git = 'https://github.com/privacy-scaling-explorations/halo2curves', tag = "0.3.0" }
+halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2", tag = "v2023_01_20"}
+halo2curves = { git = 'https://github.com/privacy-scaling-explorations/halo2curves', tag = "0.3.1" }
 rand = "0.8"
 itertools = "0.10.3"
 tensorflow = {version = "0.18.0", features = ["eager"], optional = true }
@@ -22,8 +22,8 @@ tabled = { version = "0.9.0", optional = true}
 # evm related deps
 ethereum_types = { package = "ethereum-types", version = "0.14.1", default-features = false, features = ["std"], optional=true}
 foundry_evm = { git = "https://github.com/foundry-rs/foundry", package = "foundry-evm", rev = "4f21719", optional=true }
-halo2_wrong_ecc = { git = "https://github.com/zkonduit/halo2wrong", package = "ecc", branch = "master", optional=true}
-plonk_verifier = { git = "https://github.com/zkonduit/plonk-verifier", branch = "main"}
+halo2_wrong_ecc = { git = "https://github.com/privacy-scaling-explorations/halo2wrong", package = "ecc", tag = "v2023_01_20", optional=true}
+snark-verifier = { git = "https://github.com/zkonduit/plonk-verifier", rev = "5a85fbb"}
 colog = { version = "1.1.0", optional = true }
 eq-float = "0.1.0"
 thiserror = "1.0.38"

src/commands.rs

@@ -116,7 +116,7 @@ pub enum Commands {
         #[arg(
             long,
             num_args = 0..=1,
-            default_value_t = ProofSystem::IPA,
+            default_value_t = ProofSystem::KZG,
 //            default_missing_value = "always",
             value_enum
         )]
@@ -150,7 +150,7 @@ pub enum Commands {
 	    short = 'B',
             require_equals = true,
             num_args = 0..=1,
-            default_value_t = ProofSystem::IPA,
+            default_value_t = ProofSystem::KZG,
             default_missing_value = "always",
             value_enum
         )]
@@ -182,7 +182,7 @@ pub enum Commands {
 	    short = 'B',
             require_equals = true,
             num_args = 0..=1,
-            default_value_t = ProofSystem::IPA,
+            default_value_t = ProofSystem::KZG,
             default_missing_value = "always",
             value_enum
         )]