feat: update airbender deps to 0.2.0 (#55)

## What ❔
* update airbender deps from 0.1.0 to 0.2.0

## Why ❔

* this uses new version of the circuits (that are faster).

---------

Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>

Author: mm-zk

Cargo.toml

@@ -58,11 +58,11 @@ keywords = ["blockchain", "zksync", "zk", "risc-v"]
 categories = ["cryptography"]
 
 [workspace.dependencies]
-risc_v_simulator = { git = "https://github.com/matter-labs/zksync-airbender", tag = "0.1.0"}
-blake2s_u32 = { git = "https://github.com/matter-labs/zksync-airbender", tag = "0.1.0"}
-prover_examples = { git = "https://github.com/matter-labs/zksync-airbender", tag = "0.1.0"}
-trace_and_split = { git = "https://github.com/matter-labs/zksync-airbender", tag = "0.1.0"}
-execution_utils = { git = "https://github.com/matter-labs/zksync-airbender", tag = "0.1.0"}
+risc_v_simulator = { git = "https://github.com/matter-labs/zksync-airbender", tag = "0.2.0"}
+blake2s_u32 = { git = "https://github.com/matter-labs/zksync-airbender", tag = "0.2.0"}
+prover_examples = { git = "https://github.com/matter-labs/zksync-airbender", tag = "0.2.0"}
+trace_and_split = { git = "https://github.com/matter-labs/zksync-airbender", tag = "0.2.0"}
+execution_utils = { git = "https://github.com/matter-labs/zksync-airbender", tag = "0.2.0"}
 
 # [profile.dev]
 # opt-level = 0

circuit_test_program/Cargo.toml

@@ -10,7 +10,7 @@ keywords = ["blockchain", "zksync", "zk", "risc-v"]
 categories = ["cryptography"]
 
 [dependencies]
-riscv_common = {git = "https://github.com/matter-labs/zksync-airbender", tag = "0.1.0" }
+riscv_common = {git = "https://github.com/matter-labs/zksync-airbender", tag = "0.2.0" }
 crypto = { path = "../crypto", features = ["proving"]}
 
 # [patch."https://github.com/matter-labs/zksync-airbender"]

crypto/src/blake2s/test_program/Cargo.toml

@@ -10,7 +10,7 @@ keywords = ["blockchain", "zksync", "zk", "risc-v"]
 categories = ["cryptography"]
 
 [dependencies]
-riscv_common = {git = "https://github.com/matter-labs/zksync-airbender", tag = "0.1.0"}
+riscv_common = {git = "https://github.com/matter-labs/zksync-airbender", tag = "0.2.0"}
 crypto = { path = "../../../", features = ["blake2s_tests"]}
 
 [workspace]

crypto/src/blake2s/test_program/app_extended_delegation_blake.bin

@@ -9,6 +9,10 @@ unsafe extern "C" fn start_rust() -> ! {
     main()
 }
 
+core::arch::global_asm!(include_str!(
+    "../../../../../zksync_os/src/asm/asm_reduced.S"
+));
+
 unsafe fn workload() -> ! {
     crypto::init_lib();
 

crypto/src/blake2s/test_program/app_native_blake.bin

@@ -17,7 +17,7 @@ riscv = "0.11"
 heapless = { version = "*", default-features = false }
 proof_running_system = { path = "../proof_running_system", default-features = false}
 crypto = { path = "../crypto", optional = true }
-riscv_common = {git = "https://github.com/matter-labs/zksync-airbender.git", tag = "0.1.0", features = ["custom_panic", "custom_allocator"]}
+riscv_common = {git = "https://github.com/matter-labs/zksync-airbender.git", tag = "0.2.0", features = ["custom_panic", "custom_allocator"]}
 #riscv_common = {path = "../../zksync-airbender/riscv_common" , features = ["custom_panic", "custom_allocator"]}
 
 [profile.dev]