hyperlane-monorepo

Commit Graph

Author	SHA1	Message	Date
Yorke Rhodes	50f04db1fa	Make merkle proofs optional on multisig ISM (#2173 ) ### Description Validators currently sign `(root, index)` checkpoints and during verification, a `message` is passed as calldata, an `id()` is derived, and a `proof` of `id()` at `index` in `root` is verified This provides “all or nothing” censorship resistance guarantees because a validator can only sign roots to allow any contained messages to be processed. We have considered alternatives where validators sign `message` directly and we lose censorship resistance in exchange for eliminating merkle proof verification gas costs. However, if validators sign `(root, index, message)` tuples, we can skip merkle proof verification on the destination chain while still maintaining censorship resistance by providing two valid metadata formats: 1. existing validator signatures and merkle proof verification of inclusion 2. including merkle proof verification for pathway where validators are censoring `message` It’s worth noting the validator is required to index event data to produce this new signature format. However, this does not require historical indexing and new validators being spun up can simply begin indexing from tip. See https://github.com/hyperlane-xyz/hyperlane-monorepo/pull/2187 for validator changes See https://github.com/hyperlane-xyz/hyperlane-monorepo/pull/2248 for relayer and e2e test changes ### Drive-by changes Merkle index also optional ### Related issues - Fixes https://github.com/hyperlane-xyz/hyperlane-monorepo/issues/2192 ### Backward compatibility - new ISM deployment is necessary (we could upgrade implementation in theory) - Validator and relayer upgrades ### Testing Unit (fuzz) Tests, E2E tests	2 years ago
Asa Oines	6b058e7014	Add checkConfig to HyperlaneRouterDeployer (#2156 ) ### Description Adds a pre-deploy check to HyperlaneDeployer, with an implementation for HyperlaneRouterDeployer that does a best-effort check that the ISM and IGP are properly configured for each chain. ### Drive-by changes - Move TestIsm to TestMultisigIsm for compatibility with pre-deploy checks ### Related issues - Fixes #2038 ### Backward compatibility _Are these changes backward compatible?_ Yes _Are there any infrastructure implications, e.g. changes that would prohibit deploying older commits using this infra tooling?_ None ### Testing _What kind of testing have these changes undergone?_ Manual	2 years ago
Asa Oines	f8d645e580	Add RoutingIsm (#1985 ) ### Description This PR adds `IRoutingIsm` and three implementations: - AbstractRoutingIsm, which folks building RoutingIsms can inherit from - DomainRoutingIsm, which routes based on message origin - InterchainAccountIsm, which routes based on the ISM in the InterchainAccountMessage ### Drive-by changes - Some related testing changes ### Related issues - Fixes #1521 ### Backward compatibility _Are these changes backward compatible?_ Yes _Are there any infrastructure implications, e.g. changes that would prohibit deploying older commits using this infra tooling?_ None ### Testing _What kind of testing have these changes undergone?_ Unit Tests	2 years ago
Asa Oines	96e03b1681	Remove Create2Factory and associated deployer code (#2064 ) ### Description As discussed offline, the complexity of maintaining consistent addresses across chains is no longer worth it, especially as consistent addresses cannot be maintained across PI chains. ### Drive-by changes - Move governors into infra/src/govern - Take initialization args list as opposed to abi encoded args in deployer - Do not initialize IGP in the constructor since we need to initialize the proxy ### Related issues - Fixes #2040 ### Backward compatibility _Are these changes backward compatible?_ Yes _Are there any infrastructure implications, e.g. changes that would prohibit deploying older commits using this infra tooling?_ None ### Testing _What kind of testing have these changes undergone?_ None	2 years ago
Asa Oines	63558af85d	Use interfaces in agents (#2022 ) ### Description Move agents to use contract interfaces artifacts rather than the artifacts themselves. This ensures we don't anything that we can't guarantee is in every implementation of that interface. Particularly relevant for IGPs and ISMs. ### Drive-by changes - Moves `solidity/interfaces` to `solidity/contracts/interfaces` so that their artifacts can be used in `update_abis.sh` ### Related issues - #1757 ### Backward compatibility _Are these changes backward compatible?_ Yes _Are there any infrastructure implications, e.g. changes that would prohibit deploying older commits using this infra tooling?_ None ### Testing _What kind of testing have these changes undergone?_ None	2 years ago
Asa Oines	e8d90775f7	Add Aggregation ISM (#1737 ) ### Description This PR introduces the Aggregation ISM, which requires interchain messages to be verified by an m-of-n ISM set. This PR also introduces a new MultisigISM, which does not make use of the "commitment" optimization in its metadata. The previous MultisigISM has been moved to LegacyMultisigISM. Both AggregationISM and MultisigISM have abstract contracts that require `valuesAndThreshold` implementations. This PR implements versions with static m-of-n sets, using the EIP-3448 MetaProxy standard. These implementations are intended to be combined with a future RoutingISM implementation to replace LegacyMultisigISM. ### Drive-by changes - genhtml in solidity code coverage ### Related issues - Fixes #1522 ### Backward compatibility _Are these changes backward compatible?_ Yes ### Testing _What kind of testing have these changes undergone? Unit Tests	2 years ago
Asa Oines	7f5d50ee9c	Interoperable Interchain Accounts (#1832 ) ### Description This PR introduces a version of Interchain Accounts that is fully interoperable with any compatible contract deployed on a remote chain. Rather than follow the previous `Router` pattern in which destination contracts were hard coded by the deployer, this version allows the user to optionally specify which destination contract should receive the interchain account message. In order to make this secure, interchain accounts are additionally name spaced by ISM and origin router. Note that this is not feature-complete until paired with a RoutingISM that switches based on the ISM included in the message ### Drive-by changes - Creates the `IRouter` and `IHyperlaneConnectionClient` interfaces - Moves middleware interfaces into their own directory - Moves middleware libs into their own directory - Changes `InterchainCallMessage` -> `InterchainQueryMessage` now that it's unused by anything else ### Related issues - Fixes #1747 - Fixes #1969 ### Backward compatibility _Are these changes backward compatible?_ No _Are there any infrastructure implications, e.g. changes that would prohibit deploying older commits using this infra tooling?_ None ### Testing _What kind of testing have these changes undergone?_ Unit Tests	2 years ago
Yorke Rhodes	4ac6290886	Use bytecode deployer for ICA auth (#1914 ) ### Description - Replaces `OwnableMulticall` (`owner` in storage) with `DeployerMulticall` (`deployer` in bytecode) for optimizing ICA deployment costs ### Backward compatibility No, bytecode changes implies new ICA addresses ### Testing Unit Tests	2 years ago
Trevor Porter	ddd3bbd698	Deploy new TestRecipients & blacklist old one on testnet (#1957 ) ### Description Context https://github.com/hyperlane-xyz/hyperlane-monorepo/issues/1956 ### Drive-by changes New TestRecipient salts, made TestRecipient ownable so that there's some access control on setting the ISM ### Related issues - Fixes https://github.com/hyperlane-xyz/hyperlane-monorepo/issues/1956 ### Backward compatibility _Are these changes backward compatible?_ Yes _Are there any infrastructure implications, e.g. changes that would prohibit deploying older commits using this infra tooling?_ None ### Testing _What kind of testing have these changes undergone?_ Deployed	2 years ago
Trevor Porter	f5d1fbbd03	On chain gas oracles in the IGP (#1765 ) * Rough implementations of all gas oracles, done with StaticGasOracle & tests * more tests, beef up StorageGasOracle * Tests cleaned up, moved to Foundry test for IGP * rm StaticGasOracle, fix all tests * cleaning up * comment * yarn gas, better comments * Fix sdk test * Fix e2e * Rm LZ stuff * fix router test * Rm MockInterchainGasPaymaster * pr comments * Move to setGasConfigs instead of setGasConfig * fix test * nit * yarn gas * IGP deploy & checker tooling, script to update on-chain StorageGasOracle data (#1794) * Add IGP gas oracle to checker * Checker works * Support different gas oracle contracts in IGP deploy tooling too * Export some types * Build out set-storage-gas-oracle-values * nit * nit * rm comment * Add pricing data * nits * nearly there * haven't tested e2e yet, but added new proxy upgrade logic to set gas oracles in IGP in upgradeAndCall * pr comments * lots * Move away from upgradeAndCall for IGP upgrade, trying to debug annoying dependency issue * Got working, cleaned a little * Add test to ensure a new implementation is deployed * yarn hyperlane * nits * cleaning * Map in description * Dedupe submission type logic * yarn gas * Separate beneficiary in IGP (#1801) * Add IGP gas oracle to checker * Checker works * Support different gas oracle contracts in IGP deploy tooling too * Export some types * Build out set-storage-gas-oracle-values * nit * nit * Add separate beneficiary to IGP * Checker / govern / deploy tooling * nits * Add compare-storage-gas-oracle * successful test upgrade, minor changes * Nits * Fix tests * Performed testne3 upgrade. Need to clean up code, but should probably use this for the mainnet upgrade * nit * update prices * Update gas prices and token exchange rates for mainnet * mainnet upgrade. needs lots of cleaning, but here it is in all its glory * Starting to clean up * more cleanup * Use updated submodules * yarn gas * nit * PR comments * yarn hyperlane * yarn gas	2 years ago
Yorke Rhodes	655bee2da7	Allow value in ICAs (#1640 ) * ICA router changes * Add ICA tests with value * Use InterchainCallMessage lib * Simplify interfaces of middlewares * Avoid using for to improve library coverage * Tolerate 2% gas snapshot deviations * Address pr comments	2 years ago
Yorke Rhodes	aeb056336c	Implement GasRouter (#1621 ) * Implement GasRouter * Add gas router deployer * Add quote gas helper to gas router * Add coverage to GasRouter * Update gas snapshot	2 years ago
Asa Oines	0477ee11ef	Speed up CI (#1683 )	2 years ago
Trevor Porter	7bafc83da6	Fix HyperlaneRouterChecker (#1660 )	2 years ago
Trevor Porter	bf9d0ae792	OverheadIGP.sol, deploy new IGPs, deploy ValidatorAnnounce (#1572 ) * IGP charges 1 wei * Don't pay for gas in LiquidityLayerRouter * yarn gas * Add GasOverheadIgp * Remove compiler silencing * yarn gas * Shift around some fns * nit var name * nit * Configure gas overhead IGP (#1588) * Instrument multisigIsm.verify gas costs * Add deployment tooling for IGP gas overhead * Include mailbox.process and max body in overhead * Restore multisig tests * GasOverheadIgp -> OverheadIgp, fix infra build * Prettier, change some infra / deploy tooling * run yarn hyperlane * yarn gas * yarn gas, update test contracts * rm OwnableUpgradeable for Overhead ISM * Move gas instrumentation into its own describe * back to TestRecipient__factory for normal verify tests * New submodule commits * deploy test * BaseInterchainGasPaymaster -> InterchainGasPaymaster * trying to deploy * Deploying with deployerOwnedProxyAdmin * Deployed to testnet3 * Cleaning up * cleaning up * clean * Fix tests * revert infra/package.json * clean up verification.json * Update yarn.lock * Fix lint * Changing logic around deployerOwnedProxyAdmin * Deploy mainnet * Redeploy testnet with new salt versions * nit Co-authored-by: Yorke Rhodes <yorke@hyperlane.xyz>	2 years ago
Trevor Porter	49969940b4	Pay for gas in TestQuerySender (#1615 ) * Pay for gas in TestQuerySender * Make TestQuerySender pay for gas * yarn gas	2 years ago
Yorke Rhodes	f21da232de	Fix bubbling up revert reason (#1597 ) * Fix bubbling up revert reason * Add Call lib * Add coverage for revert reasons to middlewares * Address pr comments * Update gas snapshot	2 years ago
Yorke Rhodes	1651c78ead	Deploy v2 middlewares (#1540 ) * Update contracts with initialize owner changes * Sdk updates * Deploy ICAs and IQS to testnet3 * Deploy ICAs and IQS to mainnet2 * Update artifacts with names * Fix celo IGP * Redeploy middlewares to testnet3 * Fix alfajores verification * Redeploy middlewares to mainnet2 * Use helloworld main * Address pr comments * Simplify expect violations * Update gas snapshot	2 years ago
Asa Oines	b450181c7f	Expose Mailbox.recipientIsm() as a public function (#1480 )	2 years ago
Asa Oines	05b2bdc8d8	Make MultisigIsm HIP compliant (#1478 )	2 years ago
Asa Oines	8f77723001	Consistent addresses for upgradable contracts (#1389 )	2 years ago
Nam Chu Hoai	93a8fb0c9b	Add ILiquidityLayerRouter (#1378 )	2 years ago
Yorke Rhodes	c25cd842b2	Run forge tests in CI (#1355 ) * Move foundry workflow so it is picked up by github * Require ISM in router config Co-authored-by: Asa Oines <asaoines@gmail.com>	2 years ago
Trevor Porter	6046ce68ef	v2 IGP interface change (#1308 ) * Solidity / ts changes * Update ABIs * Agent changes * cargo fmt * TestSendReceiver changes * Change param order * Rm gas payment > 0 check, add handleGasAmounts mapping to HelloWorld * Some renames * Update abi * Fix router test * Note on why we call the IGP always in _dispatchWithGas	2 years ago
Trevor Porter	bea8903982	More Abacus -> Hyperlane renames (#1330 )	2 years ago
Nam Chu Hoai	58492691c3	Rename to LiquidityLayer (#1277 )	2 years ago
Asa Oines	f4a2462364	Rename files to remove V2 suffix (#1198 )	2 years ago
Asa Oines	4a82f13dac	Adopt V2 throughout the solidity/typescript repo (#1196 )	2 years ago
Asa Oines	dbf993af59	Add mock V2 Mailbox contract (#1194 )	2 years ago
Asa Oines	41493f5cc2	Add Multisig ISM (#1193 )	2 years ago
Nam Chu Hoai	520f509a2e	TestQuerySender (#1222 ) * Add TestQuerySender * Add deployment * Prettier * Add events	2 years ago
Asa Oines	322c18e8d7	Add V2 Mailbox and Message contracts (#1185 )	2 years ago
Nam Chu Hoai	bb01859bad	TokenBridgeRouter and CircleBridgeAdapter (#1212 ) * Compiles * nit * Add initializer * Add some setters * Got it working * Don't track nonces in contract state * Nit * Starting tests * Tests * Use actual token behavior in mocktoken * Complete MockTokenBridgeAdapter * Fix up * fix * Fix test * Remove relayer * PR review * PR review Co-authored-by: Trevor Porter <trkporter@ucdavis.edu>	2 years ago
Nam Chu Hoai	16374dc2ef	Merge ICA package (#1170 ) * Merge ICA package * Remove reference in dockerfile * Lint * Rename to hardhat tests	2 years ago
Nam Chu Hoai	6bb358a0e3	Merge core and app packages (#1169 ) * Merge core and app packages * Fix test * Fix test * Dockerfile * Fix test	2 years ago
James Prestwich	9ff8490afd	basic token bridge design (#71 ) * wip: bridge messages * feature: add a WIP bridge contract for arbitrary tokens * ref: break out shared tools for devs into UsingOptics.sol * chore: add a type conversion util method * refactor: move token registry to its own contract * refactor: improve isNative using extcodsize * refactor: update slip44 to domain to match new nomenclature * doc: remove outdated TODO note * doc: add a note about the token registry's purpose * refactor: break out type casting to its own library * refactor: break Bridge code out into its own package * chore: make deps explicit in package.json files * refactor: improve clarity of mustHaveRemote * rename xfer to transfer (#89) * bug: fix a copy-paste error in bridge types Co-authored-by: Anna Carroll <anna-carroll@users.noreply.github.com>	4 years ago
Luke Tchang	64aad488e6	refactor: replaces all slip44 references with "domain" (#76 ) * refactor: replaces slip44 with domain in solidity directory * refactor: renames slip44 to domain in all rust directory files	4 years ago
James Prestwich	46296a0e0c	refactor: changes message handlers to use an interface (#65 )	4 years ago
Luke Tchang	fc251bd3bf	test: adds test coverage to Replica and Common message library (#64 ) * test: adds test cases for proving messages to replica test suite * test: adds tests for MessageLib and TestMessage contract * test: fixes hex address to lower case in address->bytes helper * runs prettier * refactor: moved State and MessageStatus enums to lib/index.js * refactor: shortens TestMessage pass throughs * refactor: removes unnecessary message getter * fix: corrects proof ordering switching in Replica test case * fix: removes unneccesary test helper * test: creates separate test/utils.js file for test utilities	4 years ago
Luke Tchang	1f22e023eb	test: adds tests for Common contract (fixed history) (#57 ) * test: adds output function to print hashes used in solidity/test/domainHashTestCases.json * test: adds domainHashTestCases.json file * test: adds signature and domainHash calculation tests to common tests * fix: runs prettier on contracts	4 years ago
Luke Tchang	188178263b	test: adds tests for Replica contract (fixed history) (#56 ) * fix: deleted repeated package in rust/Cargo.lock * test: fixes bad signature test, failing unproven process test * fix: adds condition to Replica::confirm to stop queue peek from reverting * feature: adds formatMessage and increaseTimestamp helper functions to lib * test: adds confirmation accept/reject tests * fix: fixes message indexing math in Common * feature: adds ethersAddressToBytes32 utility function * test: adds process success/fail test cases * test: adds setMessagePending external function to TestReplica * fix: addresses PR comments but successful process() call tx still not working * bug: successful process() test now uses callStatic but returned string is slightly off and in hex format * fix: process() test passing after decoding return value string * fix: runs prettier on contracts	4 years ago
Anna Carroll	c4ae975310	test: Merkle contract and rust implementation (#52 )	4 years ago
Luke Tchang	7cc25a9cbd	test: adds tests and fixes to home contract (#38 ) * lint: run prettier on js tests and scripts * tests: add 100% test coverage for the queue contract * test: adds halt on failed state and in progress test on accepting updates * fix: Updater.signUpdate now hashes message with Ethereum prefix before signing * fix: fixed off-by-one error in queue contains() where for loop wasn't visiting _q.last * fix: fix equality logic for double update check in Common.sol * feature: adds tests for skipping current root and submitting update with non-existent new root * test: adds test that ensures rejection of updates from fake updater * test: adds double update test * refactor: adds enqueueMessageAndSuggestUpdate helper function to shorten tests * test: adds test for suggested updates * refactor: changes doubleUpdate function to take single oldRoot rather than array * refactor: Home test helper function enqueues message and returns its root rather than both current and new root * refactor: moved queueContains and queueEnd from TestHome to QueueManager contract * refactor: moves signer and updater initialization to before block, now updater creation uses async static fromSigner Co-authored-by: James Prestwich <prestwich@clabs.co>	4 years ago
James Prestwich	fc7f2327f0	feature: inject an optics object into hre	4 years ago
James Prestwich	3e00a306db	tests: add test coverage for the queue contract (#33 ) * tests: add 100% test coverage for the queue contract * lint: run prettier on js tests and scripts * feature: allow Queue to efficiently operate on N items * chore: update to use USD in gas reports * chore: enable solidity optimizer with many runs	4 years ago

46 Commits (16a29edb002d108cdedbb8f6f47a7eb307316a00)