00bd5e2179
Added unsafe fallback without on-chain commit messages
2018-12-14 15:30:10 +01:00
7ef89a37c8
Made clear that we work backwards for accoutable safety
2018-12-12 16:44:02 +01:00
7657d1b1e7
Reverted to not punishing non-responders to the challenge protocol so long as someone responds.
2018-12-12 13:55:19 +01:00
1d49bb7377
Started to change how equivocations are counted and minor edits.
2018-12-11 17:00:20 +01:00
07e02fc24b
Minor tweaks
2018-12-11 13:38:43 +01:00
ab5824427d
Introduction edits and additions
2018-12-10 12:16:26 +01:00
6223712412
Fixed some definitions
2018-11-19 14:35:33 +01:00
297f58f9ca
missing f
2018-11-12 02:29:55 +01:00
e95a6f135d
Theorem statment appears reversed
2018-11-12 01:56:04 +01:00
1993be73ba
Explain conclusion of lem:message-monotonicity-completed-estimate
2018-11-12 01:53:29 +01:00
a312472839
Explain first sentence of lem:message-monotonicity-completed-estimate
2018-11-12 01:52:34 +01:00
ebc42b294e
grammar
2018-11-12 01:04:15 +01:00
1bbd6df003
Just grammar
2018-11-12 00:49:26 +01:00
1ac37e26c8
Specify conclusion (ii)
2018-11-12 00:20:40 +01:00
f3ee32d739
remove contraction
2018-11-11 10:36:05 +01:00
14cc40b27f
r' -> t'
...
Just looks like a type-o
2018-11-11 10:34:55 +01:00
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
c920e24e95
Lemma \ref{lem:overestimate-final} -> Corollary \ref{cor:overestimate-final}
2018-11-11 09:48:58 +01:00
376c92423d
Oxford comma
2018-11-11 01:55:20 +01:00
3591b2e40b
Oxford comma
2018-11-11 01:53:51 +01:00
5bfd870ac2
Ran into trouble with $E_{r-1,v} \geq g(V_{r-1,v})$
2018-11-11 01:34:19 +01:00
f2995ede0d
More intuition for accountable safety.
2018-11-09 17:51:10 +01:00
f9bf7c619e
Merged stuff
2018-11-09 17:12:25 +01:00
29137810b9
More validators->voters
2018-11-09 17:07:38 +01:00
9fe0b4adb0
Add a set X for explicitly finding the Byzantine validators
2018-11-09 16:48:35 +01:00
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
891c224f53
Let's see if this merge thing works.
2018-11-09 12:12:20 +01:00
58e164175d
Another attempt at formalising the definition.
2018-11-09 12:00:27 +01:00
90bc9715e7
Merge branch 'jb-patch'
2018-11-09 00:31:36 +01:00
9ed19e9211
contraction
2018-11-09 00:25:55 +01:00
ed87ef8b58
Clarify t_{r,v}
2018-11-08 23:59:41 +01:00
3ea07a4124
grammar
2018-11-08 23:53:38 +01:00
b0082d6113
Use \GST
2018-11-08 23:48:33 +01:00
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
4f2a4d8bc9
Italics definitions
2018-11-08 23:26:51 +01:00
6a13d59412
minor tweaks
2018-11-08 18:57:02 +01:00
14997e3d9f
Tried to clarify the formal definition of a finality gadget for the blockchain case.
2018-11-08 17:05:23 +01:00
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
76ec043654
More bibliography
2018-11-08 15:06:48 +01:00
c482691373
Definition fonts.
2018-11-07 17:56:41 +01:00
30b3baae42
This makes the sentences run-ons again, but now at least the anticedent is clear
2018-11-07 17:43:10 +01:00
fbf7ca86b3
expand "see"
2018-11-07 17:03:32 +01:00
349be1f08a
Removed spurious "with" and tweaked word choice, but..
...
We need to explain "the obvious generalisation for multi-valued Byzantine agreement" here, so I tweaked the wording, but the remainder of the paragraph remains difficult to follow.
2018-11-07 16:56:26 +01:00
ccf7910c74
Run on sentence was kinda ambiguious. Added ??? for unspecified oracle property
2018-11-07 16:04:04 +01:00
e2e12ecd50
Avoid e.g. followed by i.e
2018-11-07 14:44:01 +01:00
2bb170a9df
Editorial: Grammar: Add a space, periods, commas, etc.; spelling; clarifications; options for hyperref
...
I haven't read through all of it.
2018-11-06 16:36:47 +11:00
00a138cde8
Added unsafe fallback for offline voters
2018-10-16 16:42:11 +02:00
1b37f30e95
Made the 1/5 BFT asynchronous thing correct.
2018-10-16 15:10:56 +02:00
02989acf7b
More Casper comparison.
2018-10-15 14:47:22 +02:00
c8a7e749e0
Merge branch 'master' of https://github.com/w3f/consensus.git
2018-10-12 11:22:36 +02:00
A S