fix: unconstrained account absence

succinctlabs / rsp

A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.

Apache License 2.0

40 stars 12 forks source link

fix: unconstrained account absence #42

Closed xJonathanLEI closed 1 week ago

xJonathanLEI commented 1 week ago

Fixes a bug that potentially allows an attacker to forge the absence of an account by withholding account proof, as currently WitnessDb does not fail on absence, but successfully returns None instead.