Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Mopro Cli v0.1.0 #234

Closed
vivianjeng opened this issue Aug 24, 2024 · 3 comments · Fixed by #267
Closed

Mopro Cli v0.1.0 #234

vivianjeng opened this issue Aug 24, 2024 · 3 comments · Fixed by #267
Assignees
Labels
good first issue Good for newcomers

Comments

@vivianjeng
Copy link
Collaborator

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. mopro init: create an example rust project following the tutorial: Rust Setup
    • (Optional) Let user input a project name
    • (Optional) Let user specify proving systems
    • (Optional) Let user input circuits path
  2. mopro build: export MoproiOSBindings, MoproAndroidBindings
  3. mopro create: create the mobile app itself
    • Options: platforms

Acceptance criteria

Make sure mopro init, mopro build, mopro create works and the apps work

Next steps (optional)

  • Documentation:
    Getting started with the cli
    And move the current setups to Tutorial section
@oskarth
Copy link
Collaborator

oskarth commented Sep 2, 2024

For reference, here's the previous issue #77 that was addressed with mopro-cli

Documentation here https://zkmopro.org/docs/0.0.1/mopro-cli

Example usage here https://www.loom.com/share/6ff382b0497c47aea9d0ef8b6e790dd8

@vivianjeng vivianjeng added the good first issue Good for newcomers label Sep 7, 2024
@vivianjeng
Copy link
Collaborator Author

mopro init is done #235
mopro build is opened #237

@vivianjeng
Copy link
Collaborator Author

mopro create is done #245 (for iOS and Android)
TODO: react-native and flutter

@alxkzmn alxkzmn self-assigned this Nov 26, 2024
@alxkzmn alxkzmn linked a pull request Dec 5, 2024 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
good first issue Good for newcomers
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants