set dependency on 0.05, update risc_proof, set verification to use universal

Author: mm-zk

Cargo.toml

@@ -22,11 +22,11 @@ rescue_poseidon = { git = "https://github.com/matter-labs/zksync-crypto.git", pa
 # rescue_poseidon = { path = "../zksync-crypto/crates/rescue-poseidon"}
 snark_wrapper = { git = "https://github.com/matter-labs/zksync-crypto.git", package="snark_wrapper", branch = "main" }
 # snark_wrapper = { path = "../zksync-crypto/crates/snark-wrapper"}
-risc_verifier = {git="https://github.com/matter-labs/zksync-airbender.git", package="final_reduced_risc_v_machine_verifier", features=["proof_utils"], branch="main"}
+risc_verifier = {git="https://github.com/matter-labs/zksync-airbender.git", package="final_reduced_risc_v_machine_verifier", features=["proof_utils"], tag="0.0.5"}
 # risc_verifier = {path="../air_compiler/circuit_defs/final_reduced_risc_v_machine/verifier", package="final_reduced_risc_v_machine_verifier", features=["proof_utils"]}
-execution_utils = {git="https://github.com/matter-labs/zksync-airbender.git", package="execution_utils", branch="main"}
+execution_utils = {git="https://github.com/matter-labs/zksync-airbender.git", package="execution_utils", tag="0.0.5"}
 # execution_utils = {path="../air_compiler/execution_utils"}
-setups = {git="https://github.com/matter-labs/zksync-airbender.git", package="setups", branch="main"}
+setups = {git="https://github.com/matter-labs/zksync-airbender.git", package="setups", tag="0.0.5"}
 # setups = {path="../../air_compiler/circuit_defs/setups"}
 circuit_mersenne_field = {path="circuit_mersenne_field"}
 serde_json = { version = "*" }

circuit_mersenne_field/Cargo.toml

@@ -6,6 +6,6 @@ edition = "2021"
 [dependencies]
 boojum = { git = "https://github.com/matter-labs/zksync-crypto.git", package="boojum", branch = "main" }
 # boojum = { path = "../../zksync-crypto/crates/boojum"}
-mersenne_field = {git="https://github.com/matter-labs/zksync-airbender.git", package="field", branch="main"}
+mersenne_field = {git="https://github.com/matter-labs/zksync-airbender.git", package="field", tag="0.0.5"}
 # mersenne_field = {path="../../air_compiler/field", package="field"}
 rand = "0.8"

src/tests/mod.rs

@@ -59,6 +59,11 @@ fn all_layers_setup_test() {
     snark_wrapper_tests::snark_wrapper_setup_test();
 }
 
+// To regenerate this test data (which must happen every time something changes in the verifier)
+// please run (from the zksync-airbender - and make sure to match the current dependency):
+// Make sure that you have a machine with >140GB of RAM for this step:
+// cargo run -p cli --release prove --bin examples/hashed_fibonacci/app.bin --input-file examples/hashed_fibonacci/input.txt --output-dir /tmp/ --until final-proof
+// And then copy /tmp/final_program_proof testing_data/risc_proof
 const RISC_PROOF_PATH: &str = "testing_data/risc_proof";
 const RISC_WRAPPER_PROOF_PATH: &str = "testing_data/risc_wrapper_proof";
 const RISC_WRAPPER_VK_PATH: &str = "testing_data/risc_wrapper_vk";

src/wrapper_inner_verifier/imports/final_state_constants.rs

@@ -1,20 +1,20 @@
 pub(crate) const FINAL_RISC_CIRCUIT_END_PARAMS: [u32; 8usize] = [
-    1084790708u32,
-    5361886u32,
-    780007677u32,
-    2427515337u32,
-    1615785659u32,
-    2910616041u32,
-    872871208u32,
-    2091005209u32,
+    2586816750u32,
+    1756482444u32,
+    2217339332u32,
+    3005136617u32,
+    2913066018u32,
+    4166213675u32,
+    3558549238u32,
+    4123692041u32,
 ];
 pub(crate) const FINAL_RISC_CIRCUIT_AUX_REGISTERS_VALUES: [u32; 8usize] = [
-    2369219390u32,
-    1113127411u32,
-    3416575085u32,
-    2776983668u32,
-    99649126u32,
-    2857787559u32,
-    4051254451u32,
-    3927721995u32,
+    3855435084u32,
+    2553247074u32,
+    2421719871u32,
+    1449244899u32,
+    4239845664u32,
+    2609063432u32,
+    767403438u32,
+    3072000801u32,
 ];