search

ethereum / go-verkle

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

proof: check poas slice usage exhaustion #410

Closed jsign closed 10 months ago

jsign commented 10 months ago

This PR adds an extra check when reconstructing the pre-state tree.

The tree reconstruction must exhaust using all the proof of absence stem list, if that isn't the case it means that the proof contains unused stems which must signal an invalid proof.