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

VampIR should return non-zero exit code on proof verification error #93

Closed lukaszcz closed 1 year ago

lukaszcz commented 1 year ago

Otherwise one needs to parse the output to determine programatically if proof verification succeeded.

lukaszcz commented 1 year ago

Cf. #75

lukaszcz commented 1 year ago

For plonk it also exits with 0 on an invalid proof