The home for Hyperlane core contracts, sdk packages, and other infrastructure

blockchain hyperlane interchain monorepo

History

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
..
.vscode	[Chore] Fix VSCode formatting and prettier precommit (#501 )	3 years ago
contracts	Make merkle proofs optional on multisig ISM (#2173 )	2 years ago
lib/forge-std	Run forge tests in CI (#1355 )	2 years ago
test	Make merkle proofs optional on multisig ISM (#2173 )	2 years ago
.env.example	Merge core and app packages (#1169 )	2 years ago
.gas-snapshot	Make merkle proofs optional on multisig ISM (#2173 )	2 years ago
.gitignore	Fix contracts test coverage instrumentation (#2089 )	2 years ago
.solcover.js	Fix contracts test coverage instrumentation (#2089 )	2 years ago
.solhint.json	Merge audit v2 remediation to main (#1727 )	2 years ago
.solhintignore	Merge audit v2 remediation to main (#1727 )	2 years ago
README.md	Merge audit v2 remediation to main (#1727 )	2 years ago
coverage.sh	Fix CI flakiness (#2269 )	2 years ago
foundry.toml	Use minimal proxies in ICA router (#1440 )	2 years ago
hardhat.config.ts	Use minimal proxies in ICA router (#1440 )	2 years ago
package.json	Bump versions to 1.3.4 (#2167 )	2 years ago
remappings.txt	Add foundry to core (#1171 )	2 years ago
slither.config.json	Add Aggregation ISM (#1737 )	2 years ago
tsconfig.json	Try adjusting core tsconfig (#2138 )	2 years ago
update_abis.sh	Add relayer support for MultisigIsm and RoutingIsm (#2074 )	2 years ago

README.md

Unescape Escape

Hyperlane Solidity

On-chain implementations of Hyperlane in Solidity.

Setup

npm install --dev
brew install jq OR sudo apt-get install jq

Build

npm run compile
npm run test

README.md Unescape Escape

Hyperlane Solidity

Setup

Build

README.md

Unescape Escape