proveth icon indicating copy to clipboard operation
proveth copied to clipboard

Published 20 hours ago • verified publisher icon lorenzb

Soundness tests

Open lorenzb opened this issue 6 years ago • 2 comments

We should test that invalid proofs are rejected by the verifier. Suggested approach:

  1. Manually create a few invalid proofs
  2. Test edge cases (e.g. empty nodes list in proofBlob)
  3. Mutate valid proofs in randomly chosen single byte

lorenzb avatar Jul 30 '18 17:07 lorenzb

proof fuzzing?

relyt29 avatar Aug 23 '18 15:08 relyt29

In the long run that would be nice. For now, a few basic tests would already mark a substantial improvement.

lorenzb avatar Aug 23 '18 15:08 lorenzb