ethereum / go-verkle

A go implementation of Verkle trees
The Unlicense
209 stars 63 forks source link

Proof of absence and presence for the same path with nil proof of presence value #414

Closed jsign closed 10 months ago

jsign commented 10 months ago

This is a proposed fix to https://github.com/gballet/go-verkle/pull/413.

At the end of the day, it's almost aligned with the ultra-original Python implementation, which probably did this for the same reason I found #413 problematic.

jsign commented 10 months ago

Thanks for tackling this, it was long overdue. Before we merge, have you ensured that it could sync kaustinen and verify every proof?

I'll merge all back to #412, and I'll test Kaustinen with that branch before merging to main.