wasm binding feature flags refactor

Cargo.toml

@@ -26,6 +26,7 @@ version = "0.0.3"
 
 [workspace.dependencies]
 bail-out = "0.2.0"
+serde_json = "1.0.114"
 serde = { version = "1.0", features = ["derive"] }
 serde_with = "2.3.2"
 sha3 = "0.10.8"

cli/Cargo.toml

@@ -12,16 +12,18 @@ version.workspace = true
 clap = { version = "4.4.4", features = ["derive"] }
 thiserror.workspace = true
 starknet-crypto.workspace = true
-cairovm_verifier_proof_parser.workspace = true
-cairovm_verifier_stark.workspace = true
-cairovm_verifier_air.workspace = true
 
+cairovm_verifier_air = { workspace = true, default-features = false }
+cairovm_verifier_stark = { workspace = true, default-features = false }
+cairovm_verifier_proof_parser = { workspace = true, default-features = false }
 
 [features]
-default = ["recursive"]
+default = ["recursive", "keccak"]
 dex = []
 recursive = []
 recursive_with_poseidon = []
 small = []
 starknet = []
-starknet_with_keccak = []
+starknet_with_keccak = []
+keccak = []
+blake2s = []

crates/air/Cargo.toml

@@ -20,7 +20,7 @@ cairovm_verifier_commitment.workspace = true
 cairovm_verifier_transcript.workspace = true
 
 [features]
-default = ["starknet_with_keccak"]
+default = ["recursive"]
 dex = []
 recursive = []
 recursive_with_poseidon = []

crates/commitment/Cargo.toml

@@ -22,6 +22,6 @@ blake2.workspace = true
 cairovm_verifier_transcript.workspace = true
 
 [features]
-default = ["blake2s"]
+default = ["keccak"]
 keccak = []
 blake2s = []

crates/pow/Cargo.toml

@@ -20,6 +20,6 @@ blake2.workspace = true
 cairovm_verifier_transcript.workspace = true
 
 [features]
-default = ["blake2s"]
+default = ["keccak"]
 keccak = []
 blake2s = []

crates/stark/Cargo.toml

@@ -24,7 +24,7 @@ cairovm_verifier_pow.workspace = true
 cairovm_verifier_transcript.workspace = true
 
 [features]
-default = ["starknet_with_keccak"]
+default = ["recursive"]
 dex = []
 recursive = []
 recursive_with_poseidon = []

proof-parser/Cargo.toml

@@ -18,10 +18,8 @@ clap = { version = "4.5.1", features = ["derive"] }
 regex = "1.10.3"
 serde_json = "1.0.114"
 
-cairovm_verifier_stark = { workspace = true, features = [
-    "starknet_with_keccak",
-] }
-cairovm_verifier_commitment = { workspace = true, features = ["default"] }
-cairovm_verifier_fri = { workspace = true }
-cairovm_verifier_air = { workspace = true, features = ["starknet_with_keccak"] }
-cairovm_verifier_pow = { workspace = true, features = ["default"] }
+cairovm_verifier_stark.workspace = true
+cairovm_verifier_commitment.workspace = true
+cairovm_verifier_fri.workspace = true
+cairovm_verifier_air.workspace = true
+cairovm_verifier_pow.workspace = true

wasm-binding/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "wasm-binding"
+name = "cairovm_verifier_wasm"
 description.workspace = true
 edition.workspace = true
 homepage.workspace = true
@@ -9,15 +9,26 @@ repository.workspace = true
 version.workspace = true
 
 [dependencies]
+serde_json.workspace = true
 wasm-bindgen.workspace = true
-getrandom = { version = "0.2.15", features = ["js"] }
-serde_json = "1.0.114"
 
-cairovm_verifier_air = { workspace = true, features = ["default"] }
-cairovm_verifier_proof_parser = { workspace = true }
+cairovm_verifier_air = { workspace = true, default-features = false }
+cairovm_verifier_stark = { workspace = true, default-features = false }
+cairovm_verifier_proof_parser = { workspace = true, default-features = false }
 
 [lib]
 crate-type = ["cdylib", "rlib"]
 
 [target.'cfg(target_arch = "wasm32")'.dependencies]
 getrandom = { version = "0.2.15", features = ["js"] }
+
+[features]
+default = ["recursive", "keccak"]
+dex = []
+recursive = []
+recursive_with_poseidon = []
+small = []
+starknet = []
+starknet_with_keccak = []
+keccak = []
+blake2s = []

wasm-binding/README.md

@@ -0,0 +1,21 @@
+# Cairo-VM Verifier WASM
+
+![Version](https://img.shields.io/badge/v0.1.1-green?style=flat-square&logo=git&logoColor=white&label=version)
+![Continuous Integration](https://img.shields.io/github/actions/workflow/status/iosis-tech/cairovm-verifier/ci.yml?style=flat-square&logo=githubactions&logoColor=white&label=Continuous%20Integration)
+
+This is the Rust implementation of the Cairo-VM STARK verifier with layouts. The code is inspired by StarkWare's [Cairo-verifier](https://github.com/starkware-libs/cairo-lang) implementation in Cairo0.
+
+### Install wasm-pack
+```sh
+cargo install wasm-pack
+```
+
+### Build WASM:
+
+```sh
+wasm-pack build --workspace --features starknet_with_keccak,blake2s --no-default-features --target wasm32-unknown-unknown
+```
+
+## Contributing
+
+Feel free to open issues or submit pull requests to help improve this project.

wasm-binding/src/lib.rs

@@ -1,4 +1,16 @@
-use cairovm_verifier_air::layout::starknet_with_keccak;
+#[cfg(feature = "dex")]
+use cairovm_verifier_air::layout::dex::Layout;
+#[cfg(feature = "recursive")]
+use cairovm_verifier_air::layout::recursive::Layout;
+#[cfg(feature = "recursive_with_poseidon")]
+use cairovm_verifier_air::layout::recursive_with_poseidon::Layout;
+#[cfg(feature = "small")]
+use cairovm_verifier_air::layout::small::Layout;
+#[cfg(feature = "starknet")]
+use cairovm_verifier_air::layout::starknet::Layout;
+#[cfg(feature = "starknet_with_keccak")]
+use cairovm_verifier_air::layout::starknet_with_keccak::Layout;
+
 use cairovm_verifier_proof_parser::parse;
 use wasm_bindgen::prelude::*;
 
@@ -13,7 +25,7 @@ pub fn wasm_verify(proof: JsValue) -> Result<JsValue, JsValue> {
     // Get security bits and verify
     let security_bits = stark_proof.config.security_bits();
     let (program_hash, output_hash) = stark_proof
-        .verify::<starknet_with_keccak::Layout>(security_bits)
+        .verify::<Layout>(security_bits)
         .map_err(|e| JsValue::from_str(&e.to_string()))?;
 
     // Serialize result to JsValue