pezkuwichain/consensus
1
0
Fork 0
mirror of https://github.com/pezkuwichain/consensus.git synced 2026-04-25 11:07:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
104 Commits 1 Branch 0 Tags
4ee4fe02d3aedab8b08e56a70977dc490c403086
Commit Graph

104 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jeff Burdges 4ee4fe02d3 Merge pull request #5 from jamesray1/patch-2 
Use the hyperref package, add keywords
 2019-02-02 09:38:56 +01:00
James Ray e8daec7a39 Use the hyperref package, add keywords 2019-02-02 19:36:19 +11:00
Jeff Burdges dad0997892 Improve nominator keys section based on Handan's questions 2019-01-25 13:42:05 -05:00
Jeff Burdges 26249d7013 Put slothful reduction in the right place 2019-01-07 22:31:30 +01:00
Jeff Burdges fc5ac61737 Add idea from discussion with Rob 2019-01-07 22:17:52 +01:00
Jeff Burdges 239f1f246b slothful reduction 2019-01-07 03:32:44 +01:00
Jeff Burdges fbcc64ae82 minor 2019-01-07 03:06:02 +01:00
Jeff Burdges 2087f9d126 renders better 2019-01-07 01:38:37 +01:00
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