anoma/vamp-ir

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

Closed this issue · 2 comments

lukaszcz commented

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

lukaszcz commented

Cf. #75

lukaszcz commented

For plonk it also exits with 0 on an invalid proof