-
clabby authored
Adds a test for a separate proof validity case, where the proofs provided are correct relative to the state witness' merkle root, but correspond to a separate leaf that does not contain the desired program counter address or memory address read by the instruction.
c4226bf4
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| chain-mon | ||
| contracts-bedrock | ||
| sdk |