feat: ashlang spartan proving

mopro-ffi/Cargo.toml

@@ -17,8 +17,9 @@ name = "uniffi-bindgen"
 path = "src/uniffi-bindgen.rs"
 
 [features]
-default = []
+default = ["ashlang"]
 
+ashlang = ["dep:ashlang"]
 halo2 = []
 circom = [
     "rust-witness",
@@ -38,11 +39,18 @@ circom = [
 
 [dependencies]
 uniffi = { version = "=0.28.0", features = ["cli", "build"] }
+serde = { version = "1.0", features = ["derive"] }
 
 # Error handling
 thiserror = "=1.0.39"
 color-eyre = "=0.6.2"
 
+# ashlang deps
+#ashlang = { path = "../../ashlang/ashlang", optional = true, default-features = false, features = ["spartan-prover", "serde"] }
+ashlang = { git = "https://github.com/chancehudson/ashlang.git", rev = "696960a0c15db47170fdd1ff058682023d904b1b", optional = true, default-features = false, features = ["spartan-prover", "serde"] }
+#ashlang = { version = "0.1.0", optional = true, default-features = false, features = ["spartan-prover"] }
+#scalarff = { git = "https://github.com/chancehudson/scalarff.git", branch = "no-twenty-first", optional = true }
+
 # circom deps
 rust-witness = { version = "0.1.0", optional = true }
 ark-circom = { git = "https://github.com/zkmopro/circom-compat.git", version = "0.1.0", branch = "wasm-delete", optional = true }
@@ -70,6 +78,7 @@ ark-ff = { version = "0.4.0", optional = true }
 ark-bls12-381 = { version = "0.4.0", optional = true }
 num-traits = { version = "0.2.0", optional = true }
 anyhow = "1.0.86"
+bincode = "1.3.3"
 
 [build-dependencies]
 rust-witness = "0.1.0"