The hash preimages for storage calculations were wrong for two storage
slots. The updated preimages can be verified to be correct with e.g. the
`chisel` command line tool from the foundry suite.
The payload version 1 relayer has long been superceded by the more
modular relayer-engine and specialized / automatic relayers. The newer
relayers all rely on wormhole payload version 3 and no one is currently
running a payload version 1 relayer. Additionally, support for it has
been removed from portal bridge by the portal maintainers.
The code lives on in the better maintained and supported relayer-engine.
* ethereum: Add Foundry tests written by RV
* ethereum: Add scripts and instructions to run proofs using KEVM
* ethereum: Fix typo on testSetup_after_setup_revert_KEVM
* ethereum: Edit Makefile to skip KEVM tests when running forge test
* ethereum: Fix commented-out lines in Foundry tests
* ethereum: Refactor GovernanceStructs invalid-size tests
* ethereum: Replace assume with bound in Foundry tests
Co-authored-by: Jeff Schroeder <jeffschroeder@computer.org>
* ethereum: Apply review suggestions to run-kevm script
Co-authored-by: Jeff Schroeder <jeffschroeder@computer.org>
* ethereum: explicit cast to uint8 for some vars
The bound() calls need to be explicitly cast to uint8 from the uint256
that forge-std's bound() returns.
* ethereum: updating some of the RV tests
The definitions don't compile with newer forge/solc.
* ethereum: Add assumption to test that guardian count > 0
Prevents an arithmetic over/underflow error in testCannotVerifySignaturesWithOutOfBoundsSignature, in the expression bound(outOfBoundsGuardian, 0, params.guardianCount - 1)
---------
Co-authored-by: Lucas MT <lucas.tabajara@runtimeverification.com>
Co-authored-by: Jeff Schroeder <jeffschroeder@computer.org>
For some reason the bound variables in the lambda were underscored,
unclear why. In turn, `yargs` referred to the package, resulting in
runtime errors. This is the sort of thing that an actual type system
would help with.
This upgrades the toolchain and the move dependencies to
eb0144a39a.
Also required adding the `--dev` flag to the test commands in the
makefiles, as that is no longer the default with the new toolchain.
Csongor Kiss
M-Picco
Jeff Schroeder
Paul Noel
tbjump
bruce-riley
tbjump
Kevin Peters
lucasmt
derpy-duck
Jonathan Claudius
Reisen
Paul Noel
Evan Gray
Bruce Riley
Kevin Peters