Commit Graph

  • 4d76843d7f moved into subdirectory Jeff Burdges 2019-01-03 09:02:36 +01:00
  • 02a7a1a5f3 key discussions Jeff Burdges 2019-01-03 09:01:25 +01:00
  • 7dacb0adbe A bit more on dalek Jeff Burdges 2018-12-18 12:14:10 +01:00
  • 7b84123905 intro Jeff Burdges 2018-12-18 12:08:10 +01:00
  • c2192925fd Merge branch 'master' of github.com:w3f/consensus Jeff Burdges 2018-12-18 11:56:42 +01:00
  • cce49bcee1 Initial keys description restricted to accountsw Jeff Burdges 2018-12-18 11:56:35 +01:00
  • 00bd5e2179 Added unsafe fallback without on-chain commit messages A S 2018-12-14 15:30:10 +01:00
  • 7ef89a37c8 Made clear that we work backwards for accoutable safety A S 2018-12-12 16:44:02 +01:00
  • 7657d1b1e7 Reverted to not punishing non-responders to the challenge protocol so long as someone responds. A S 2018-12-12 13:55:19 +01:00
  • 1d49bb7377 Started to change how equivocations are counted and minor edits. A S 2018-12-11 17:00:20 +01:00
  • 07e02fc24b Minor tweaks Jeff Burdges 2018-12-11 13:38:43 +01:00
  • 6bb16c967e Merge branch 'master' of https://github.com/w3f/consensus.git A S 2018-12-10 12:16:38 +01:00
  • ab5824427d Introduction edits and additions A S 2018-12-10 12:16:26 +01:00
  • b2093dfbcd Not actually what a bridge does Jeff Burdges 2018-12-04 14:31:42 +01:00
  • 6223712412 Fixed some definitions A S 2018-11-19 14:35:33 +01:00
  • 297f58f9ca missing f Jeff Burdges 2018-11-12 02:29:55 +01:00
  • e95a6f135d Theorem statment appears reversed Jeff Burdges 2018-11-12 01:56:04 +01:00
  • 1993be73ba Explain conclusion of lem:message-monotonicity-completed-estimate Jeff Burdges 2018-11-12 01:53:29 +01:00
  • a312472839 Explain first sentence of lem:message-monotonicity-completed-estimate Jeff Burdges 2018-11-12 01:52:34 +01:00
  • ebc42b294e grammar Jeff Burdges 2018-11-12 01:04:15 +01:00
  • 1bbd6df003 Just grammar Jeff Burdges 2018-11-12 00:35:06 +01:00
  • 1ac37e26c8 Specify conclusion (ii) Jeff Burdges 2018-11-12 00:16:47 +01:00
  • f3ee32d739 remove contraction Jeff Burdges 2018-11-11 10:36:05 +01:00
  • 14cc40b27f r' -> t' Jeff Burdges 2018-11-11 10:34:55 +01:00
  • 5d6ebdec23 t \leq l' Jeff Burdges 2018-11-11 10:32:48 +01:00
  • c920e24e95 Lemma \ref{lem:overestimate-final} -> Corollary \ref{cor:overestimate-final} Jeff Burdges 2018-11-11 09:48:58 +01:00
  • 376c92423d Oxford comma Jeff Burdges 2018-11-11 01:55:20 +01:00
  • 3591b2e40b Oxford comma Jeff Burdges 2018-11-11 01:53:51 +01:00
  • 5bfd870ac2 Ran into trouble with $E_{r-1,v} \geq g(V_{r-1,v})$ Jeff Burdges 2018-11-11 01:34:19 +01:00
  • f2995ede0d More intuition for accountable safety. AlistairStewart 2018-11-09 17:51:10 +01:00
  • f9bf7c619e Merged stuff AlistairStewart 2018-11-09 17:12:25 +01:00
  • 29137810b9 More validators->voters AlistairStewart 2018-11-09 17:07:38 +01:00
  • 9fe0b4adb0 Add a set X for explicitly finding the Byzantine validators Jeff Burdges 2018-11-09 16:48:35 +01:00
  • c2f1316977 Appears to be a missing negation in Theorem 4.1 and .. Jeff Burdges 2018-11-09 16:27:42 +01:00
  • 891c224f53 Let's see if this merge thing works. AlistairStewart 2018-11-09 12:12:20 +01:00
  • 58e164175d Another attempt at formalising the definition. AlistairStewart 2018-11-09 12:00:27 +01:00
  • 90bc9715e7 Merge branch 'jb-patch' Jeff Burdges 2018-11-09 00:31:36 +01:00
  • 9ed19e9211 contraction Jeff Burdges 2018-11-09 00:25:55 +01:00
  • ed87ef8b58 Clarify t_{r,v} Jeff Burdges 2018-11-08 23:59:41 +01:00
  • 3ea07a4124 grammar Jeff Burdges 2018-11-08 23:53:38 +01:00
  • b0082d6113 Use \GST Jeff Burdges 2018-11-08 23:48:33 +01:00
  • 02601aec3e Italics for first occurance of prevote and precommit Jeff Burdges 2018-11-08 23:45:09 +01:00
  • 4f2a4d8bc9 Italics definitions Jeff Burdges 2018-11-08 23:26:51 +01:00
  • 6a13d59412 minor tweaks Jeff Burdges 2018-11-08 18:57:02 +01:00
  • 14997e3d9f Tried to clarify the formal definition of a finality gadget for the blockchain case. AlistairStewart 2018-11-08 17:05:23 +01:00
  • 7188c3636e Merge pull request #4 from jamesray1/patch-1 AlistairStewart 2018-11-08 15:32:59 +01:00
  • 76ec043654 More bibliography AlistairStewart 2018-11-08 15:06:48 +01:00
  • c482691373 Definition fonts. Jeff Burdges 2018-11-07 17:49:15 +01:00
  • 30b3baae42 This makes the sentences run-ons again, but now at least the anticedent is clear Jeff Burdges 2018-11-07 17:43:10 +01:00
  • fbf7ca86b3 expand "see" Jeff Burdges 2018-11-07 17:03:32 +01:00
  • 349be1f08a Removed spurious "with" and tweaked word choice, but.. Jeff Burdges 2018-11-07 16:23:47 +01:00
  • ccf7910c74 Run on sentence was kinda ambiguious. Added ??? for unspecified oracle property Jeff Burdges 2018-11-07 14:46:28 +01:00
  • e2e12ecd50 Avoid e.g. followed by i.e Jeff Burdges 2018-11-07 14:44:01 +01:00
  • 2bb170a9df Editorial: Grammar: Add a space, periods, commas, etc.; spelling; clarifications; options for hyperref James Ray 2018-11-06 16:36:47 +11:00
  • 00a138cde8 Added unsafe fallback for offline voters AlistairStewart 2018-10-16 16:42:11 +02:00
  • 1b37f30e95 Made the 1/5 BFT asynchronous thing correct. AlistairStewart 2018-10-16 15:10:56 +02:00
  • 02989acf7b More Casper comparison. AlistairStewart 2018-10-15 14:47:22 +02:00
  • c8a7e749e0 Merge branch 'master' of https://github.com/w3f/consensus.git AlistairStewart 2018-10-12 11:22:36 +02:00
  • 81f34dee2f More prelims AlistairStewart 2018-10-12 11:16:33 +02:00
  • 78d15cd1ac Minor edits Jeff Burdges 2018-10-12 11:11:35 +02:00
  • 9e65fc70c5 More grandpa. AlistairStewart 2018-09-25 19:29:57 +02:00
  • a9ad679ba8 Added section on the asynchronous problem and a bibliography. Fixed more typos. AlistairStewart 2018-09-25 18:20:08 +02:00
  • 0896fa4d0e Merge remote-tracking branch 'origin/al-staging' Robert Habermeier 2018-09-25 13:49:50 +01:00
  • cc6d644d97 add intro AlistairStewart 2018-09-25 14:47:26 +02:00
  • 00be01b23e Expanded introduction AlistairStewart 2018-09-25 14:39:06 +02:00
  • 4a14d6c4c2 Merge pull request #3 from ETHorHIL/patch-1 Robert Habermeier 2018-09-25 13:34:04 +01:00
  • 674d43f75d Update grandpa.tex ETHorHIL 2018-09-22 17:52:24 +02:00
  • b86a8f7b54 Note on finalizations and thresholds Jeff Burdges 2018-09-21 09:36:46 -04:00
  • c62a0ee3aa Talk about negatives of time locks on BTC Jeff Burdges 2018-09-21 09:27:59 -04:00
  • bdc65a0815 Unstaged changes but commiting to save from CR/LF mess Jeff Burdges 2018-09-21 09:01:56 -04:00
  • a6dd8cb870 Discuss malicious bridges Jeff Burdges 2018-09-21 08:39:44 -04:00
  • ddbbaf0ca8 Merge pull request #2 from retotrinkler/patch-1 Jeff Burdges 2018-09-21 08:52:09 -04:00
  • c350b48d19 Update swap.md Reto Trinkler 2018-09-21 14:23:48 +02:00
  • cb3895cf99 Merge branch 'master' of github.com:w3f/consensus Jeff Burdges 2018-09-21 06:56:30 -04:00
  • 1bea0edad4 Attempt a ZKCP swap based bridge Jeff Burdges 2018-09-21 06:56:07 -04:00
  • 44147636a7 Merge pull request #1 from bjornwgnr/patch-1 Jeff Burdges 2018-09-19 11:48:09 +02:00
  • 8efc971ff7 fix typo Björn Wagner 2018-09-19 06:58:48 +08:00
  • 20e6ffc2c8 Fixed typos AlistairStewart 2018-09-18 17:26:20 +02:00
  • 0274b7e85e Added latex and pdf for GRANDPA AlistairStewart 2018-09-18 17:15:18 +02:00
  • d0fa4fab3a Another sentense on clock skew Jeff Burdges 2018-08-30 14:42:18 +02:00
  • 35b8be2347 Corrections Jeff Burdges 2018-08-30 14:33:25 +02:00
  • dc3460db26 Start a timing section Jeff Burdges 2018-08-30 14:31:11 +02:00
  • 9795316db8 Comments on network randomness schemes and uses Jeff Burdges 2018-08-30 09:28:45 +02:00
  • ee25811adf typos and format keorn 2018-08-24 17:25:38 +02:00
  • f14ea9c967 init keorn 2018-08-24 14:38:48 +02:00
  • c4ad680248 Initial commit keorn 2018-08-24 14:28:44 +02:00