pezkuwichain/consensus
1
0
Fork 0
mirror of https://github.com/pezkuwichain/consensus.git synced 2026-04-22 07:58:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
149 Commits 1 Branch 0 Tags
b6e9dd70da3f764ea0087d3966f4dc53053e0ad3
Commit Graph

80 Commits

Author SHA1 Message Date
LefKok b6e9dd70da new introduction 2020-03-21 12:55:53 +01:00
LefKok 32734fc42a restructure and introduction 2020-03-18 17:32:27 +01:00
LefKok db2c6925ed new branch 2020-02-14 23:12:07 +01:00
Leo Arias 2705ef32b3 Fix typo: evrey -> every 2019-09-11 10:44:36 -06:00
Leo Arias 566c268d35 Fix typo: tales -> takes 2019-09-11 10:35:26 -06:00
Leo Arias 377fe27fa2 Fix typos 2019-09-11 10:34:01 -06:00
FatemeShirazi 4291b5157a Update grandpa.tex 2019-05-09 14:40:12 +02:00
A S a2c806e60a Corrected condition for optimistic GRANDPA and made some validators voters. 2019-05-02 16:05:00 +02:00
A S 0d2386c219 Minor changes to grandpa 2019-05-02 11:45:49 +02:00
A S 0c4ebf423b Added section for optimized and polite thing. 2019-05-01 15:42:00 +02:00
Ryuya Nakamura 3ed049b998 Fix a typo "partici[ants" 2019-04-24 09:57:05 +09:00
Jeff Burdges 78baa6fe77 minor 2019-04-17 16:41:52 +02:00
Jeff Burdges f937b64f9d Clean up langauge and make parenthetical comment important 2019-04-17 16:36:03 +02:00
A S b79d0f660c More changes to the GRANDPA paper for clarity. 2019-04-17 14:36:08 +02:00
Jeff Burdges 0cfe951ca9 Al's comments from discussion 2019-04-16 13:00:10 +02:00
A S af539f50ed Added clarifications to GRANDPA paper 2019-04-11 11:36:09 +02:00
Jeff Burdges 2003aab831 Merge branch 'master' of github.com:w3f/consensus 2019-02-27 14:29:09 +01:00
Jeff Burdges 1fa1a619fc Slightly improve working in challenge game 2019-02-27 14:28:51 +01:00
Fedor Sakharov 575e982201 Fixes some typos 2019-02-27 12:30:49 +03:00
Philippe Castonguay 4b9251e32e Typo #1 2019-02-16 15:21:31 -07:00
James Ray e8daec7a39 Use the hyperref package, add keywords 2019-02-02 19:36:19 +11:00
A S 00bd5e2179 Added unsafe fallback without on-chain commit messages 2018-12-14 15:30:10 +01:00
A S 7ef89a37c8 Made clear that we work backwards for accoutable safety 2018-12-12 16:44:02 +01:00
A S 7657d1b1e7 Reverted to not punishing non-responders to the challenge protocol so long as someone responds. 2018-12-12 13:55:19 +01:00
A S 1d49bb7377 Started to change how equivocations are counted and minor edits. 2018-12-11 17:00:20 +01:00
Jeff Burdges 07e02fc24b Minor tweaks 2018-12-11 13:38:43 +01:00
A S ab5824427d Introduction edits and additions 2018-12-10 12:16:26 +01:00
A S 6223712412 Fixed some definitions 2018-11-19 14:35:33 +01:00
Jeff Burdges 297f58f9ca missing f 2018-11-12 02:29:55 +01:00
Jeff Burdges e95a6f135d Theorem statment appears reversed 2018-11-12 01:56:04 +01:00
Jeff Burdges 1993be73ba Explain conclusion of lem:message-monotonicity-completed-estimate 2018-11-12 01:53:29 +01:00
Jeff Burdges a312472839 Explain first sentence of lem:message-monotonicity-completed-estimate 2018-11-12 01:52:34 +01:00
Jeff Burdges ebc42b294e grammar 2018-11-12 01:04:15 +01:00
Jeff Burdges 1bbd6df003 Just grammar 2018-11-12 00:49:26 +01:00
Jeff Burdges 1ac37e26c8 Specify conclusion (ii) 2018-11-12 00:20:40 +01:00
Jeff Burdges f3ee32d739 remove contraction 2018-11-11 10:36:05 +01:00
Jeff Burdges 14cc40b27f r' -> t' 
Just looks like a type-o
 2018-11-11 10:34:55 +01:00
Jeff Burdges 5d6ebdec23 t \leq l' 
I think formally we need not state this since the vote set increasing
requires it, but it seemingly costs nothing and improves intuition.
 2018-11-11 10:32:48 +01:00
Jeff Burdges c920e24e95 Lemma \ref{lem:overestimate-final} -> Corollary \ref{cor:overestimate-final} 2018-11-11 09:48:58 +01:00
Jeff Burdges 376c92423d Oxford comma 2018-11-11 01:55:20 +01:00
Jeff Burdges 3591b2e40b Oxford comma 2018-11-11 01:53:51 +01:00
Jeff Burdges 5bfd870ac2 Ran into trouble with $E_{r-1,v} \geq g(V_{r-1,v})$ 2018-11-11 01:34:19 +01:00
AlistairStewart f2995ede0d More intuition for accountable safety. 2018-11-09 17:51:10 +01:00
AlistairStewart f9bf7c619e Merged stuff 2018-11-09 17:12:25 +01:00
AlistairStewart 29137810b9 More validators->voters 2018-11-09 17:07:38 +01:00
Jeff Burdges 9fe0b4adb0 Add a set X for explicitly finding the Byzantine validators 2018-11-09 16:48:35 +01:00
Jeff Burdges c2f1316977 Appears to be a missing negation in Theorem 4.1 and .. 
I replaced an "or such that" with "in either case such that"

Also some formatting changes
 2018-11-09 16:27:42 +01:00
AlistairStewart 891c224f53 Let's see if this merge thing works. 2018-11-09 12:12:20 +01:00
AlistairStewart 58e164175d Another attempt at formalising the definition. 2018-11-09 12:00:27 +01:00
Jeff Burdges 90bc9715e7 Merge branch 'jb-patch' 2018-11-09 00:31:36 +01:00