feat: ashlang spartan proving (#244)

* feat: ashlang spartan proving

* fix: switch to crates.io ashlang version

* chore: bump scalarff version to fix pointer width detection

* chore: add comments to ashlang ar1cs test vector

* chore: bump scalarff version

* feat: ashlang spartan proving in e2e tests

* chore: git ashlang dep

* chore: switch to scalarff version without twenty-first dep

* chore: bump cargo lock

* fix: feature naming

* fix: ashlang spartan proof verification

* chore: remove unused function in swift test

* chore: pin to specific ashlang commit

* chore: cleanup mopro-ffi cargo.toml, add ashlang job in ci, add macro for when ashlang is not enabled

* chore: remove unused line

* chore: add ios, android e2e tests

* fix: use relative path for ar1cs test file

* fix: set public signals to be empty in ashlang spartan prover

* chore: add multiplier2 circuit

---------

Co-authored-by: Ya-wen, Jeng <vivi432@yahoo.com.tw>

.github/workflows/build-and-test.yml

@@ -46,6 +46,18 @@ jobs:
                   override: true
             - name: Run ffi circom tests
               run: cd mopro-ffi && cargo test --features circom --no-default-features
+    test-ffi-ashlang:
+        runs-on: ubuntu-latest
+        if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
+        steps:
+            - uses: actions/checkout@v4
+            - name: Install Rust toolchain
+              uses: actions-rs/toolchain@v1
+              with:
+                  toolchain: stable
+                  override: true
+            - name: Run ffi ashlang tests
+              run: cd mopro-ffi && cargo test --features ashlang --no-default-features
     test-e2e:
         runs-on: ubuntu-latest
         if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
@@ -179,4 +191,4 @@ jobs:
             - name: Setup Android SDK
               uses: android-actions/setup-android@v2.0.10
             - name: Build android app
-              run: cd test-e2e/android && ./gradlew build
+              run: cd test-e2e/android && ./gradlew build