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.

Sign up for GitHub

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

Jump to bottom

add command line tool for proof generation & verification #238

Open
jan-ferdinand opened this issue Nov 17, 2023 · 3 comments · May be fixed by #305
Open

add command line tool for proof generation & verification #238

jan-ferdinand opened this issue Nov 17, 2023 · 3 comments · May be fixed by #305
Labels
🧑‍💻 dx/ux Developer experience & user experience 💫 good first issue Good for newcomers 🟡 prio: medium Not super urgent 🛠️ tooling Developer tools

Comments

@jan-ferdinand
Copy link
Member

It would be nice to run Triton VM as a command-line tool; Andrew Milson's demo of ministark is a good example; basically one sub-command for proving and dumping something into a file (or stdout), and another sub-command for verifying by reading that file (or stdin).

(extracted from #164)
@jan-ferdinand jan-ferdinand added 🛠️ tooling Developer tools 💫 good first issue Good for newcomers 🟡 prio: medium Not super urgent 🧑‍💻 dx/ux Developer experience & user experience labels Nov 17, 2023
@jan-ferdinand jan-ferdinand mentioned this issue Nov 17, 2023
Closed
@cyberbono3
Copy link

may I start working on it?

@jan-ferdinand
Copy link
Member Author

Sure thing! 🙂

@cyberbono3 cyberbono3 mentioned this issue Jun 8, 2024
Closed
@chancehudson chancehudson linked a pull request Jul 11, 2024 that will close this issue
Open
@chancehudson
Copy link

gentle bump, could use #305 next week

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
🧑‍💻 dx/ux Developer experience & user experience 💫 good first issue Good for newcomers 🟡 prio: medium Not super urgent 🛠️ tooling Developer tools
Projects
None yet
Milestone
No milestone
3 participants
@chancehudson @jan-ferdinand @cyberbono3