fix: switch to crates.io ashlang version

zkmopro · Oct 15, 2024 · d8aab2e · d8aab2e
1 parent fd37019
commit d8aab2e
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 7 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/mopro-ffi/Cargo.toml b/mopro-ffi/Cargo.toml
@@ -46,7 +46,8 @@ thiserror = "=1.0.39"
 color-eyre = "=0.6.2"
 
 # ashlang deps
-ashlang = { path = "../../ashlang/ashlang", optional = true }
+#ashlang = { path = "../../ashlang/ashlang", optional = true }
+ashlang = { version = "0.1.0", optional = true }
 
 # circom deps
 rust-witness = { version = "0.1.0", optional = true }

diff --git a/mopro-ffi/src/ashlang/mod.rs b/mopro-ffi/src/ashlang/mod.rs
@@ -28,13 +28,11 @@ pub fn verify(in0: String, in1: Vec<u8>, in2: Vec<u8>) -> Result<bool, MoproErro
 
 #[cfg(test)]
 mod tests {
-    use ::ashlang::AshlangProver;
-
-    use crate::ashlang;
+    use super::*;
 
     #[test]
     fn test_ashlang_prove_verify() -> anyhow::Result<()> {
-        let proof = ashlang::prove(
+        prove(
             "../test-vectors/ashlang/example.ar1cs".to_string(),
             vec!["55".to_string()],
         )?;