Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Minimal implementation of backward verification for IBC relayer #709

Merged
merged 34 commits into from
Jan 28, 2021
Merged

Minimal implementation of backward verification for IBC relayer #709

merged 34 commits into from
Jan 28, 2021

Commits on Jan 22, 2021

  1. Use custom error type instead of anomaly::BoxError

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    8a5820b View commit details
    Browse the repository at this point in the history

  2. prototype backward verification

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    6df08e6 View commit details
    Browse the repository at this point in the history

  3. backward tests

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    7935643 View commit details
    Browse the repository at this point in the history

  4. re-enabled model based tests

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    d748766 View commit details
    Browse the repository at this point in the history

  5. fix backward algorithm

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    4e12072 View commit details
    Browse the repository at this point in the history

  6. optimize backward verification

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    66ed3c4 View commit details
    Browse the repository at this point in the history

  7. disable backward opti

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    def731d View commit details
    Browse the repository at this point in the history

  8. Fix wrong assertion

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    e54abad View commit details
    Browse the repository at this point in the history

  9. Compute last_block_id hash when generating a light chain

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    adae637 View commit details
    Browse the repository at this point in the history

  10. Add test for light chain correctness

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    e580505 View commit details
    Browse the repository at this point in the history

  11. Add property-based tests for backward verification

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    31ba7cc View commit details
    Browse the repository at this point in the history

  12. Comment out bad test

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    28e21aa View commit details
    Browse the repository at this point in the history

  13. Add more tests

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    5e37c5d View commit details
    Browse the repository at this point in the history

  14. Remove println statement

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    a3cd242 View commit details
    Browse the repository at this point in the history

  15. Use prop_assert!

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    0650fe5 View commit details
    Browse the repository at this point in the history

  16. Formatting

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    cf82e7d View commit details
    Browse the repository at this point in the history

  17. Remove hacky backward verification test

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    cb4083d View commit details
    Browse the repository at this point in the history

  18. Add negative tests for backward verification

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    dcc2e4e View commit details
    Browse the repository at this point in the history

  19. Feature-guard backward verification behind "backward-verif" flag

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    6ba571c View commit details
    Browse the repository at this point in the history

  20. Rename LightClient::verify_bisection to LightClient::verify_forward

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    2e141c6 View commit details
    Browse the repository at this point in the history

  21. Update changelog

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    be1179a View commit details
    Browse the repository at this point in the history

  22. Update doc comments

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    6439ccc View commit details
    Browse the repository at this point in the history

  23. Formatting

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    96edef3 View commit details
    Browse the repository at this point in the history

  24. Fixup after rebase

    @romac
    romac committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    14ed02d View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2021

  1. Add integration test for backward verification

    @romac
    romac committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    b022d36 View commit details
    Browse the repository at this point in the history

  2. Remove backward-verif feature in favor of unstable

    @romac
    romac committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    3753a63 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into romac/backward-verif

    @romac
    romac committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    81311d9 View commit details
    Browse the repository at this point in the history

  4. Cleanup + couple comments

    @romac
    romac committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    fc98f81 View commit details
    Browse the repository at this point in the history

  5. Check that root state for backward verif is within trusting period

    @romac
    romac committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    13b0825 View commit details
    Browse the repository at this point in the history

  6. Add doc comment

    @romac
    romac committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    b544f71 View commit details
    Browse the repository at this point in the history

  7. Fix mock clock time in testgen-based tests

    @romac
    romac committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    0b78243 View commit details
    Browse the repository at this point in the history

  8. Remove unused import

    @romac
    romac committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    e892095 View commit details
    Browse the repository at this point in the history

  9. Revert "Use custom error type instead of anomaly::BoxError" 

    This reverts commit 8a5820b.
    @romac
    romac committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    14afa8e View commit details
    Browse the repository at this point in the history

  10. Formatting

    @romac
    romac committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    50d2209 View commit details
    Browse the repository at this point in the history