Ya-wen, Jeng issues

Results 30 issues of


                                            Ya-wen, Jeng

Flutter/Dart support

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

good first issue

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

Update e2e and bindings tests

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

good first issue

Check if tutorial in documentation work in CI

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

unsafe precondition(s) violated: ptr::copy_nonoverlapping requires that both pointer arguments are aligned and non-null and the specified memory ranges do not overlap

## execution ```sh cargo test --package ark-circom --test groth16 --features circom-2 -- witness_generation_circom2 --exact --show-output ``` ## version cargo 1.78.0 (54d8815d0 2024-03-26) ## error ```sh running 1 test thread 'witness_generation_circom2'...

feat(ffi): add gkr adapter

doc: add flutter setup instructions

- init documentation for flutter setup - example: https://github.com/zkmopro/flutter-app - add instructions how to add the plugin

Binius integration

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

good first issue

Mopro Cli v0.1.0

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

good first issue

Overhead of computing all nullifiers

## Problems It calculates all nullifiers from signup epoch to current epoch ($$O(\text{epoch})$$ complexity) and it causes 100% CPU usage https://github.com/Unirep/Unirep/blob/ee93f6d9727e8fe8772dae6428f8aabffc650a12/packages/core/src/UserState.ts#L471-L484 ## Solution We (probably) only need nullifiers from `transitionedEpoch`...