Skip to content
This repository has been archived by the owner on Feb 23, 2022. It is now read-only.

Update specification of light client algorithm to align with the code #61

Merged
merged 23 commits into from
Jan 23, 2020
Merged

Update specification of light client algorithm to align with the code #61

merged 23 commits into from
Jan 23, 2020

Commits on Nov 15, 2019

  1. Add non-recursive specification of Bisection algorithm 

    - Fix timing issues by introducing Delta parameter
    @milosevic
    milosevic committed Nov 15, 2019
    Configuration menu
    Copy the full SHA
    a4b68ec View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2019

  1. Clean up error conditions and simplify pseudocode

    @milosevic
    milosevic committed Nov 28, 2019
    Configuration menu
    Copy the full SHA
    4ee393c View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2019

  1. Apply suggestions from code review 

    Co-Authored-By: Anca Zamfir <ancazamfir@users.noreply.github.com>
    @milosevic @ancazamfir
    milosevic and ancazamfir committed Dec 2, 2019
    Configuration menu
    Copy the full SHA
    2306108 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2019

  1. some suggestions for pseuodocode changes

    Anca Zamfir committed Dec 6, 2019
    Configuration menu
    Copy the full SHA
    afda2d3 View commit details
    Browse the repository at this point in the history

  2. Improved error handling

    @milosevic
    milosevic committed Dec 6, 2019
    Configuration menu
    Copy the full SHA
    5c58084 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2019

  1. Improve algorithms

    @milosevic
    milosevic committed Dec 11, 2019
    Configuration menu
    Copy the full SHA
    069906a View commit details
    Browse the repository at this point in the history

  2. Add explanation on difference between trusted models

    @milosevic
    milosevic committed Dec 11, 2019
    Configuration menu
    Copy the full SHA
    9ddfc79 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'remotes/origin/master' into zm_lite_cli… 

    …ent_algo

# Conflicts:
#	spec/consensus/light-client.md
    @milosevic
    milosevic committed Dec 11, 2019
    Configuration menu
    Copy the full SHA
    8528cdb View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2019

  1. Address reviewer's comments

    @milosevic
    milosevic committed Dec 12, 2019
    Configuration menu
    Copy the full SHA
    4f7c555 View commit details
    Browse the repository at this point in the history

Commits on Dec 25, 2019

  1. Addressing reviewer's comments

    @milosevic
    milosevic committed Dec 25, 2019
    Configuration menu
    Copy the full SHA
    ee0cc53 View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2019

  1. Separating algorithm from proofs

    @milosevic
    milosevic committed Dec 26, 2019
    Configuration menu
    Copy the full SHA
    0adde9d View commit details
    Browse the repository at this point in the history

Commits on Dec 31, 2019

  1. Intermediate commit (aligning spec with the code)

    @milosevic
    milosevic committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    4a9eb1f View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2020

  1. Removing Store from API and providing end-to-end timing guarantees

    @milosevic
    milosevic committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    7130c2e View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2020

  1. Address reviewer comment's. Intermediate commit

    @milosevic
    milosevic committed Jan 8, 2020
    Configuration menu
    Copy the full SHA
    146e251 View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2020

  1. light client dir and readmes

    @ebuchman
    ebuchman committed Jan 22, 2020
    Configuration menu
    Copy the full SHA
    f26eb4e View commit details
    Browse the repository at this point in the history

  2. titles

    @ebuchman
    ebuchman committed Jan 22, 2020
    Configuration menu
    Copy the full SHA
    eb9e1f9 View commit details
    Browse the repository at this point in the history

  3. add redirects

    @ebuchman
    ebuchman committed Jan 22, 2020
    Configuration menu
    Copy the full SHA
    e342c21 View commit details
    Browse the repository at this point in the history

  4. add diagram

    @ebuchman
    ebuchman committed Jan 22, 2020
    Configuration menu
    Copy the full SHA
    0358389 View commit details
    Browse the repository at this point in the history

  5. detection TODO

    @ebuchman
    ebuchman committed Jan 22, 2020
    Configuration menu
    Copy the full SHA
    d1bd98d View commit details
    Browse the repository at this point in the history

  6. fix image

    @ebuchman
    ebuchman committed Jan 22, 2020
    Configuration menu
    Copy the full SHA
    bd2f41b View commit details
    Browse the repository at this point in the history

  7. update readme

    @ebuchman
    ebuchman committed Jan 22, 2020
    Configuration menu
    Copy the full SHA
    c35d6e7 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2020

  1. Merge pull request #73 from tendermint/bucky/light-reorg 

    Move light specs to their own dir, add readme and diagram
    @milosevic
    milosevic committed Jan 23, 2020
    Configuration menu
    Copy the full SHA
    dc54206 View commit details
    Browse the repository at this point in the history

  2. Aligh the correctness arguments with the pseudocode changes

    @milosevic
    milosevic committed Jan 23, 2020
    Configuration menu
    Copy the full SHA
    026fdde View commit details
    Browse the repository at this point in the history