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
96 Commits 1 Branch 0 Tags
6a29f42993099f0eae92b2e9a70cd4ea37aea546
Commit Graph

96 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jeff Burdges 6a29f42993 split long file 2019-01-07 01:33:10 +01:00
Jeff Burdges 2af9f049aa rename 2019-01-07 01:19:14 +01:00
Jeff Burdges 9b18fccbca rename 2019-01-07 01:18:40 +01:00
Jeff Burdges 67d0edb122 Noise vs. ACKs 2019-01-06 23:48:45 +01:00
Jeff Burdges 482673553a Cleanup and link 2019-01-06 23:34:44 +01:00
Jeff Burdges 64ea917b0a cleanup 2019-01-06 23:05:07 +01:00
Jeff Burdges 47379c0c5f Future direcrtions: PQ and Axolotl 2019-01-06 22:13:07 +01:00
Jeff Burdges 73bd093a51 Transport layer authentication - libp2p's SECIO 
Already posted as
https://forum.web3.foundation/t/transport-layer-authentication-libp2ps-secio/69
 2019-01-06 21:48:27 +01:00
Jeff Burdges a430ffdf1a Account key creation ideas for Polkadot 
Already posted as https://forum.web3.foundation/t/account-key-creation-ideas-for-polkadot/68
 2019-01-06 20:42:29 +01:00
Jeff Burdges e12cba6a02 no ACKs in secio 2019-01-03 09:25:01 +01:00
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