79 Commits (f2cb415eecc7ba7600d7bd7faa66f65c54c182e7)

Author	SHA1	Message	Date
James Prestwich	56139b1715	bug: remove leftover dbg	3 years ago
James Prestwich	a37a6ed776	Prestwich/rust config (#419) ... * improve configuration handling of env vars - improve decl_settings macro to name the declared structs - change domains and timers to String - rename chat_gen to chat in kathy settings - panic on failed uint parsing in settings deser * bug: update typescript deploy to output string domains * chore: update new deploy conf to match new format * chore: set kathy destination to 3000 for now * refactor: ensure kathy dispatches messages to each comnfigured replica	3 years ago
James Prestwich	e6becba053	refactor: several rust improvements (#414) ... * refactor: several rust improvements - add partials to latest deploy - fix the prefix iterator in db - run the core updater loop in the current span - correct a processor bug that would prevent startup after any proofs were cached - correct a processor bug that would prevent startup with the initial tree * feature: root acceptability checks - expose acceptableRoot in Replica.sol - check if the root is acceptable before dispatching a proof from the processor	3 years ago
James Prestwich	6487fcb3eb	Processing Refactor (#409) ... * refactor: have proversync cache proofs upon tree update * refactor: start introducing acceptableRoot into replica * refactor: set confirmAt to 1 for initial root * refactor: remove previous from replica trait * refactor: processor no longer bails on missing proof * tests: fix the tests * refactor: remove last use of tokio::time::interval * refactor: remove redundant condition in replica	3 years ago
James Prestwich	41b19b70dd	refactor: add prove_and_process to replicas enum	3 years ago
James Prestwich	76ab2034d8	refactor: fix the annoying process bug. misc rust updates	4 years ago
James Prestwich	ac58c6a1cb	feature: MessageStatus	4 years ago
James Prestwich	26b4af5951	refactor: many processor improvements	4 years ago
James Prestwich	bb2768384a	bugs: lots of rust agent bugs	4 years ago
James Prestwich	42db34b8c0	bug: dbg print left in	4 years ago
James Prestwich	d99f15c041	bug: configuration bugs wrt config and hexstring	4 years ago
James Prestwich	5489c5f22c	refactor: break signers out of replicas in rust configs (#381) ... * refactor(wip): break signers out of replicas in rust configs * chore: update configs files with new format	4 years ago
James Prestwich	40ae9257de	feature: use OPT_BASE and document config precedence	4 years ago
James Prestwich	31539b786a	Prestwich/hex string rust (#378) ... * feature: hex string for configuration * chore: test vectors * chore: remove dbg prints * chore: cleanup import and extra line * chore: remove unused dep	4 years ago
Conner Swann	2c42635e0a	initial dockerfile implementation ... update_abis script moved config, moved abis, fixed macros and scripts added release scripts fix abi import redirect abi check to new location fix tests pre-commit nits moved config dir, load from current directory, not parent	4 years ago
James Prestwich	daa9df9436	Prestwich/ts deploy (#366) ... * feature: basic typescript setup refactor: clean up and trim down remote config feature: deployHubAndSpoke refactor: await deploy transactions feature(tmp): allow gas price specification refactor: break proxy utils into their own file refactor: move toChain with chain config types feature: more concurrency refactor: lots feature: refactor to almost working deploy gitignore * gitignore again * deploy: first deploy * feature: initial deploy * feature: write two chain output * feature: nother alfa-goerli deploy * feature: allow env specification of base config * bug: specify env separator character * feature: some more logging on the rust agents * feature: settings uses replica map instead of list * feature: gas escalation in contract instantiation * chore: gitignore newline * config: Jun-1 alfa-goerli deploy	4 years ago
Erin Hales	ed4cda0dc3	fix: lastProcessed -> nextToProcess (#371) ... * fix: change lastProcessed to nextToProcess * fix: bugs * refactor: test-all script * fix: delete file, initialIndex 0 * bug: fix solidity tests with incorrect vector keys Co-authored-by: James Prestwich <james@prestwi.ch>	4 years ago
Luke Tchang	ae28e02316	test/bug: verify Rust/Solidity OpticsMessage and leaf equivalence (#363) ... * feature: outputs hardcoded merkle proof * fix: wrong sender address * debug: print sender receiver for StampedMessage * prog: leaf check failing * fix: fixes message pack ordering bug and outputs correct message and leaf json * fix: add message and leaf output to precommit fn * fix: use hex string instead of hardcoded str * feature: adds output proof test function	4 years ago
Luke Tchang	2eac18dd6e	chore: delete extra lockfiles in core and base (#346)	4 years ago
Luke Tchang	c4b34fb2df	test: adds mock ConnectionManager interface + watcher failure test cases (#314)	4 years ago
James Prestwich	7bfe50bd5f	Prestwich/watcher unenroll (#324) ... * feature: adds xapp interface enum to optics-base * feature: adds xapp manager to watcher and has watcher unenroll replicas * refactor: adds Vec<ConnectionManagers> and separates double update handling from unenrollment * fix: watcher-partial config takes vec of ConnectionManager configs * fix: updates comment and adds tracing instrumentation * fix: bad ConnectionManager setup reports error instead of unwrap * fix: concurrently awaits double_update and unenroll tasks * fix: actually awaits two vec of futures concurrently * fix: signed failure notification uses home domain (fixing conflation of replica/home domain) * fix: remove origin_domain after rebase * fix: rename double_update_res double_update * refactor: always use full-length identifier in failure notification Co-authored-by: Luke Tchang <ltchang@stanford.edu>	4 years ago
Erin Hales	676c495668	refactor: rename domains rust (#306) ... * refactor: nuke origin_domain * refactor: rename domain_hash * refactor: rename update local_domain to match solidity * refactor: update local_domain to domain * refactor: rename replica destination_domain * fix: remames origin in home/replica and converts back to domain_hash * fix: rust json testcase output field renames * fix: renames contract domain hash functions homeDomainHash * rename: update.domain --> update.homeDomain * fix: variable names and casing * fix: minor things, delete extra vector file * fix: homeDomainHash test loop * enhance: move common functionality to _signatureHash * fix: rename internal homeDomainHash func * fix: lint * fix: sucky merge * fix: bad rebase * fix: domain field accidentally got deleted * fix: overwrite instead of append for updating precommit script (#311) * fix: rename remaining 'origin' references * fix: use origin for Rust and Solidity formatted messages Co-authored-by: Luke Tchang <ltchang@stanford.edu>	4 years ago
Luke Tchang	0b3c02a10d	chore: converts kebab case to camelCase in configs and serde tags (#276)	4 years ago
James Prestwich	d3788f0457	refactor: move Ethereum settings to optics-ethereum (#266)	4 years ago
Luke Tchang	0fa4283a70	refactor: restructures agent config locations (#254) ... * feature: restructures configs and from_settings * fix: settings takes agent name from macro * fix: replaces toml with json * fix: removes redundant agent config info * fix: derives prefix from agent name * fix: readds kathy config and deletes optics base config * fix: fixes kebab case rename for base settings and removes extra db_path fields	4 years ago
Luke Tchang	72d6ae20fb	feature: replaces Signer generic with enum (#246) ... * fix: only takes domain and updater * fix: unenrollReplica reverts instead of silent failure and events emitted * feature: adds failure notification structs * fix: update after rebasing on main with watcher disk changes * fix: removes stale db_paths from updater and watcher * 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: adds signer enum variants * feature: fixes signer enum and adds to updater and watcher * fix: adds SignersError enum to accomodate LedgerError * fix: removes Addresses enum after rebase * fix: deletes duplicate impls after rebase * fix: uses ? instead of map_err Co-authored-by: James Prestwich <prestwich@clabs.co>	4 years ago
James Prestwich	32551c1c32	bug: fix the function signature	4 years ago
James Prestwich	6e598c3240	lint: into -> from for clippy	4 years ago
James Prestwich	2f943b5c20	fix: respect the clippy	4 years ago
James Prestwich	1174800624	refactor: move DB to agentcore (#228) ... - add db_path to settings for all agents - refactor updater poll_and_handle_update to use a mutex guard - add db() method to optics agent trait	4 years ago
Luke Tchang	73b989285e	feature/refactor: saves/loads processor prover-tree to/from disk + fixes abstraction layers between prover and merkle (#189) ... * refactor: joins two chain api calls and spawns task for wait and check * feature: adds disk persistence to updater and checks for conflicting updates * feature: gets db_path from settings block * feature: adds open_db util and replaces in updater * feature: adds encode/decode to optics-core lib structs * test: adds test_util func to run db tests in closure * feature: adds serde * feature: proversync saves new leaves to disk * feature: adds loading prover from disk * fix: replaces ne_bytes to be_bytes * rebase: removes duplication after rebase on updater-history branch * fix: removes bincode * refactor: fixes abstraction layers between prover and merkle variants * refactor: uses prefix_iterator in prover * fix: has rocksdb imports draw from github * refactor: adds UsingPersistence trait and adds to updater, prover, proversync * refactor: update UsingPersistence to use Encode + Decode * feature: iterator in UsingPersistence Co-authored-by: James Prestwich <james@prestwi.ch>	4 years ago
Luke Tchang	b9694211f4	feature: adds updater history and persists to disk (#180) ... * refactor: joins two chain api calls and spawns task for wait and check * refactor: poll_and_handle_update returns join handle * feature: adds disk persistence to updater and checks for conflicting updates * feature: gets db_path from settings block * feature: adds open_db util and replaces in updater * feature: adds encode/decode to optics-core lib structs * test: adds test_util func to run db tests in closure * fix: uses Encode::to_vec	4 years ago
Luke Tchang	a1040a04e2	feature: adds configurable pause to updater (#167) ... * feature: adds pause to updater and fixes tests to account for change * refactor: joins two chain api calls and spawns task for wait and check * refactor: poll_and_handle_update returns join handle	4 years ago
Luke Tchang	5a651d7eb0	test: adds watcher tests (#154) ... * refactor: separates prover and prover_sync; all agents compiling except watcher * refactor: adds EthereumReplica variant and fixes agents * refactor: adds MockReplica variant to Replicas * fmt: runs cargo fmt * test: adds updater poll_and_handle_update test * test: adds polls_and_relays_update test to relayer * fix: removes duplicated additions after rebase * test: adds updater poll_and_handle_update test * fix: removes duplicated additions after rebase * refactor: breaks apart watcher component loops * test: adds contract watcher poll and send update test * test: adds checkpoint method to Homes and Replicas for testing * test: adds history sync update history test	4 years ago
Luke Tchang	9cae2f469a	refactor: contract trait refactor + prover/prover_sync separation (#151) ... * prog: adds Homes type to optics-base and has AgentCore take in Arc<Homes> * refactor: separates prover and prover_sync; all agents compiling except watcher * refactor: adds EthereumReplica variant and fixes agents * refactor: adds MockReplica variant to Replicas * fmt: runs cargo fmt * feature: adds From implementations for Homes and Replicas * feature: adds From<EthereumHome> for Homes * feature: adds From<EthereumReplica> for Replicas * feature: adds Other variant to Homes and Replicas * lint: use Box in all homes and replicas to satisfy clippy * bug: fix Ethereum handling in ChainSetup::try_into_ functions Co-authored-by: James Prestwich <james@prestwi.ch>	4 years ago
James Prestwich	1f333b6c02	refactor: improve processor task handling (#147) ... * refactor: improve processor task handling * refactor: change OpticsAgent::run to return a join handle * refactor: change default behavior for Agent to cancel all tasks instead of continue	4 years ago
James Prestwich	8fdb50a40e	chore: remove a stale TODO related to ledgers	4 years ago
James Prestwich	5f455b4bda	refactor: fix unordered execution	4 years ago
James Prestwich	8923130b9c	feature: settings macro permits per-prop meta tags	4 years ago
James Prestwich	b7280e677d	refactor: improve the OpticsAgent interface by introducing AgentCore (#104) ... * refactor: improve the OpticsAgent interface by introducing AgentCore * refactor: normalize configs and add name key to ChainConfs * bug: fix list of tables in updater toml config * refactor: add an output type to the agent trait for wathcer double updates * docs: add a few comments to the watcher loop * refactor: make watcher handling of missing updates explicit * feature: watcher syncs history backwards * refactor: split watcher responsibilities into smaller message-passing structs * feature: implement a shutdown function for the Watcher * refactor: DRY up task cancellation * chore: add tracing to more watcher methods * refactor: dedup and move agent macros to a shared location * chore: fix an ugly import * refactor: use macros to DRY up agent and settings declarations * feature: resolve potential race condition by explicit from hash in watcher syncs	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
Erin Hales	e4cb3f55e1	bug: add a default ethereum signer (#92) ... * bug: add a default ethereum signer * typos * update readmes Co-authored-by: James Prestwich <prestwich@clabs.co>	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
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	99b650d495	refactor: separates full from partial messages with Message vs StampedMessage (#77) ... * refactor: separates Message from DispatchedMessage * refactor: changes DispatchedMessage to StampedMessage * fix: ran cargo fmt	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
Luke Tchang	05e551f26a	fix: readds settings and can_confirm abi function to relayer (#70)	4 years ago
Anna Carroll	e91c1adf6e	enhancement: add prove_and_process function to replica (#62)	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