snarkVM icon indicating copy to clipboard operation
snarkVM copied to clipboard
verified publisher icon AleoNet

[Bug] Add a public input size check to Marlin verifier

Open howardwu opened this issue 3 years ago • 0 comments

🐛 Bug Report

The Marlin verifier needs a software check for the expected number of inputs. Currently, one can pad with extra zeros unintentionally and the verifier can pass.

howardwu avatar Jul 13 '22 07:07 howardwu