* CCQ: Query Server
* More rework
* Clean up p2p code
* Health check change
* node: support http PUT or POST for new ccq queries
---------
Co-authored-by: Jeff Schroeder <jeffschroeder@computer.org>
* aptos: update upgrade script to support mainnet
Also factor out named_addresses into a separate helper script
* scripts: aptos support for gov proposal generation
* sdk/js: add aptos nft_bridge mainnet address
ubuntu-20.04 ships with GLIBC-2.31, but the latest foundry
nightly (which these CI actions use) link against 2.33+ (perhaps foundry
should statically link against something like musl...?)
So instead we run these two tests on ubuntu-latest
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>