From e5d655ca5b90b133cc9c82c65770b83608b0265a Mon Sep 17 00:00:00 2001 From: Yuji Ito Date: Wed, 22 Dec 2021 23:22:41 +0900 Subject: [PATCH] Implement proof verification functions for Tendermint client (#1583) * proof verification functions * fix counterparty in ConnectionOpenAck * verify delay * verify height * Revert "verify height" This reverts commit 4735aa7c140af96c761e597fe14a6ac23eb99460. * Impl verify_height() * Revert changes to ics23 types * Update mock impl to use new ClientDef API with height * Clippy happy * Modify ClientDef API * Implement max_expected_time_per_block() * Fix mock build * Refactor verify_delay_passed() * Move get_block_delay() into ChannelReader trait as provided method * Remove usages of std:: * Fix clippy errors * Add keeper methods for processed time and height * Set processed time using host_timestamp() * Add new ICS02 error variant InvalidCommitmentProof * Augment packet delay errors * Revert to old naming of errors for client upgrade proofs * Rename processed_{time,height}() * Apply suggestions from code review Co-authored-by: Adi Seredinschi * Record height in processed height/time errors * Fix clippy errors * Add changelog entry Co-authored-by: Shoaib Ahmed Co-authored-by: Adi Seredinschi --- .../unreleased/features/ibc/1583-module-verification-ICS07.md | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .changelog/unreleased/features/ibc/1583-module-verification-ICS07.md diff --git a/.changelog/unreleased/features/ibc/1583-module-verification-ICS07.md b/.changelog/unreleased/features/ibc/1583-module-verification-ICS07.md new file mode 100644 index 0000000000..5f11ff8e2f --- /dev/null +++ b/.changelog/unreleased/features/ibc/1583-module-verification-ICS07.md @@ -0,0 +1,3 @@ +- Implement proof verification for Tendermint client (ICS07). + ([#1583](https://github.com/informalsystems/ibc-rs/pull/1583)) +