Fix proof generation and verification code

ethereum / go-verkle

A go implementation of Verkle trees

The Unlicense

209 stars 63 forks source link

Closed jsign closed 10 months ago

jsign commented 10 months ago

This PR:

Adds more tests for proof generation and verification, mostly around border-cases.
Adds more checks that should make proof be considered invalid.
Merged #413
Merged #414