Use witness trace computed by the detector instead of running verification again #3277
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
romac
force-pushed
the
use-witness-trace
branch
from
aa89e47
to
62246ab
Compare
ancazamfir
added a commit
that referenced
this pull request
May 19, 2023
… RPC node (#3224) * Prepare for generating light client attacks * Remove redundant message * Improve script * Use tendermint-rs with new misbehavior detector * Small refactor in client worker * Cleanup and notes in ForeignClient * Some more cleanup * Call to the new attack detector * Build evidence to report to the chain * Fix client updates * It's working, I think * Move create_fork.sh to scripts folder * Use tendermint-rs branch * Use new light client detector crate * Remove explicit dependency on `tendermint-light-client-verifier` * Update to latest detector * Add integration test for misbehavior detection * Fix clippy warnings * Print Hermes logs * Update to latest detector * Update to latest detector * Remove unused `headers_compatible` * Remove unused import * Get current time from chain's sync status * Compute proper supporting headers * Infallible height conversions * Refactor to include trusted and target headers in supporting headers but omit them from minimal set * Always omit target header from supporting set * Use trusted height and not height of last supporting header * Use target header of new round of verification to get trusted height and validators * Update tendermint-rs to v0.31.1 * Update `ibc-proto` to v0.30.0 * Compilation fixes after detector update * Use witness trace computed by the detector instead of verifying again (#3277) * Fix merge issues * Update to latest detector * Ensure trusted validator set matches the fetched one * Update to latest detector * Update to tendermint-rs v0.32.0 and `ibc-proto` v0.31.0-alpha.2 * Add changelog entry --------- Signed-off-by: Romain Ruetschi <[email protected]> Co-authored-by: Anca Zamfir <[email protected]>
pratikbin
pushed a commit
to pratikbin/hermes
that referenced
this pull request
May 24, 2023
… RPC node (informalsystems#3224) * Prepare for generating light client attacks * Remove redundant message * Improve script * Use tendermint-rs with new misbehavior detector * Small refactor in client worker * Cleanup and notes in ForeignClient * Some more cleanup * Call to the new attack detector * Build evidence to report to the chain * Fix client updates * It's working, I think * Move create_fork.sh to scripts folder * Use tendermint-rs branch * Use new light client detector crate * Remove explicit dependency on `tendermint-light-client-verifier` * Update to latest detector * Add integration test for misbehavior detection * Fix clippy warnings * Print Hermes logs * Update to latest detector * Update to latest detector * Remove unused `headers_compatible` * Remove unused import * Get current time from chain's sync status * Compute proper supporting headers * Infallible height conversions * Refactor to include trusted and target headers in supporting headers but omit them from minimal set * Always omit target header from supporting set * Use trusted height and not height of last supporting header * Use target header of new round of verification to get trusted height and validators * Update tendermint-rs to v0.31.1 * Update `ibc-proto` to v0.30.0 * Compilation fixes after detector update * Use witness trace computed by the detector instead of verifying again (informalsystems#3277) * Fix merge issues * Update to latest detector * Ensure trusted validator set matches the fetched one * Update to latest detector * Update to tendermint-rs v0.32.0 and `ibc-proto` v0.31.0-alpha.2 * Add changelog entry --------- Signed-off-by: Romain Ruetschi <[email protected]> Co-authored-by: Anca Zamfir <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.