search

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

Restructure subcommands #64

Closed lopeetall closed 1 year ago

lopeetall commented 1 year ago

commands are now:

vamp-ir plonk setup ...
vamp-ir plonk compile ...
vamp-ir plonk prove ...
vamp-ir plonk verify ...

vamp-ir halo2 compile ...
vamp-ir halo2 prove ...
vamp-ir halo2 verify ...