mopro
mopro copied to clipboard
zkmopro
Making client-side proving on mobile simple.
# Problem The current `app!` macro implements the functions defined in the udl file. This is clunky because we always have to define each function even if we're not compiling...
# Problem We should add support for generating STARK proofs in the [triton-vm](https://github.com/TritonVM/triton-vm/?tab=readme-ov-file#triton-vm) using their assembly language. ## Details The triton vm parses some assembly, executes it in a VM,...
This PR explores how Mopro could look if we adopt UniFFI Procedural Macros instead of using UDL files, which allows us to dynamically generate functions and objects that can be...
# Problem We currently support bls12-381 curve #207 but e2e and bindings tests are missing ## Details - add e2e tests (`multiplier2_bls`) - add bindings tests (`multiplier2_bls`), clean unused tests...
# Problem https://github.com/zkmopro/mopro/pull/190#discussion_r1662127498 https://github.com/zkmopro/mopro/pull/190#discussion_r1662139713 Now the documentation is written and maintained manually We can use templates, CI to help check if the tutorial works ## Details 1. create a template...
# Problem For Groth16, we currently rely on wasm3 for witness generation and circom-compat for proof generation. There's circom-witness-rs which seems promising and would be roughly comparable with rapidsnark+witnesscalc. Recently...
# Context This is a meta-issue to capture and give context to various adapters we are supporting or want to support.  General problem: we want to make it as...
- [Nova Scotia](https://github.com/nalinbhardwaj/Nova-Scotia) folding test in morpo ffi - Using toy r1cs example of Fibonacci sequence
- init documentation for flutter setup - example: https://github.com/zkmopro/flutter-app - add instructions how to add the plugin