smart contract is failing verificion for noTx > 11
barryWhiteHat opened this issue · 1 comments
barryWhiteHat commented
When noTx > 11 then the smart contract fails verification
libsnark still says the proof is correct.
barryWhiteHat commented
This is because it costs a lot of gas to include a public input in a snark verificatoin and once we get to 11 we OOG.