226 Commits (c89497345ae1114d4a7dc8bc58d2bca14d0cb1d0)

Author	SHA1	Message	Date
Luke Tchang	dc52d01882	feature: adds watcher support for UsingOptics unenrollment (#229) ... * fix: only takes domain and updater * fix: unenrollReplica reverts instead of silent failure and events emitted * feature: adds failure notification structs * feature: adds signer to watcher and produces signed failure notifications on fraud * fix: update after rebasing on main with watcher disk changes * fix: removes stale db_paths from updater and watcher * prog: adds test function in optics-core to produce signed updates for common test suite (broken) * fix: renames previousRoot oldRoot and fixes originDomain to match Common tests * test: adds test to verify watcher SignedFailureNotifications in Solidity * refactor: adds and uses Addresses enum to support 20 and 32 byte addresses * refactor: make an OpticsIdentifier type * feature: add function to cast identifier to ethereum * fix: fixes replica deployment in UsingOptics tests Co-authored-by: James Prestwich <prestwich@clabs.co>	4 years ago
Erin Hales	6426801262	bump: @summa-tx/memview-sol (#249) ... * bump: @summa-tx/memview-sol * debug: add error tracing to automerge	4 years ago
Anna Carroll	769d6b1c28	Script to Deploy Contract Suite (#230) ... * Move GovernanceRouter to optics-core * Update deploy upgrade scripts * Add system deploy script * Fix issues with deploy script * set home on updaterManager * Fix booogs * chore: remove governance from workflow file Co-authored-by: James Prestwich <prestwich@clabs.co>	4 years ago
Luke Tchang	1490207c7d	feature: adds unrenroll permissioning to UsingOptics (#219) ... * feature: adds permissioned unenrollReplica to UsingOptics * feature: adds setWatcherPermission for owner * fix: add check that replica updater matches signed * fix: rename watcherPermissions * fix: only takes domain and updater * fix: adds domainHash to watcher signed data * refactor: recovers watcher from sig and checks permissions after * fix: unenrollReplica reverts instead of silent failure and events emitted	4 years ago
Anna Carroll	be4704e85a	Implement Controller (#224) ... * Minimal Controller * Remove deploy functionality from UpgradeBeacon - not necessary interface * Update tests to use controller to upgrade * fix rebase	4 years ago
Luke Tchang	9bc2feff4b	fix: update deploy scripts after upgradability changes (#208) ... * Move ownDomain to initialize; logically paired with instance, not implementation * fix: updates deploy scripts to deploy upgradable contract suite * fix: fixes commas in replica.rs collision avoidance * fix: fixes object used in console logs * fix: style fixes on replica deploy script and addition of lastProcessed field * fix: removes duplicated line after rebase on main * fix: rename executables Co-authored-by: anna-caroll <anna.s.carroll@gmail.com>	4 years ago
Erin Hales	40339c2216	GitHub Actions - Solidity (#216) ... * Create solidity actions * fix: cd commands * add: npm i * fix: install in each directory * fix: add back cd into solidity directory * fix: set working-directories * fix: typo * test: reorder test jobs * fix: typo in rust README * test: run update_abis.sh * test: list files * test: cd into scripts directory * revert: figured out problem * fix: update_abis.sh * refactor: split job by directory, install once * remove: optics-upgrades checks	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
Erin Hales	23ccb8ca24	Immutable local domain (#201) ... * enhance: immutable localDomain * delete localDomain function * clean: more explicit variable name * fix: setUsingOptics call, reorder state variables * nit: reorder variables for clarity * update: solidity optics-bridge package-lock.json	4 years ago
Anna Carroll	78258419f9	Implement UpgradeBeacon & UpgradeBeaconProxy (#178) ... * Add optics-upgrades folder * WIP: add directory with test implementations and WIP UpgradeBeacon and UpgradeBeaconProxy * remove unused dependencies * Finish UpgradeBeaconProxy * Update UpgradeBeacon contract * Update hardhat config * Allow controller to be EOA for now * Add tests * Get tests passing by padding the upgrade transaction argument * Fix horrible comments without spaces * fix: named return value * Test immutable variables in implementation	4 years ago
Anna Carroll	f44e60a86a	refactor: interfaces directories (#157) ... * Rename Types -> BridgeMessage; Router -> BridgeRouter * Add BridgeTokenInterface.sol * Add MessageRecipientInterface.sol * Add SortitionInterface.sol * nit: rename Interface to I * nit: rename Interface to I Co-authored-by: Erin Hales <mcbridee093@gmail.com>	4 years ago
Luke Tchang	f7d2a6cc7f	refactor: changes UsingOptics to contract reference (#170) ... * refactor: changes UsingOptics to contract ref * feature: adds setUsingOptics to bridge and gov * fix: fix after rebase * refactor: constructor takes usingOptics address * fix: adds ownable() to token registry constructor	4 years ago
Luke Tchang	e0a18dce1c	feature: adds batch-dispatching of governance call messages (#165) ... * feature: adds batch dispatching of call messages * fix: updates data method and changes loop to use ptr * refactor/feature: adds callLocal and callRemote functionality and only uses identifier at beginning of call array * fix: renames addr to to * refactor: uses array of calls * fix: renames messageToCalls getCalls and uses as method on msg * fix: removes unecessary GovernanceMessage prefixes	4 years ago
Anna Carroll	6751c6e4f9	Update comments (#160)	4 years ago
Anna Carroll	2587cfbe99	MVP Governance xApp (#130) ... * MVP Governance xApp * Rename isType functions * Name return values * Clean up use of TypedMemView - casting & index functions * Re-write transferOwner function * Run prettier and fix compiler & linter errors (but not all warnings) * Add & Update pre-commit hooks * Rename owner to governor * message all GovernanceRouters for governance messages * Fix compiler error and all lint warnings * fix always failing typeassert * remove stale TODOs * Fix compile: cannot decrement domains.length * restore (domain, router) ordering convention * remove uneccessary () * add spaces to comments * fix isLocalDomain pattern * package-lock * Update package.json * one more time * copy package-lock.json from main * emit TransferGovernor event * emit ChangeRouter event * Always treat governor as bytes32 in message	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
James Prestwich	3d4aa756d1	feature: a simple script to make a test deploy of a home contract (#150) ... * feature: a simple script to make a test deploy of a home contract * bug: fix madison gasprice	4 years ago
James Prestwich	66b7b95b07	feature: add madison network	4 years ago
James Prestwich	ae81ba9f60	docs: add message layout to bridge readme (#127) ... * docs: add message layout to bridge readme * docs: fix a copy+paste in the Bridge Readme	4 years ago
Erin Hales	19d24ea096	clean: delete old comments (#131)	4 years ago
James Prestwich	01144db102	lint: satisfy clippy a bit more	4 years ago
James Prestwich	8923130b9c	feature: settings macro permits per-prop meta tags	4 years ago
Luke Tchang	074a34c85d	test: increases core contract test coverage (#113) ... * test: adds tests for empty queues and ensures proveAndProcess reverts * test: ensures invalid double update does not fail home * test: adds queueLength helpers to TestReplica and TestHome * test: ensures queue dequeue many reverts if number exceeds length * test: adds test for batch updates to Home * test: adds successful proveAndProcess test case * fix: replaces assert statements with expect	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	2fbbcf7fc3	test/refactor: adds test for destinationAndSequence calculations + refactors domainHash test file creation (#110) ... * refactor: domain_hash util in optics-core outputs json file instead of printing hashes * test: adds Rust destinationAndSequence test to output vector * test: adds test case to Home tests for comparing Rust and Solidity destinationAndSequence calculations * fix: replaces & with | and fixes destinationAndSequence js utility * fix: removes #[test] tags on test case output functions * fix: asserts destinationAndSequence function args are capped at u32::MAX	4 years ago
Erin Hales	5d3668495a	enhancement: move abi files to shared folder (#94) ... * moved abis to shared folder * basic (surely flawed) optics ethereum package * bug: fix circular imports, rearrange files and paths, lint * fix: unused import * fix: serde Deserialize * fix test issues, delete settings * enhancement: separated out home and replica abis * fix: pub use statements * cargo update and lint * fix: doc code snippet, trim dependencies	4 years ago
Luke Tchang	7b2d9d7762	test: tests Dispatch event data and refactors enqueue message helper (#93) ... * feature: adds messageToLeaf and calcDestinationAndSequence utils * feature: adds currentLeafIndex getter to TestHome * test: adds test that checks Dispatch event and refactors enqueue message helper * fix: fixes package-lock.json * feature: adds dispatch event lookup util function on optics.Home * fix: renames TestHome function nextLeafIndex instead of currentLeafIndex	4 years ago
Luke Tchang	b6da94665f	fix: require status of Message.None in process() (#99) ... * fix: require status of Message.None in process() * fix: change err message * test: adds test for trying to prove same message again	4 years ago
James Prestwich	0b78a672ae	chore: fix the tests James broke -_-	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
Luke Tchang	c57b9ded00	feature: adds untested Watcher daemon (#73) ... * enhance: adds Update event emission to Replica and signed_update_by_old root to Replica abi * feature: adds core run logic for watcher observing single replica * feature: adds watch_home logic and run_many override * refactor: moves signed_update_by_old_root to common * refactor: uses Common enum for Home/Replica * refactor: removes enum and uses ?Sized to remove Sized constraint * fix: removes unnecessary import * fix: runs cargo fmt and replaces references to origin_slip44 with domain * fix: fixes deadlock setup for history read/write * fix: fixes poll_signed_update to use signed_update_by_new_root * fix: fixes off-by-one error for topics for signed_update abi methods * docs: fixes comment formatting on signed_update methods	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	8b6bb5b3e4	bug: correct merkle test vector paths in replica tests	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	192bc6e79f	refactor: moves merkleTestCases.json and domainHashTestCases.json to root vectors folder (#61)	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
James Prestwich	d4e36f6373	add hardhat scripts for common tasks (#37) ... * feat: add hh task for deploy replica * feat: add a reportTxOutcome utils function * ref: add convenience functions to optics. allow signer passing * feat: scripts for submit-update and submit-double-update * feat: add scripts for processing messages * feat: change errors to use console.error * refactor: add utils.validateUpdate to hh tasks * fix: change to the correct new call sig for double update * fix: update hh task to conform to new proveAndProcess api * doc: slightly improve hh task docstrings for processing * feature: add a hh task to enqueue messages	4 years ago
Luke Tchang	319ebd4369	feature: adds untested Relayer daemon (fixed history) (#55) ... * refactor: fixed camel casing and simplified canConfirm function in Replica.sol * fix: relayer now runs from settings * refactor: split polling updates and polling confirms into joined helper functions # Conflicts: # rust/relayer/src/relayer.rs * feature: adds tracing subscriber to example and relayer::main.rs * feature: adds tracing errors and instrument(err) to relayer * fix: removes duplicates after rebase # Conflicts: # rust/optics-base/Cargo.toml * fix: added relayer dependencies to Cargo.lock (cherry-pick)	4 years ago
Anna Carroll	c4ae975310	test: Merkle contract and rust implementation (#52)	4 years ago
James Prestwich	5c5f42c061	fix: re-enable gas reporter and coverage	4 years ago
Luke Tchang	65754d8318	fix: current root in Home contract now updated on successful update (#44)	4 years ago
James Prestwich	5961b35a0e	fix: make sure new dev setup works ... - removes broken gas reporter and coverage tools - commits abi.json in multiple places - prevents hh from trying to load abis that don't exist	4 years ago
Anna Carroll	4092028924	enhance:update proveAndProcess function signature (#39)	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	4a57874d8c	feature: adds an untested updater daemon (#19) ... * feature: adds an untested updater daemon * feature: check that the updater is using the correct keys before polling for updates * refactor: simplify OpticsAgent::run_report_error * chore: improve documentation and remove unnecessary map_errs * bug: correct env var prefix in updater settings	4 years ago
James Prestwich	6827db2996	feat: Updater js class now uses async static construction (#34) ... * feat: Updater js class now uses async static construction * fix: remove the unneccessary getAddress on Updater	4 years ago
James Prestwich	50cb63d5d5	feature: prevent re-entrancy of process on replica (#28)	4 years ago