oskarth

Not high priority, but it'd also be cool to have support for true multi-platform ZK apps: - desktop bindings - generate a CLI for your zk app for basic proving/verifying...

Update: doesn't work for actual app store upload due to: > ITMS-90426: Invalid Swift Support - The SwiftSupport folder is missing. Rebuild your app using the current public (GM) version...

Experimental Kimchi (used in Mina blockchain, backend for o1js) support here https://github.com/oskarth/mopro/pull/34

Noir is also relevant

Holonym VOLE prover for very fast alt proof system that trades off succinctness (good for non-blockchain use cases), used in some ZK Identity solutions: https://github.com/holonym-foundation/vole-zk-prover

One thing that'd help with this is `mopro clean` wrapping cargo clean. For now recommendation is to do `cargo clean` in mopro-core. Related https://github.com/oskarth/mopro/issues/73

A bunch of this was removed from recent PR #75 by @vivianjeng Maybe some left-overs for Setup, not sure?

This is a separate issue from OP now I realize, but we probably want to make this cleaner: https://github.com/oskarth/mopro/blob/main/mopro-ffi/src/lib.rs right now two generate_proof functions and it is a bit confusing...

Circom binary cache sketch: ``` jobs: # ... other jobs ... setup: runs-on: ${{ matrix.os }} strategy: matrix: os: [macos-latest, ubuntu-latest] steps: - uses: actions/checkout@v3 - name: Cache circom uses:...

With workspaces https://github.com/oskarth/mopro/pull/80 we can probably reduce core/ffi build time so we don't build it twice. This is because we are sharing the target directory.