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....