-
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 |
|---|---|---|
| .. | ||
| Bridge_Initializer.sol | ||
| CommonTest.sol | ||
| Events.sol | ||
| FFIInterface.sol | ||
| Setup.sol |