feat: ashlang spartan proving

[chancehudson]

This PR is partially blocked by microsoft/Spartan#75. This pr uses a fork of spartan that is more friendly to proof serialization. As a result it cannot use a crates.io version of ashlang (git dependencies are not allowed in public packages).

done: generate params for ar1cs dynamically and compare to provided proof

[cloudflare-workers-and-pages]

Deploying mopro with    Cloudflare Pages

Latest commit:	5e20e78
Status:	✅  Deploy successful!
Preview URL:	https://4d2722ac.mopro.pages.dev
Branch Preview URL:	https://ashlang-spartan-support.mopro.pages.dev

View logs

[chancehudson]

this doesn't add android tests because i don't have JNA stuff installed on my current computer. I also have not run this code on device

[vivianjeng]

I think if each circuit only depends on ar1cs, we don't need the macro to setup circuits.
we can just replace prove with generate_ashlang_spartan_proof?

and it works well for my iPhone 👍🏻

[vivianjeng]

@chancehudson can you also include CI tests? Thank you

[vivianjeng]

add tests here: #246

[chancehudson]

I think if each circuit only depends on ar1cs, we don't need the macro to setup circuits.
we can just replace prove with generate_ashlang_spartan_proof?

No, uniffi needs the app to define the functions which is what the macro does. Without it app developers will need to write a function with the correct name themselves.