mopro

mopro copied to clipboard

Publish ark-zkey module as a library on Crate.io

3

## Problem The `mopro` project currently works under a patch to the `wasmer` library. This patch causes a conflict and overrides dependencies when using `mopro` as a submodule if `wasmer`...

seemenkina

Integrating gpu exploration app

6

The gpu exploration app is made using `mopro init`. This app explores the msm functions that we implements in `mopro-core` and test in rust, and can be run on simulator...

FoodChain1028

feat(core): use wasm3 to generate witness

1

- solution to #109 it can be published to testflight and generate a proof - it uses the [wasm3](https://github.com/wasm3/wasm3-rs) and [circom-compat-wasm3](https://github.com/vivianjeng/circom-compat-wasm3) - **Pros:** - Minimal mopro code base changed -...

vivianjeng

Serialize/deserialize ark-zkey

1

## Problem Previously we use ark-zkey to decrease zkey size and loading time [ark-zkey](https://github.com/zkmopro/mopro/tree/main/ark-zkey) But then we use `new_unchecked` to fix circom-compat zkey loading time https://github.com/zkmopro/mopro/issues/25#issuecomment-2067880755 and ark-zkey serialization/deserialization is...

vivianjeng

Improve zkey load time

12

# Problem It is slow to load zkey. `cargo test --release test_generate_proof2 -- --nocapture` shows it takes ~70-80s to load in zkey for a ~80mb file (Keccak256). Zkey is ~80mb...

oskarth

Dylib Framework not accepted by App Store

5

# Problem When submitting example app to app store we get the following error: ``` We noticed one or more issues with a recent delivery for the following app: MoproExampleApp...

oskarth

React Native support

8

## Problem A lot of projects want React Native library. We should support this. ## Notes With native modules we should be able to bind the Swift and Kotlin to...

oskarth

Benchmark and compare with rapidsnark prover

3

## Problem Right now we are using ark-groth16 as native prover. This is in Rust and simplifies a lot of things. At the same time, rapidsnark is more mature and...

oskarth

I’m not sure it’s much progress, but the error is different now: ``` ITMS-90868: Missing Bundle Executable - You must include a valid CFBundleExecutable key in your bundle's information property...

0xturboblitz

Improve native witness generation performance with circom-witness-rs

12

# Problem When running RSA circuit we get: ``` Initializing library with arkzkey Time to deserialize proving key: 7.937347541s Time to deserialize matrices: 28.784083ms Initializing arkzkey took: 8.00s Generating proof...

oskarth