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

186 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jeff Burdges 4d76843d7f moved into subdirectory 2019-01-03 09:02:36 +01:00
Jeff Burdges 02a7a1a5f3 key discussions 2019-01-03 09:01:25 +01:00
Jeff Burdges 7dacb0adbe A bit more on dalek 2018-12-18 12:14:10 +01:00
Jeff Burdges 7b84123905 intro 2018-12-18 12:08:10 +01:00
Jeff Burdges c2192925fd Merge branch 'master' of github.com:w3f/consensus 2018-12-18 11:56:42 +01:00
Jeff Burdges cce49bcee1 Initial keys description restricted to accountsw 2018-12-18 11:56:35 +01: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 6bb16c967e Merge branch 'master' of https://github.com/w3f/consensus.git 2018-12-10 12:16:38 +01:00
A S ab5824427d Introduction edits and additions 2018-12-10 12:16:26 +01:00
Jeff Burdges b2093dfbcd Not actually what a bridge does 2018-12-04 14:31:42 +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
Jeff Burdges 9ed19e9211 contraction 2018-11-09 00:25:55 +01:00
Jeff Burdges ed87ef8b58 Clarify t_{r,v} 2018-11-08 23:59:41 +01:00
Jeff Burdges 3ea07a4124 grammar 2018-11-08 23:53:38 +01:00
Jeff Burdges b0082d6113 Use \GST 2018-11-08 23:48:33 +01:00
Jeff Burdges 02601aec3e Italics for first occurance of prevote and precommit 
These should be given actual intuition though, not just arbitrary names.
 2018-11-08 23:45:09 +01:00
Jeff Burdges 4f2a4d8bc9 Italics definitions 2018-11-08 23:26:51 +01:00
Jeff Burdges 6a13d59412 minor tweaks 2018-11-08 18:57:02 +01:00
AlistairStewart 14997e3d9f Tried to clarify the formal definition of a finality gadget for the blockchain case. 2018-11-08 17:05:23 +01:00
AlistairStewart 7188c3636e Merge pull request #4 from jamesray1/patch-1 
Editorial: Grammar: Add a space, periods, commas, etc.; spelling; …
 2018-11-08 15:32:59 +01:00
AlistairStewart 76ec043654 More bibliography 2018-11-08 15:06:48 +01:00
Jeff Burdges c482691373 Definition fonts. 2018-11-07 17:56:41 +01:00
Jeff Burdges 30b3baae42 This makes the sentences run-ons again, but now at least the anticedent is clear 2018-11-07 17:43:10 +01:00
Jeff Burdges fbf7ca86b3 expand "see" 2018-11-07 17:03:32 +01:00