search

ethereum / go-verkle

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

fix absent keys in proofs #401

Closed jsign closed 11 months ago

jsign commented 11 months ago

This PR proposes a fix to https://github.com/gballet/go-verkle/pull/400.

It fixes two things:

  1. Verifier fix: rebuilding the tree from a proof that has an absent key (other) case.
  2. Prover fix: leaf nodes shouldn't open C1/C2 for keys that don't match the leaf steam.