mopro
mopro copied to clipboard
zkmopro
Making client-side proving on mobile simple.
# Problem Binius is a high efficient snark proof over binary fields See Vitalik's [blog](https://vitalik.eth.limo/general/2024/04/29/binius.html) implementation: https://gitlab.com/IrreducibleOSS/binius ## Details - create ffi for `generate_binius_proof` and `verify_binius_proof` - write down tests...
# Problem A cli like `circom`, foundry, `create-react-app`... is helpful for developers getting started with a new project. ## Details - create a `mopro-cli` directory including the following commands 1....
# Problem Similar to #410 related to https://github.com/zkmopro/react-native-app/issues/6 ## Details prove with halo2 example circuits ## Acceptance criteria 1. download `react-native-app` and follow the readme, and it can generate/verify a...
# Problem After we integrate `noir` in mopro CLI #399 Users will choose `react-native` as a template but now the [react-native-app](https://github.com/zkmopro/react-native-app) template doesn't support noir proving ## Details Add noir...
# Problem After we integrate `noir` in mopro CLI #399 Users will choose `flutter` as a template but now the [flutter-app](https://github.com/zkmopro/flutter-app) template doesn't support noir proving ## Details Add noir...
# Problem Similar to #409 related to https://github.com/zkmopro/flutter-app/issues/7 ## Details prove with halo2 example circuits ## Acceptance criteria 1. download `flutter-app` and follow the readme, and it can generate/verify a...
# Problem Currently we manually publish the swift package ([zkemail-swift-package](https://github.com/zkmopro/zkemail-swift-package)) in my local with ```sh pod trunk push ZKEmailSwift.podspec --skip-tests \ --skip-import-validation \ --allow-warnings \ --verbose ``` and others cannot...
check the preview of blog here: https://docs-blog-noir-and-zkemail-m.mopro.pages.dev/blog
check the preview of the blog here https://docs-blog-native-mobile-pack.mopro.pages.dev/blog/2025/04/30/native-mobile-packages
