Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
First stab at ICS3 connection handshake protocol (message processing …
…logic) (informalsystems#188) * First processing logic for ICS 03 (#160). * Fix for temporary pick_version(). * First attempt at the process_try_msg function. * Sketch for proof verification in process_try_msg. Removed Connection* traits. * Added logic for the Try message. * Logic for processing ICS3 confirm msg. Cosmetic improvements * Adapting code to new architecture based on contexts. * Refactored, new terminology, added events. * WIP: Adding tests * Higher-level interface for the context. * One chunk of proof verification is done * Implementation of ics3 verify_proofs done. * Addressing Romain's concerns. * Tests for conn open init message processing. * Fixes for integration tests: PartialEq for identifiers. * More changes cf adr003 and code reorg * Move info to new context and context_mock modules * migrate conn-open-init to new infra * Refine client and connection mock context * Fix conn_open_try handler * Create new mock_client * remove mocks.rs * Add global chain context * Uncomment tests * Cleanup * Started to fill client verification functions. Started TryFromRaw for connection messages. Some work on commitment prefix, path, root. * Add try_from for connection messages and remove new() * Add test for try dispatch * Some changes to mock context setup * Some cleanup * Review comments * Mark mocks as `#[cfg(test)] * Fix clippy warnings * Remove use of clone in a Debug impl Co-authored-by: Anca Zamfir <zamfiranca@gmail.com> Co-authored-by: Romain Ruetschi <romain@informal.systems>
- Loading branch information