mopro
mopro copied to clipboard
zkmopro
Making client-side proving on mobile simple.
# Problem When running `./scripts/build_ios.sh config-complex.toml` and changing circuit from 100k to 200k etc it seems like mopro-core often remembers the old circuit. If a new circuit name is provided...
*This issue is a stub and will be filled out with more details/links over time. It is also more of an umbrella issue than a specific task.* ## Problem Modern...
Super hacky initial Kimchi PoC. Wraps some bench tests in Kimchi, https://github.com/o1-labs/proof-systems/blob/master/kimchi/src/bench.rs#L125-L141 Takes some shortcuts with serialization/error handling etc. Screenshot from iPhone 14:  Minor modifications upstream here https://github.com/oskarth/proof-systems
# Problem Right now we use wasmer wasm for Circom witness generation and static lib for whole of mopro. This might be a challenge in a few areas: - Performance...
## Problem Now the `generate_proof` in mopro-ffi doesn't support 254-bit inputs/outputs (which is the snark scalar field in bn254) https://github.com/oskarth/mopro/blob/018bb1e3075d6f75f5e8edf0037bceff3f62bfbf/mopro-ffi/src/lib.rs#L66-L69 ## Notes The acceptable types are listed here: https://mozilla.github.io/uniffi-rs/udl/builtin_types.html We...
# Problem Folding schemes are used by many projects and there are many mature tools: https://github.com/lurk-lab/awesome-folding?tab=readme-ov-file ## Details Support one of the folding schemes (or many). ## Acceptance criteria Generating...
# Problem [gnark](https://github.com/Consensys/gnark) is a fast zk library. It is even more performant than ark-works. We can try to integrate it as an adapter. ## Details Either - generate a...
## Problem Flutter/Dart is commonly used in mobile development. https://flutter.dev/ We should support this. ## Details We can either 1. Use swift and kotlin bindings in Flutter/Dart 2. Use the...
# Problem ark-circom v0.1.0 has been published https://crates.io/crates/ark-circom so the `cargo publish` will find the crate in `crates.io` first ## Details We published `mopro-ffi v0.1.0` but the `cargo` uses the...
# Problem Our current `app_config` module supports building a static library for iOS, and for Android. We offer no support for javascript. ## Details We should add build logic for...
