updated wrapper to 0.2.0 (#28)

Author: mm-zk

Cargo.toml

@@ -34,12 +34,12 @@ snark_wrapper = { git = "https://github.com/matter-labs/zksync-crypto.git", pack
 # 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"], tag="0.0.5"}
-execution_utils = {git="https://github.com/matter-labs/zksync-airbender.git", package="execution_utils", tag="0.0.5"}
-setups = {git="https://github.com/matter-labs/zksync-airbender.git", package="setups", tag="0.0.5"}
-mersenne_field = {git="https://github.com/matter-labs/zksync-airbender.git", package="field", tag="0.0.5"}
-zkos_verifier_generator = {git="https://github.com/matter-labs/zksync-airbender.git", package="verifier_generator", tag="0.0.5"}
-prover = {git="https://github.com/matter-labs/zksync-airbender.git", package="prover", tag="0.0.5"}
+risc_verifier = {git="https://github.com/matter-labs/zksync-airbender.git", package="final_reduced_risc_v_machine_verifier", features=["proof_utils"], tag="0.2.0"}
+execution_utils = {git="https://github.com/matter-labs/zksync-airbender.git", package="execution_utils", tag="0.2.0"}
+setups = {git="https://github.com/matter-labs/zksync-airbender.git", package="setups", tag="0.2.0"}
+mersenne_field = {git="https://github.com/matter-labs/zksync-airbender.git", package="field", tag="0.2.0"}
+zkos_verifier_generator = {git="https://github.com/matter-labs/zksync-airbender.git", package="verifier_generator", tag="0.2.0"}
+prover = {git="https://github.com/matter-labs/zksync-airbender.git", package="prover", tag="0.2.0"}
 
 # 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 = {path="../air_compiler/execution_utils"}

README.md

@@ -25,4 +25,22 @@ at your option.
 
 ### Contribution
 
-See [CONTRIBUTING.md](./CONTRIBUTING.md).
+See [CONTRIBUTING.md](./CONTRIBUTING.md).
+
+
+### Updating airbender version
+
+
+If you want to update the airbender dependency, please do these additional steps:
+* update Cargo.toml
+* re-generate quotients - this can be done by running wrapper_generator: `cargo run --release --bin wrapper_generator`
+* update test inputs: from the corresponding air-bender branch: 
+
+```shell
+# From zksync-airbender directory
+cargo run -p cli --release prove --bin examples/hashed_fibonacci/app.bin --input-file examples/hashed_fibonacci/input.txt  --until final-proof --output-dir /tmp/update
+
+# From zkos-wrapper directory.
+cp /tmp/update/final_program_proof.json wrapper/testing_data/risc_proof
+RUST_MIN_STACK=67108864 cargo test all_layers_full_test --release -- --nocapture
+```

wrapper/src/wrapper_inner_verifier/imports/circuit_layout.rs

@@ -1,20 +1,20 @@
 pub(crate) const FINAL_RISC_CIRCUIT_END_PARAMS: [u32; 8usize] = [
-    2586816750u32,
-    1756482444u32,
-    2217339332u32,
-    3005136617u32,
-    2913066018u32,
-    4166213675u32,
-    3558549238u32,
-    4123692041u32,
+    4250250141u32,
+    1573178321u32,
+    1385045928u32,
+    2825549767u32,
+    443732210u32,
+    3784997290u32,
+    3165410519u32,
+    1422234642u32,
 ];
 pub(crate) const FINAL_RISC_CIRCUIT_AUX_REGISTERS_VALUES: [u32; 8usize] = [
-    3855435084u32,
-    2553247074u32,
-    2421719871u32,
-    1449244899u32,
-    4239845664u32,
-    2609063432u32,
-    767403438u32,
-    3072000801u32,
+    3319270263u32,
+    3838849625u32,
+    1056405408u32,
+    1626804972u32,
+    2760183814u32,
+    3536360140u32,
+    1370831390u32,
+    2079486643u32,
 ];