search

lorenzb / proveth

Generate & verify Merkle-Patricia-proofs for Ethereum
Other
106 stars 7 forks source link

Soundness tests #11

Open lorenzb opened 6 years ago

lorenzb commented 6 years ago

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
relyt29 commented 6 years ago

proof fuzzing?

lorenzb commented 6 years ago

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