Vamp-IR REPL - Githubissues

anoma / vamp-ir

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

https://anoma.github.io/VampIR-Book/

Apache License 2.0

156 stars 44 forks source link

Vamp-IR REPL #60

Closed lopeetall closed 1 year ago

lopeetall commented 1 year ago

A REPL version of Vamp-IR would be great for testing and debugging circuits. Hosting the REPL online (like https://zkrepl.dev) would be great for onboarding Vamp-IR users.