feat(core): use wasm3 to generate witness

mopro-core/Cargo.toml

@@ -7,13 +7,17 @@ edition = "2021"
 
 [features]
 default = ["wasmer/dylib"]
-dylib = []                  # NOTE: can probably remove this if we use env config instead
+dylib = [] # NOTE: can probably remove this if we use env config instead
 gpu-benchmarks = []
-calc-native-witness = ["witness"] # experimental feature to calculate witness with witness graph
-build-native-witness = ["witness/build-witness"] # only enable build-native-witness feature when building the witness graph
+calc-native-witness = [
+    "witness",
+] # experimental feature to calculate witness with witness graph
+build-native-witness = [
+    "witness/build-witness",
+] # only enable build-native-witness feature when building the witness graph
 
 [dependencies]
-ark-circom = { git = "https://github.com/arkworks-rs/circom-compat.git" }
+ark-circom = { git = "https://github.com/vivianjeng/circom-compat-wasm3.git" }
 serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0"
 ark-serialize = { version = "=0.4.1", features = ["derive"] }
@@ -39,7 +43,7 @@ ark-groth16 = { version = "=0.4.0", default-features = false, features = [
 ] }
 ark-relations = { version = "0.4", default-features = false }
 ark-zkey = { path = "../ark-zkey" }
-witness = { git = "https://github.com/philsippl/circom-witness-rs.git", optional = true}
+witness = { git = "https://github.com/philsippl/circom-witness-rs.git", optional = true }
 
 # Error handling
 thiserror = "=1.0.39"
@@ -53,7 +57,7 @@ wasmer = { git = "https://github.com/oskarth/wasmer.git", rev = "09c7070" }
 toml = "0.8"
 serde = "1.0"
 serde_derive = "1.0"
-witness = { git = "https://github.com/philsippl/circom-witness-rs.git", optional = true}
+witness = { git = "https://github.com/philsippl/circom-witness-rs.git", optional = true }
 
 [[bin]]
 name = "generate_benchmark_report"