hyperlane-monorepo

Commit Graph

Author	SHA1	Message	Date
Yorke Rhodes	cb404cb85c	feat: implement checkpoint fraud proofs (#4277 ) ### Description Implements 4 categories of checkpoint fraud proofs for use in future validator slashing protocol: 1. premature: if a checkpoint index is greater than the corresponding mailbox count, it is fraudulent 2. non local: if a checkpoint origin does not match the checkpoint's mailbox domain, it is fraudulent 3. message id: if a checkpoint message ID differs from the actual message ID (verified by merkle proof) at the checkpoint index, it is fraudulent 4. root: if a checkpoint root differs from the actual root (verified by merkle proof + root reconstruction) at the checkpoint index, it is fraudulent Notably this is implemented independently from signature verification to allow for multiple checkpoint signing schemes to reuse the same checkpoint logic. ### Related issues - Touches https://github.com/hyperlane-xyz/hyperlane-monorepo/issues/3799 - See https://github.com/hyperlane-xyz/hyperlane-monorepo/pull/2431 for previous discussions ### Backward compatibility Yes ### Testing Unit testing with fixtures in `vectors/merkle.json` that are generated by the rust merkle tree and proof code	4 months ago
Yorke Rhodes	b14f997810	Graduate to yarn 4 🧶 (#2899 ) Co-authored-by: J M Rossy <jm.rossy@gmail.com> Fixes https://github.com/hyperlane-xyz/issues/issues/687 Fixes #2228 Fixes https://github.com/hyperlane-xyz/issues/issues/704	1 year ago
Yorke Rhodes	fcfecdf250	Update router implementations for v3 (#2749 )	1 year ago
Yorke Rhodes	46f5311a95	Init immutable mailbox v3 and native hooks Simplify mailbox and make interfaces payable Update version constant Keep message ID events	1 year ago
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
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
Nam Chu Hoai	55c9750cd9	SDK 0.2.1 (#537 ) * Alpha7 * Checker * Move AbacusCoreChecker to deploy	3 years ago
Yorke Rhodes	a93d3d33ed	Revert "Improve contracts revert messages (#538 )" (#549 ) This reverts commit `1450114fe0`.	3 years ago
Yorke Rhodes	1450114fe0	Improve contracts revert messages (#538 ) * Update core contract reverts with custom errors * Update core tests * Update app contracts and tests * Address pr comments	3 years ago
Asa Oines	9a7de7f117	Remove abacus- prefix from directories (#267 )	3 years ago
Nam Chu Hoai	79f1f200e8	Rename to abacus (#126 )	3 years ago
Erin Hales	7cdd461a34	test: cross chain governance (#312 ) * fix: OpticsIdentifier as_ref casts ethereum address conditionally * feature: adds GovernanceRouter test boilerplate and fixes ConnectionManager test setup * test: adds testProcess and revert message utility * test: adds test for handle revert with unenrolled replica * test: adds test for reverting in handle on nonGovernorRouter message * rename: formattedMessage --> opticsMessage * prog: blocked on incorrect setting of governorDomain = localDomain * fix: fix after domainHash rebase * test: adds success case transfer governor test * test: adds setRouter message success case * prog: Call message success case failing due to datalen mismatches * prog: storing in dynamic struct array reverts silently * add: initial setup * add: transfer governorship test * add: signUpdate * refactor: combine bridgerouter tests * fix: cast to address, set sequence * delete: old gov router tests * Fix transfer governor test * fix: debug call storage, get sequence * fix: bad merge rust code * revert: stale changes * refactor: nits, create thirdDomain/thirdRouter vars * refactor: extract some code into formatOpticsMessage * refactor: formatOpticsMessage * refactor: deployOptics and devDeployOptics * fix: bug, clean up code * lint * fix: add numCalls (#315) * fix: initial stab at adding numCalls * debugging: numCall type conversion * fix: read _numCalls from bytes29 * use MSG_PREFIX_LEN * clean: remove unused imports * fix: data bug, refactor a bit * add: Transaction reverted silently * fix: bug in formatCalls * refactor: formatCalls * add: check ret value for testProcess from GovernorRouter * enhance: more explicit naming * rename: BYTE_LEN to NUM_ITEMS * slow down turbo * enhance: assign _numCalls variable Co-authored-by: Luke Tchang <ltchang@stanford.edu> Co-authored-by: anna-caroll <anna.s.carroll@gmail.com>	4 years ago
Erin Hales	9320e06533	refactor: reorder functions (#280 )	4 years ago
Erin Hales	5b9c5c614a	Solidity Refactor (#277 ) * refactor: rename originDomain and ownDomain * refactor: create libs folder * refactor: rename interfaces * fix: common tests * fix: bad sig error * fix: event name * fix: update abi * fix: XAppConnectionManager tests	4 years ago
Anna Carroll	53f79d9964	Migrate from `constructor` to `initialize()` (#195 ) * Refactor constructors to initialize * Fix merge, fix lint * Move ownDomain to initialize; logically paired with instance, not implementation * Add initialize to Common * Solidity tests passing * Migrate GovernanceRouter to initialize * Fix GovernanceRouter * Integrate Replica and ProcessingReplica; fix function collision in abigen * Fix: rust syntax; remove commented line * Gate initialize() on state.UNINITIALIZED * Rename queue.init() -> queue.initialize()	4 years ago
Luke Tchang	398f928cbc	docs: adds natspec documentation to core contracts (#137 ) * docs: adds documentation to Home contract * docs: specifies what destinationAndSequence calculation gives * docs: adds documentation for Replica contract * docs: adds documentation to Common * docs: adds documentation to Queue * docs: adds documentation to Merkle	4 years ago
Erin Hales	c6126431be	WIP/enhancement: linting and coverage (#106 ) * enhancement: linting * enhancement: pre-commit hooks with cargo-husky * enhancement: pre-commit hooks for solidity * fix: pre-commit script * ok to add package-lock.jsons * add: npm husky * format: README * add: bypass info to README * clean: remove husky script * configure: play nice, prettier and eslint * fix: lint settings * refactor: ethlint to solhint * lint: compiler version * lint: everything * lint: optics-bridge * lint: mark visibility of state * lint: TokenRegistry * enhancement: make pre-commit.sh executable * chore: clean code and dependencies * lint: optics-core tests * enhance: pre-commit.sh * fix: delete commented code, kathy/cargo.toml	4 years ago
Luke Tchang	2dd857bbb8	feature: adds untested ProverSync struct to optics-core (#78 ) * feature: basic ProverSync setup * prog: basic setup for linking enqueuings to roots * refactor: modifies Dispatch event to contain treeSize field and condenses destination and sequence into single field * feature: adds leaf_by_tree_size methods to Home abi and logic for updating local tree in prover_sync * format: runs cargo fmt * prog: comments out unused code from previous design * fix: replaces slip44 references with domain * refactor: moves interval to parameter instead of ProverSync struct field * fix: deletes commented out code from NewLeaf design * refactor: modifies ProverSync error handling to bubble up ProverSyncError type * fix: removes slip44 reference * refactor: adds incremental merkle tree to ProverSync and batch updates prover on successful incremental update * fmt: runs cargo fmt * fix: fixes raw_message_by_sequence filtering after destination and sequence event fields were combined to single field in Home * fix: simplifies error handling, adds retry counter for failed api calls, and clones incremental merkle * fix: renames leaves_by_tree_size to leaves_by_tree_index * fix/docs: fixes Home Dispatch event to use leafIndex instead of treeSize and fixes docs to reflect change * fix: changes num_retries to u32 * refactor: cleans up error handling * docs: adds comment about why leafIndex is count() - 1 * fix: deletes old NewLeaf event from Home * fmt: runs cargo fmt * fix: removes num_retries field * refactor: simplifies destination_and_sequence util * fix: fixes typo in warning message * refactor: derives transparent errors * docs: improves comments for prover-sync/incremental merkle behavior * fix: restarts poll_updates loop if prover root was updated while we were building leaf vector from incremental merkle * feature: adds ProverSync::new function * fix: ProverSync stops polling updates on invalid local_root * fmt: runs cargo fmt	4 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
Anna Carroll	c4ae975310	test: Merkle contract and rust implementation (#52 )	4 years ago
James Prestwich	63be9700d9	refactor: MerkleLib now has 32 zero hashes as constants, and a ctx	4 years ago
James Prestwich	f65a1a4a7c	feature: message processing	4 years ago
James Prestwich	a715cb3d55	feature: branchRoot	4 years ago
James Prestwich	2afd32391a	the last syllable of recorded time	4 years ago

6 Commits (5158296489fe70ce36da40e598fa6e504a45d49a)