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

Light Client refactoring #237

Merged
merged 102 commits into from
May 27, 2020
Merged

Light Client refactoring #237

merged 102 commits into from
May 27, 2020

Commits on May 5, 2020

  1. Rework predicates

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    cceaa70 View commit details
    Browse the repository at this point in the history

  2. WIP: Add tracing

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    a982821 View commit details
    Browse the repository at this point in the history

  3. Fix verification procedure

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    7e2a9d5 View commit details
    Browse the repository at this point in the history

  4. Rename requester component to rpc

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    8509a13 View commit details
    Browse the repository at this point in the history

  5. Rename Trace::run to Trace::collect

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    cdc2294 View commit details
    Browse the repository at this point in the history

  6. Return meaningful data in errors

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    be3012f View commit details
    Browse the repository at this point in the history

  7. Proper error handling with thiserror+anomaly

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    6c8a011 View commit details
    Browse the repository at this point in the history

  8. Make events PartialEq+Eq

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    333afd5 View commit details
    Browse the repository at this point in the history

  9. Implement verifier

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    93dbe53 View commit details
    Browse the repository at this point in the history

  10. Implement scheduler and bisection

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    1f325e0 View commit details
    Browse the repository at this point in the history

  11. Remove write access to trusted store for scheduler

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    93b148b View commit details
    Browse the repository at this point in the history

  12. Add a couple of FIXMEs

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    614c870 View commit details
    Browse the repository at this point in the history

  13. Formatting

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    ded21c9 View commit details
    Browse the repository at this point in the history

  14. Fix clippy warnings

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    745c001 View commit details
    Browse the repository at this point in the history

  15. Fix misplaced attribute

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    0969b7b View commit details
    Browse the repository at this point in the history

  16. Enable VerificationPredicates to be made into a trait object

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    5948c7b View commit details
    Browse the repository at this point in the history

  17. Allow cloning TSReader

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    0661ee9 View commit details
    Browse the repository at this point in the history

  18. Shorter method name

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    de049fb View commit details
    Browse the repository at this point in the history

  19. Decouple components using Router trait

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    799caaa View commit details
    Browse the repository at this point in the history

  20. Silence a couple Clippy warnings

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    79b26c6 View commit details
    Browse the repository at this point in the history

  21. Cleanup trace module

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    66ef29f View commit details
    Browse the repository at this point in the history

  22. Revamp errors

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    ede2b76 View commit details
    Browse the repository at this point in the history

  23. Revamp error, part 2

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    884eebd View commit details
    Browse the repository at this point in the history

  24. Bundle verification options together

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    af46005 View commit details
    Browse the repository at this point in the history

  25. Cleanup

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    fcb8c82 View commit details
    Browse the repository at this point in the history

  26. Use output enum for all components

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    18f22ac View commit details
    Browse the repository at this point in the history

  27. Split queries out

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    e1158a8 View commit details
    Browse the repository at this point in the history

  28. Rewrite using coroutines

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    a50286f View commit details
    Browse the repository at this point in the history

  29. cleanup

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    3fd1d2a View commit details
    Browse the repository at this point in the history

  30. Add fork detector prototype

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    e309862 View commit details
    Browse the repository at this point in the history

  31. Add stub example

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    64a322f View commit details
    Browse the repository at this point in the history

  32. Add traits to abstract of each concrete component

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    0ce586c View commit details
    Browse the repository at this point in the history

  33. Add actual commit to Commit struct

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    eca7872 View commit details
    Browse the repository at this point in the history

  34. Refactor and simplify

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    4c9ea47 View commit details
    Browse the repository at this point in the history

  35. Implement Store::latest

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    51f6939 View commit details
    Browse the repository at this point in the history

  36. Better verification loop

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    e789f8b View commit details
    Browse the repository at this point in the history

  37. Add pre/post conditions to demuxer::verify

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    cab2d44 View commit details
    Browse the repository at this point in the history

  38. Add contract for schedule

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    a77f1fc View commit details
    Browse the repository at this point in the history

  39. Convert between tendermint and spike types

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    2b80f14 View commit details
    Browse the repository at this point in the history

  40. Working example

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    811500f View commit details
    Browse the repository at this point in the history

  41. Better working version

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    8f7cff0 View commit details
    Browse the repository at this point in the history

  42. Implement production header hasher

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    2173ec8 View commit details
    Browse the repository at this point in the history

  43. Re-add proper Error type for whole client

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    dc1e104 View commit details
    Browse the repository at this point in the history

  44. Cleanup

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    d3ffe43 View commit details
    Browse the repository at this point in the history

  45. Add peers to demuxer state

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    e43aca3 View commit details
    Browse the repository at this point in the history

  46. Cleanup

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    c27ec46 View commit details
    Browse the repository at this point in the history

  47. Trace blocks needed for verification of a target block

    @romac
    romac committed May 5, 2020
    Configuration menu
    Copy the full SHA
    bd9971c View commit details
    Browse the repository at this point in the history

Commits on May 6, 2020

  1. Split validation and trust check into their own top-level predicates

    @romac
    romac committed May 6, 2020
    Configuration menu
    Copy the full SHA
    2ffb7da View commit details
    Browse the repository at this point in the history

  2. Add provider to LightBlock struct

    @romac
    romac committed May 6, 2020
    Configuration menu
    Copy the full SHA
    417be25 View commit details
    Browse the repository at this point in the history

  3. Split overlap verification into its own verifier input

    @romac
    romac committed May 6, 2020
    Configuration menu
    Copy the full SHA
    2fa229b View commit details
    Browse the repository at this point in the history

  4. Cleanup

    @romac
    romac committed May 6, 2020
    Configuration menu
    Copy the full SHA
    bef36ab View commit details
    Browse the repository at this point in the history

Commits on May 7, 2020

  1. Don't mix verifier and scheduler concerns

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    c31e5fa View commit details
    Browse the repository at this point in the history

  2. Validate commits and compute actual voting power

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    8d0db51 View commit details
    Browse the repository at this point in the history

  3. Cleanup

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    eaa4abf View commit details
    Browse the repository at this point in the history

  4. Remove scheduler events

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    f9817e8 View commit details
    Browse the repository at this point in the history

  5. Remove verifier events

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    a23b2d9 View commit details
    Browse the repository at this point in the history

  6. Remove fork detector events

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    63c6147 View commit details
    Browse the repository at this point in the history

  7. Remove IO events

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    c1935ec View commit details
    Browse the repository at this point in the history

  8. Cleanup

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    d5e7ca2 View commit details
    Browse the repository at this point in the history

  9. Simplify code flow by using an iterator of highest trusted states

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    3c19d22 View commit details
    Browse the repository at this point in the history

  10. Fix example

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    40900e9 View commit details
    Browse the repository at this point in the history

  11. Update example to prod implementations

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    772a16f View commit details
    Browse the repository at this point in the history

  12. Stop verification when reaching already trusted state

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    2b5de61 View commit details
    Browse the repository at this point in the history

  13. Use height of fetched header to fetch validators (avoids issues when … 

    …height is 0 for latest)
    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    5b668cb View commit details
    Browse the repository at this point in the history

  14. Allow tracing same block, just ignore it

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    6aa6baf View commit details
    Browse the repository at this point in the history

  15. Better error reporting

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    38d1e01 View commit details
    Browse the repository at this point in the history

  16. Fix bug in is_monotonic_height

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    fd94323 View commit details
    Browse the repository at this point in the history

  17. Shorten ProductionPredicates name

    @romac
    romac committed May 7, 2020
    Configuration menu
    Copy the full SHA
    9ce271b View commit details
    Browse the repository at this point in the history

Commits on May 11, 2020

  1. Cleanup

    @romac
    romac committed May 11, 2020
    Configuration menu
    Copy the full SHA
    7fb8f32 View commit details
    Browse the repository at this point in the history

  2. Port over single-step tests

    @romac
    romac committed May 11, 2020
    Configuration menu
    Copy the full SHA
    cec952f View commit details
    Browse the repository at this point in the history

Commits on May 14, 2020

  1. Port bisection tests

    @romac
    romac committed May 14, 2020
    Configuration menu
    Copy the full SHA
    ceae1df View commit details
    Browse the repository at this point in the history

  2. Move test types into their own module

    @romac
    romac committed May 14, 2020
    Configuration menu
    Copy the full SHA
    483077d View commit details
    Browse the repository at this point in the history

  3. Refactor

    @romac
    romac committed May 14, 2020
    Configuration menu
    Copy the full SHA
    29edfc0 View commit details
    Browse the repository at this point in the history

  4. Fix bug in validators overlap check

    @romac
    romac committed May 14, 2020
    Configuration menu
    Copy the full SHA
    2485f76 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2020

  1. Refactor LightStore, and introduce proper contracts

    @romac
    romac committed May 15, 2020
    Configuration menu
    Copy the full SHA
    c462e05 View commit details
    Browse the repository at this point in the history

  2. Cleanup

    @romac
    romac committed May 15, 2020
    Configuration menu
    Copy the full SHA
    0853896 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2020

  1. Simply LightStore trait

    @romac
    romac committed May 18, 2020
    Configuration menu
    Copy the full SHA
    3a71fad View commit details
    Browse the repository at this point in the history

  2. Use tendermint::node::Id as PeerId, as per the spec

    @romac
    romac committed May 18, 2020
    Configuration menu
    Copy the full SHA
    742441f View commit details
    Browse the repository at this point in the history

  3. Add LightStore::update method

    @romac
    romac committed May 18, 2020
    Configuration menu
    Copy the full SHA
    e978af0 View commit details
    Browse the repository at this point in the history

  4. Fix clippy warnings

    @romac
    romac committed May 18, 2020
    Configuration menu
    Copy the full SHA
    5605ef7 View commit details
    Browse the repository at this point in the history

  5. Extract get_or_fetch_block method from demuxer loop

    @romac
    romac committed May 18, 2020
    Configuration menu
    Copy the full SHA
    489cfbd View commit details
    Browse the repository at this point in the history

  6. Rename Demuxer to LightClient

    @romac
    romac committed May 18, 2020
    Configuration menu
    Copy the full SHA
    c915d0a View commit details
    Browse the repository at this point in the history

  7. Rename LightClientOptions to Options

    @romac
    romac committed May 18, 2020
    Configuration menu
    Copy the full SHA
    202bdc1 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2020

  1. Implement on-disk store backed by Sled

    @romac
    romac committed May 19, 2020
    Configuration menu
    Copy the full SHA
    0988f61 View commit details
    Browse the repository at this point in the history

  2. Formatting

    @romac
    romac committed May 19, 2020
    Configuration menu
    Copy the full SHA
    3602b08 View commit details
    Browse the repository at this point in the history

  3. Cleanup

    @romac
    romac committed May 19, 2020
    Configuration menu
    Copy the full SHA
    56c020d View commit details
    Browse the repository at this point in the history

  4. Properly implement SledStore::update

    @romac
    romac committed May 19, 2020
    Configuration menu
    Copy the full SHA
    076932f View commit details
    Browse the repository at this point in the history

Commits on May 20, 2020

  1. Cleanup

    @romac
    romac committed May 20, 2020
    Configuration menu
    Copy the full SHA
    6b70979 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2020

  1. Add LightClient CLI to continuously pull headers from a node

    @romac
    romac committed May 25, 2020
    Configuration menu
    Copy the full SHA
    e8b23fc View commit details
    Browse the repository at this point in the history

  2. Fix tests

    @romac
    romac committed May 25, 2020
    Configuration menu
    Copy the full SHA
    6777956 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into romac/light-spike-bis

    @romac
    romac committed May 25, 2020
    Configuration menu
    Copy the full SHA
    8bbb194 View commit details
    Browse the repository at this point in the history

  4. Adapt test to new JSON files organization

    @romac
    romac committed May 25, 2020
    Configuration menu
    Copy the full SHA
    948ecb4 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2020

  1. Rename light-spike crate to light-client

    @romac
    romac committed May 26, 2020
    Configuration menu
    Copy the full SHA
    a17beb7 View commit details
    Browse the repository at this point in the history

  2. Turn production predicates into default trait impl

    @romac
    romac committed May 26, 2020
    Configuration menu
    Copy the full SHA
    5323bb8 View commit details
    Browse the repository at this point in the history

  3. Comment out provider field of LightBlock until conformance tests are … 

    …adapted
    @romac
    romac committed May 26, 2020
    Configuration menu
    Copy the full SHA
    e287152 View commit details
    Browse the repository at this point in the history

  4. Refactor is_within_trust_period to better match the spec

    @romac
    romac committed May 26, 2020
    Configuration menu
    Copy the full SHA
    3ecdec2 View commit details
    Browse the repository at this point in the history

  5. Add core verification loop invariant

    @romac
    romac committed May 26, 2020
    Configuration menu
    Copy the full SHA
    4934cbc View commit details
    Browse the repository at this point in the history

  6. WIP: Documentation

    @romac
    romac committed May 26, 2020
    Configuration menu
    Copy the full SHA
    862ff72 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into romac/light-spike-bis

    @romac
    romac committed May 26, 2020
    Configuration menu
    Copy the full SHA
    7b39443 View commit details
    Browse the repository at this point in the history

  8. Make cargo fmt happy

    @romac
    romac committed May 26, 2020
    Configuration menu
    Copy the full SHA
    5f3f914 View commit details
    Browse the repository at this point in the history

  9. Make clippy happy

    @romac
    romac committed May 26, 2020
    Configuration menu
    Copy the full SHA
    97e27b1 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2020

  1. Re-enable provider field in LightBlock struct

    @romac
    romac committed May 27, 2020
    Configuration menu
    Copy the full SHA
    1f12e72 View commit details
    Browse the repository at this point in the history