zero-knowledge-gadgets icon indicating copy to clipboard operation
zero-knowledge-gadgets copied to clipboard
verified publisher icon webb-tools

[BUG] VAnchor amounts / tests are showing broken amount invariant

Open drewstone opened this issue 3 years ago • 0 comments

It seems that the VAnchor R1CS circuit has a bug in either its implementation or in its tests. It is possible to mutate the input UTXO amounts to create an invalid invariant of amounts (public_amount + input_amounts === output_amounts should hold).

drewstone avatar May 16 '22 13:05 drewstone