69 Commits

Author	SHA1	Message	Date
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
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