Browse Source

Add a few stuffs.

Thomas Kerber 9 months ago
parent
commit
bc0d68a88f
Signed by: Thomas Kerber <t.kerber@ed.ac.uk> GPG Key ID: 8489B911F9ED617B

+ 20
- 0
TOADD.md View File

@@ -0,0 +1,20 @@
1
+Non-Interactive Proofs of Proof-of-Work
2
+On the Danger of Private Blockchains
3
+Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications
4
+How to Prove Yourself: Practical Solutions to Identification and Signature Problems
5
+New (and Old) Proof Systems for Lattice Problems
6
+Scalable, transparent, and post-quantum secure computational integrity
7
+Bitcoin as a Transaction Ledger: A Composable Treatment
8
+An Efficient NIZK Scheme for Privacy-Preserving Transactions over Account-Model Blockchain
9
+Doubly-efficient zkSNARKs without trusted setup
10
+Designing Proof of Transaction Puzzles for Cryptocurrency
11
+A Simpler Variant of Universally Composable Security for Standard Multiparty Computation
12
+On Probabilistic Space-Bounded Machines with Multiple Access to Random Tape
13
+The Knowledge Complexity of Interactive Proof Systems
14
+Time Bounded Random Access Machines
15
+Solidus: Confidential Distributed Ledger Transactions via PVORM
16
+FruitChains: A Fair Blockchain
17
+BitML: a calculus for Bitcoin smart contracts
18
+PHANTOM: A Scalable BlockDAG protocol
19
+Algorand: Scaling Byzantine Agreements for Cryptocurrencies
20
+A Framework for the Sound Specification of Cryptographic Tasks

+ 28
- 0
bibtex/Canetti01.bib View File

@@ -0,0 +1,28 @@
1
+@inproceedings{DBLP:conf/focs/Canetti01,
2
+  author    = {Ran Canetti},
3
+  title     = {Universally Composable Security: {A} New Paradigm for Cryptographic
4
+               Protocols},
5
+  booktitle = {42nd Annual Symposium on Foundations of Computer Science, {FOCS} 2001,
6
+               14-17 October 2001, Las Vegas, Nevada, {USA}},
7
+  pages     = {136--145},
8
+  year      = {2001},
9
+  crossref  = {DBLP:conf/focs/2001},
10
+  url       = {https://doi.org/10.1109/SFCS.2001.959888},
11
+  doi       = {10.1109/SFCS.2001.959888},
12
+  timestamp = {Fri, 19 May 2017 01:26:00 +0200},
13
+  biburl    = {http://dblp.org/rec/bib/conf/focs/Canetti01},
14
+  bibsource = {dblp computer science bibliography, http://dblp.org}
15
+}
16
+
17
+@proceedings{DBLP:conf/focs/2001,
18
+  title     = {42nd Annual Symposium on Foundations of Computer Science, {FOCS} 2001,
19
+               14-17 October 2001, Las Vegas, Nevada, {USA}},
20
+  publisher = {{IEEE} Computer Society},
21
+  year      = {2001},
22
+  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7601},
23
+  isbn      = {0-7695-1390-5},
24
+  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
25
+  biburl    = {http://dblp.org/rec/bib/conf/focs/2001},
26
+  bibsource = {dblp computer science bibliography, http://dblp.org}
27
+}
28
+

+ 16
- 0
bibtex/CanettiDPW06.bib View File

@@ -0,0 +1,16 @@
1
+@article{DBLP:journals/iacr/CanettiDPW06,
2
+  author    = {Ran Canetti and
3
+               Yevgeniy Dodis and
4
+               Rafael Pass and
5
+               Shabsi Walfish},
6
+  title     = {Universally Composable Security with Global Setup},
7
+  journal   = {{IACR} Cryptology ePrint Archive},
8
+  volume    = {2006},
9
+  pages     = {432},
10
+  year      = {2006},
11
+  url       = {http://eprint.iacr.org/2006/432},
12
+  timestamp = {Thu, 08 Jun 2017 14:26:38 +0200},
13
+  biburl    = {http://dblp.org/rec/bib/journals/iacr/CanettiDPW06},
14
+  bibsource = {dblp computer science bibliography, http://dblp.org}
15
+}
16
+

+ 17
- 0
bibtex/DavidGKR17.bib View File

@@ -0,0 +1,17 @@
1
+@article{DBLP:journals/iacr/DavidGKR17,
2
+  author    = {Bernardo Machado David and
3
+               Peter Gazi and
4
+               Aggelos Kiayias and
5
+               Alexander Russell},
6
+  title     = {Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake
7
+               protocol},
8
+  journal   = {{IACR} Cryptology ePrint Archive},
9
+  volume    = {2017},
10
+  pages     = {573},
11
+  year      = {2017},
12
+  url       = {http://eprint.iacr.org/2017/573},
13
+  timestamp = {Wed, 21 Jun 2017 18:21:46 +0200},
14
+  biburl    = {http://dblp.org/rec/bib/journals/iacr/DavidGKR17},
15
+  bibsource = {dblp computer science bibliography, http://dblp.org}
16
+}
17
+

+ 37
- 0
bibtex/KiayiasRDO17.bib View File

@@ -0,0 +1,37 @@
1
+@inproceedings{DBLP:conf/crypto/KiayiasRDO17,
2
+  author    = {Aggelos Kiayias and
3
+               Alexander Russell and
4
+               Bernardo David and
5
+               Roman Oliynykov},
6
+  title     = {Ouroboros: {A} Provably Secure Proof-of-Stake Blockchain Protocol},
7
+  booktitle = {Advances in Cryptology - {CRYPTO} 2017 - 37th Annual International
8
+               Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017,
9
+               Proceedings, Part {I}},
10
+  pages     = {357--388},
11
+  year      = {2017},
12
+  crossref  = {DBLP:conf/crypto/2017-1},
13
+  url       = {https://doi.org/10.1007/978-3-319-63688-7_12},
14
+  doi       = {10.1007/978-3-319-63688-7_12},
15
+  timestamp = {Mon, 14 Aug 2017 14:34:46 +0200},
16
+  biburl    = {http://dblp.org/rec/bib/conf/crypto/KiayiasRDO17},
17
+  bibsource = {dblp computer science bibliography, http://dblp.org}
18
+}
19
+
20
+@proceedings{DBLP:conf/crypto/2017-1,
21
+  editor    = {Jonathan Katz and
22
+               Hovav Shacham},
23
+  title     = {Advances in Cryptology - {CRYPTO} 2017 - 37th Annual International
24
+               Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017,
25
+               Proceedings, Part {I}},
26
+  series    = {Lecture Notes in Computer Science},
27
+  volume    = {10401},
28
+  publisher = {Springer},
29
+  year      = {2017},
30
+  url       = {https://doi.org/10.1007/978-3-319-63688-7},
31
+  doi       = {10.1007/978-3-319-63688-7},
32
+  isbn      = {978-3-319-63687-0},
33
+  timestamp = {Mon, 14 Aug 2017 14:32:34 +0200},
34
+  biburl    = {http://dblp.org/rec/bib/conf/crypto/2017-1},
35
+  bibsource = {dblp computer science bibliography, http://dblp.org}
36
+}
37
+

+ 1
- 1
bin/gen.py View File

@@ -7,7 +7,7 @@ tagspec = {
7 7
     "all": ["all"],
8 8
     "state": ["read", "skimmed", "toread", "seen", "unread", "dismissed"],
9 9
     "type": ["paper", "whitepaper", "blogpost", "tutorial"],
10
-    "tags": ["blockchain", "mpc", "primitives", "privacy", "scalability", "trust", "verifiability", "zk"],
10
+    "tags": ["blockchain", "mpc", "primitives", "privacy", "scalability", "trust", "verifiability", "zk", "uc"],
11 11
 }
12 12
 metatags = ["all", "read", "skimmed", "toread", "seen", "unread", "dismissed"]
13 13
 metatags.sort()

+ 7
- 6
gen/index.md View File

@@ -2,27 +2,27 @@
2 2
 
3 3
 ## all
4 4
 
5
-* [all](indicies/all.md) (55)
5
+* [all](indicies/all.md) (59)
6 6
 
7 7
 ## state
8 8
 
9
-* [read](indicies/read.md) (14)
9
+* [read](indicies/read.md) (17)
10 10
 * [skimmed](indicies/skimmed.md) (30)
11 11
 * [toread](indicies/toread.md) (8)
12
-* [seen](indicies/seen.md) (45)
13
-* [unread](indicies/unread.md) (10)
12
+* [seen](indicies/seen.md) (48)
13
+* [unread](indicies/unread.md) (11)
14 14
 * [dismissed](indicies/dismissed.md) (1)
15 15
 
16 16
 ## type
17 17
 
18
-* [paper](indicies/paper.md) (35)
18
+* [paper](indicies/paper.md) (39)
19 19
 * [whitepaper](indicies/whitepaper.md) (11)
20 20
 * [blogpost](indicies/blogpost.md) (1)
21 21
 * [tutorial](indicies/tutorial.md) (2)
22 22
 
23 23
 ## tags
24 24
 
25
-* [blockchain](indicies/blockchain.md) (27)
25
+* [blockchain](indicies/blockchain.md) (29)
26 26
 * [mpc](indicies/mpc.md) (5)
27 27
 * [primitives](indicies/primitives.md) (16)
28 28
 * [privacy](indicies/privacy.md) (10)
@@ -30,4 +30,5 @@
30 30
 * [trust](indicies/trust.md) (14)
31 31
 * [verifiability](indicies/verifiability.md) (5)
32 32
 * [zk](indicies/zk.md) (14)
33
+* [uc](indicies/uc.md) (4)
33 34
 

+ 5
- 1
gen/indicies/all.md View File

@@ -1,4 +1,4 @@
1
-# Tagged all (55)
1
+# Tagged all (59)
2 2
 [back to tag index](../index.md)
3 3
 
4 4
 * [[b](../../bibtex/Waksman68.bib)/[p](https://grid.cs.gsu.edu/~wkim/index_files/permutation_network.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Waksman68.pdf)] [A Permutation Network](../notes/Waksman68.md)
@@ -29,6 +29,8 @@
29 29
 * [[b](../../bibtex/EyalS14.bib)/[p](https://www.cs.ucsb.edu/~rich/class/cs293b-cloud/papers/srier-bitcoin.pdf)/[c](https://git.drwx.org/phd/papers/src/master/EyalS14.pdf)] [Majority is Not Enough: Bitcoin Mining is Vulnerable](../notes/EyalS14.md)
30 30
 * [[b](../../bibtex/BeauquierD02.bib)/[p](http://www.worldscientific.com/doi/pdf/10.1142/S0129626402000999)/[c](https://git.drwx.org/phd/papers/src/master/BeauquierD02.pdf)] [On Arbitrary Size Waksman Networks and Their Vulnerability](../notes/BeauquierD02.md)
31 31
 * [[b](../../bibtex/CromanDEGJKMSSS16.bib)/[p](http://www.initc3.org/files/Scaling2016.pdf)/[c](https://git.drwx.org/phd/papers/src/master/CromanDEGJKMSSS16.pdf)] [On Scaling Decentralized Blockchains](../notes/CromanDEGJKMSSS16.md)
32
+* [[b](../../bibtex/DavidGKR17.bib)/[p](https://eprint.iacr.org/2017/573.pdf)/[c](https://git.drwx.org/phd/papers/src/master/DavidGKR17.pdf)] [Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain](../notes/DavidGKR17.md)
33
+* [[b](../../bibtex/KiayiasRDO17.bib)/[p](https://eprint.iacr.org/2016/889.pdf)/[c](https://git.drwx.org/phd/papers/src/master/KiayiasRDO17.pdf)] [Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol](../notes/KiayiasRDO17.md)
32 34
 * [[b](../../bibtex/GalbraithPS08.bib)/[p](https://eprint.iacr.org/2006/165.pdf)/[c](https://git.drwx.org/phd/papers/src/master/GalbraithPS08.pdf)] [Pairings for Cryptographers](../notes/GalbraithPS08.md)
33 35
 * [[b](../../bibtex/ParnoHG016.bib)/[p](https://eprint.iacr.org/2013/279.pdf)/[c](https://git.drwx.org/phd/papers/src/master/ParnoHG016.pdf)] [Pinocchio: Nearly Practical Verifiable Computation](../notes/ParnoHG016.md)
34 36
 * [[b](../../bibtex/KingN12.bib)/[p](http://peerco.in/assets/paper/peercoin-paper.pdf)/[c](https://git.drwx.org/phd/papers/src/master/KingN12.pdf)] [PPCoin: Peer-to-peer Crypto-Currency with Proof-of-Stake](../notes/KingN12.md)
@@ -53,6 +55,8 @@
53 55
 * [[b](../../bibtex/Douceur02.bib)/[p](http://www.cs.cornell.edu/people/egs/cs6460-spring10/sybil.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Douceur02.pdf)] [The Sybil Attack](../notes/Douceur02.md)
54 56
 * [[b](../../bibtex/Kwon14.bib)/[p](https://tendermint.com/static/docs/tendermint.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Kwon14.pdf)] [Tendermint: Consensus Without Mining](../notes/Kwon14.md)
55 57
 * [[b](../../bibtex/Ben-SassonCGTV13-2.bib)/[p](http://www.scipr-lab.org/doc/TinyRAM-spec-0.991.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Ben-SassonCGTV13-2.pdf)] [TinyRAM Architecture Specification v0.991](../notes/Ben-SassonCGTV13-2.md)
58
+* [[b](../../bibtex/CanettiDPW06.bib)/[p](https://eprint.iacr.org/2006/432.pdf)/[c](https://git.drwx.org/phd/papers/src/master/CanettiDPW06.pdf)] [Universally Composable Security with Global Setup](../notes/CanettiDPW06.md)
59
+* [[b](../../bibtex/Canetti01.bib)/[p](https://eprint.iacr.org/2000/067.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Canetti01.pdf)] [Universally Composable Security: A New Paradigm for Cryptographic Protocols](../notes/Canetti01.md)
56 60
 * [[b](../../bibtex/Ben-SassonCGGMTV14.bib)/[p](https://eprint.iacr.org/2014/349.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Ben-SassonCGGMTV14.pdf)] [Zerocash: Decentralized Anonymous Payments from Bitcoin](../notes/Ben-SassonCGGMTV14.md)
57 61
 * [[b](../../bibtex/MiersGGR13.bib)/[p](http://isi.jhu.edu/~mgreen/ZerocoinOakland.pdf)/[c](https://git.drwx.org/phd/papers/src/master/MiersGGR13.pdf)] [Zerocoin: Anonymous Distributed E-Cash from Bitcoin](../notes/MiersGGR13.md)
58 62
 * [[b](../../bibtex/GiacomelliMO16.bib)/[p](https://eprint.iacr.org/2016/163.pdf)/[c](https://git.drwx.org/phd/papers/src/master/GiacomelliMO16.pdf)] [ZKBoo: Faster Zero-Knowledge for Boolean Circuits](../notes/GiacomelliMO16.md)

+ 3
- 1
gen/indicies/blockchain.md View File

@@ -1,4 +1,4 @@
1
-# Tagged blockchain (27)
1
+# Tagged blockchain (29)
2 2
 [back to tag index](../index.md)
3 3
 
4 4
 * [[b](../../bibtex/MaDHZX17.bib)/[p](https://eprint.iacr.org/2017/1239.pdf)/[c](https://git.drwx.org/phd/papers/src/master/MaDHZX17.pdf)] [An Efficient NIZK Scheme for Privacy-Preserving Transactions over Account-Model Blockchain](../notes/MaDHZX17.md)
@@ -19,6 +19,8 @@
19 19
 * [[b](../../bibtex/LewenbergSZ15.bib)/[p](http://www.cs.huji.ac.il/~avivz/pubs/15/inclusive_btc_full.pdf)/[c](https://git.drwx.org/phd/papers/src/master/LewenbergSZ15.pdf)] [Inclusive Block Chain Protocols](../notes/LewenbergSZ15.md)
20 20
 * [[b](../../bibtex/EyalS14.bib)/[p](https://www.cs.ucsb.edu/~rich/class/cs293b-cloud/papers/srier-bitcoin.pdf)/[c](https://git.drwx.org/phd/papers/src/master/EyalS14.pdf)] [Majority is Not Enough: Bitcoin Mining is Vulnerable](../notes/EyalS14.md)
21 21
 * [[b](../../bibtex/CromanDEGJKMSSS16.bib)/[p](http://www.initc3.org/files/Scaling2016.pdf)/[c](https://git.drwx.org/phd/papers/src/master/CromanDEGJKMSSS16.pdf)] [On Scaling Decentralized Blockchains](../notes/CromanDEGJKMSSS16.md)
22
+* [[b](../../bibtex/DavidGKR17.bib)/[p](https://eprint.iacr.org/2017/573.pdf)/[c](https://git.drwx.org/phd/papers/src/master/DavidGKR17.pdf)] [Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain](../notes/DavidGKR17.md)
23
+* [[b](../../bibtex/KiayiasRDO17.bib)/[p](https://eprint.iacr.org/2016/889.pdf)/[c](https://git.drwx.org/phd/papers/src/master/KiayiasRDO17.pdf)] [Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol](../notes/KiayiasRDO17.md)
22 24
 * [[b](../../bibtex/KingN12.bib)/[p](http://peerco.in/assets/paper/peercoin-paper.pdf)/[c](https://git.drwx.org/phd/papers/src/master/KingN12.pdf)] [PPCoin: Peer-to-peer Crypto-Currency with Proof-of-Stake](../notes/KingN12.md)
23 25
 * [[b](../../bibtex/Vukolic15.bib)/[p](http://vukolic.com/iNetSec_2015.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Vukolic15.pdf)] [The Quest for Scalable Blockchain Fabric: Proof-of-Work vs. BFT Replication](../notes/Vukolic15.md)
24 26
 * [[b](../../bibtex/BonneauMCNKF15.bib)/[p](https://eprint.iacr.org/2015/261.pdf)/[c](https://git.drwx.org/phd/papers/src/master/BonneauMCNKF15.pdf)] [Research Perspectives and Challenges for Bitcoin and Cryptocurrencies](../notes/BonneauMCNKF15.md)

+ 5
- 1
gen/indicies/paper.md View File

@@ -1,4 +1,4 @@
1
-# Tagged paper (35)
1
+# Tagged paper (39)
2 2
 [back to tag index](../index.md)
3 3
 
4 4
 * [[b](../../bibtex/MaDHZX17.bib)/[p](https://eprint.iacr.org/2017/1239.pdf)/[c](https://git.drwx.org/phd/papers/src/master/MaDHZX17.pdf)] [An Efficient NIZK Scheme for Privacy-Preserving Transactions over Account-Model Blockchain](../notes/MaDHZX17.md)
@@ -19,6 +19,8 @@
19 19
 * [[b](../../bibtex/LewenbergSZ15.bib)/[p](http://www.cs.huji.ac.il/~avivz/pubs/15/inclusive_btc_full.pdf)/[c](https://git.drwx.org/phd/papers/src/master/LewenbergSZ15.pdf)] [Inclusive Block Chain Protocols](../notes/LewenbergSZ15.md)
20 20
 * [[b](../../bibtex/EyalS14.bib)/[p](https://www.cs.ucsb.edu/~rich/class/cs293b-cloud/papers/srier-bitcoin.pdf)/[c](https://git.drwx.org/phd/papers/src/master/EyalS14.pdf)] [Majority is Not Enough: Bitcoin Mining is Vulnerable](../notes/EyalS14.md)
21 21
 * [[b](../../bibtex/CromanDEGJKMSSS16.bib)/[p](http://www.initc3.org/files/Scaling2016.pdf)/[c](https://git.drwx.org/phd/papers/src/master/CromanDEGJKMSSS16.pdf)] [On Scaling Decentralized Blockchains](../notes/CromanDEGJKMSSS16.md)
22
+* [[b](../../bibtex/DavidGKR17.bib)/[p](https://eprint.iacr.org/2017/573.pdf)/[c](https://git.drwx.org/phd/papers/src/master/DavidGKR17.pdf)] [Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain](../notes/DavidGKR17.md)
23
+* [[b](../../bibtex/KiayiasRDO17.bib)/[p](https://eprint.iacr.org/2016/889.pdf)/[c](https://git.drwx.org/phd/papers/src/master/KiayiasRDO17.pdf)] [Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol](../notes/KiayiasRDO17.md)
22 24
 * [[b](../../bibtex/ParnoHG016.bib)/[p](https://eprint.iacr.org/2013/279.pdf)/[c](https://git.drwx.org/phd/papers/src/master/ParnoHG016.pdf)] [Pinocchio: Nearly Practical Verifiable Computation](../notes/ParnoHG016.md)
23 25
 * [[b](../../bibtex/Castro00.bib)/[p](http://pmg.lcs.mit.edu/papers/osdi99.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Castro00.pdf)] [Practical Byzantine Fault Tolerance](../notes/Castro00.md)
24 26
 * [[b](../../bibtex/Vukolic15.bib)/[p](http://vukolic.com/iNetSec_2015.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Vukolic15.pdf)] [The Quest for Scalable Blockchain Fabric: Proof-of-Work vs. BFT Replication](../notes/Vukolic15.md)
@@ -33,6 +35,8 @@
33 35
 * [[b](../../bibtex/Fuchsbauer17.bib)/[p](https://eprint.iacr.org/2017/587.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Fuchsbauer17.pdf)] [Subversion-zero-knowledge SNARKs](../notes/Fuchsbauer17.md)
34 36
 * [[b](../../bibtex/Ben-SassonCTV14.bib)/[p](https://eprint.iacr.org/2013/879.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Ben-SassonCTV14.pdf)] [Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture](../notes/Ben-SassonCTV14.md)
35 37
 * [[b](../../bibtex/Douceur02.bib)/[p](http://www.cs.cornell.edu/people/egs/cs6460-spring10/sybil.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Douceur02.pdf)] [The Sybil Attack](../notes/Douceur02.md)
38
+* [[b](../../bibtex/CanettiDPW06.bib)/[p](https://eprint.iacr.org/2006/432.pdf)/[c](https://git.drwx.org/phd/papers/src/master/CanettiDPW06.pdf)] [Universally Composable Security with Global Setup](../notes/CanettiDPW06.md)
39
+* [[b](../../bibtex/Canetti01.bib)/[p](https://eprint.iacr.org/2000/067.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Canetti01.pdf)] [Universally Composable Security: A New Paradigm for Cryptographic Protocols](../notes/Canetti01.md)
36 40
 * [[b](../../bibtex/Ben-SassonCGGMTV14.bib)/[p](https://eprint.iacr.org/2014/349.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Ben-SassonCGGMTV14.pdf)] [Zerocash: Decentralized Anonymous Payments from Bitcoin](../notes/Ben-SassonCGGMTV14.md)
37 41
 * [[b](../../bibtex/MiersGGR13.bib)/[p](http://isi.jhu.edu/~mgreen/ZerocoinOakland.pdf)/[c](https://git.drwx.org/phd/papers/src/master/MiersGGR13.pdf)] [Zerocoin: Anonymous Distributed E-Cash from Bitcoin](../notes/MiersGGR13.md)
38 42
 * [[b](../../bibtex/GiacomelliMO16.bib)/[p](https://eprint.iacr.org/2016/163.pdf)/[c](https://git.drwx.org/phd/papers/src/master/GiacomelliMO16.pdf)] [ZKBoo: Faster Zero-Knowledge for Boolean Circuits](../notes/GiacomelliMO16.md)

+ 4
- 1
gen/indicies/read.md View File

@@ -1,4 +1,4 @@
1
-# Tagged read (14)
1
+# Tagged read (17)
2 2
 [back to tag index](../index.md)
3 3
 
4 4
 * [[b](../../bibtex/DeckerSW16.bib)/[p](http://www.tik.ee.ethz.ch/file/ed3e5da74fbca5584920e434d9976a12/peercensus.pdf)/[c](https://git.drwx.org/phd/papers/src/master/DeckerSW16.pdf)] [Bitcoin Meets Strong Consistency](../notes/DeckerSW16.md)
@@ -6,6 +6,8 @@
6 6
 * [[b](../../bibtex/Nakamoto08.bib)/[p](https://bitcoin.org/bitcoin.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Nakamoto08.pdf)] [Bitcoin: A Peer-to-Peer Electronic Cash System](../notes/Nakamoto08.md)
7 7
 * [[b](../../bibtex/BeckCDFMMPTW14.bib)/[p](https://www.blockstream.ca/sidechains.pdf)/[c](https://git.drwx.org/phd/papers/src/master/BeckCDFMMPTW14.pdf)] [Enabling Blockchain Innovations with Pegged Sidechains](../notes/BeckCDFMMPTW14.md)
8 8
 * [[b](../../bibtex/CromanDEGJKMSSS16.bib)/[p](http://www.initc3.org/files/Scaling2016.pdf)/[c](https://git.drwx.org/phd/papers/src/master/CromanDEGJKMSSS16.pdf)] [On Scaling Decentralized Blockchains](../notes/CromanDEGJKMSSS16.md)
9
+* [[b](../../bibtex/DavidGKR17.bib)/[p](https://eprint.iacr.org/2017/573.pdf)/[c](https://git.drwx.org/phd/papers/src/master/DavidGKR17.pdf)] [Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain](../notes/DavidGKR17.md)
10
+* [[b](../../bibtex/KiayiasRDO17.bib)/[p](https://eprint.iacr.org/2016/889.pdf)/[c](https://git.drwx.org/phd/papers/src/master/KiayiasRDO17.pdf)] [Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol](../notes/KiayiasRDO17.md)
9 11
 * [[b](../../bibtex/GalbraithPS08.bib)/[p](https://eprint.iacr.org/2006/165.pdf)/[c](https://git.drwx.org/phd/papers/src/master/GalbraithPS08.pdf)] [Pairings for Cryptographers](../notes/GalbraithPS08.md)
10 12
 * [[b](../../bibtex/ParnoHG016.bib)/[p](https://eprint.iacr.org/2013/279.pdf)/[c](https://git.drwx.org/phd/papers/src/master/ParnoHG016.pdf)] [Pinocchio: Nearly Practical Verifiable Computation](../notes/ParnoHG016.md)
11 13
 * [[b](../../bibtex/KingN12.bib)/[p](http://peerco.in/assets/paper/peercoin-paper.pdf)/[c](https://git.drwx.org/phd/papers/src/master/KingN12.pdf)] [PPCoin: Peer-to-peer Crypto-Currency with Proof-of-Stake](../notes/KingN12.md)
@@ -13,5 +15,6 @@
13 15
 * [[b](../../bibtex/Buterin14.bib)/[p](https://blog.ethereum.org/2014/01/15/slasher-a-punitive-proof-of-stake-algorithm/)/[c](https://git.drwx.org/phd/papers/src/master/Buterin14.pdf)] [Slasher: A Punitive Proof-of-Stake Algorithm](../notes/Buterin14.md)
14 16
 * [[b](../../bibtex/Ben-SassonCGTV13.bib)/[p](https://eprint.iacr.org/2013/507.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Ben-SassonCGTV13.pdf)] [SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge](../notes/Ben-SassonCGTV13.md)
15 17
 * [[b](../../bibtex/Ben-SassonCTV14.bib)/[p](https://eprint.iacr.org/2013/879.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Ben-SassonCTV14.pdf)] [Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture](../notes/Ben-SassonCTV14.md)
18
+* [[b](../../bibtex/Canetti01.bib)/[p](https://eprint.iacr.org/2000/067.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Canetti01.pdf)] [Universally Composable Security: A New Paradigm for Cryptographic Protocols](../notes/Canetti01.md)
16 19
 * [[b](../../bibtex/Ben-SassonCGGMTV14.bib)/[p](https://eprint.iacr.org/2014/349.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Ben-SassonCGGMTV14.pdf)] [Zerocash: Decentralized Anonymous Payments from Bitcoin](../notes/Ben-SassonCGGMTV14.md)
17 20
 * [[b](../../bibtex/MiersGGR13.bib)/[p](http://isi.jhu.edu/~mgreen/ZerocoinOakland.pdf)/[c](https://git.drwx.org/phd/papers/src/master/MiersGGR13.pdf)] [Zerocoin: Anonymous Distributed E-Cash from Bitcoin](../notes/MiersGGR13.md)

+ 4
- 1
gen/indicies/seen.md View File

@@ -1,4 +1,4 @@
1
-# Tagged seen (45)
1
+# Tagged seen (48)
2 2
 [back to tag index](../index.md)
3 3
 
4 4
 * [[b](../../bibtex/MaDHZX17.bib)/[p](https://eprint.iacr.org/2017/1239.pdf)/[c](https://git.drwx.org/phd/papers/src/master/MaDHZX17.pdf)] [An Efficient NIZK Scheme for Privacy-Preserving Transactions over Account-Model Blockchain](../notes/MaDHZX17.md)
@@ -23,6 +23,8 @@
23 23
 * [[b](../../bibtex/LewenbergSZ15.bib)/[p](http://www.cs.huji.ac.il/~avivz/pubs/15/inclusive_btc_full.pdf)/[c](https://git.drwx.org/phd/papers/src/master/LewenbergSZ15.pdf)] [Inclusive Block Chain Protocols](../notes/LewenbergSZ15.md)
24 24
 * [[b](../../bibtex/EyalS14.bib)/[p](https://www.cs.ucsb.edu/~rich/class/cs293b-cloud/papers/srier-bitcoin.pdf)/[c](https://git.drwx.org/phd/papers/src/master/EyalS14.pdf)] [Majority is Not Enough: Bitcoin Mining is Vulnerable](../notes/EyalS14.md)
25 25
 * [[b](../../bibtex/CromanDEGJKMSSS16.bib)/[p](http://www.initc3.org/files/Scaling2016.pdf)/[c](https://git.drwx.org/phd/papers/src/master/CromanDEGJKMSSS16.pdf)] [On Scaling Decentralized Blockchains](../notes/CromanDEGJKMSSS16.md)
26
+* [[b](../../bibtex/DavidGKR17.bib)/[p](https://eprint.iacr.org/2017/573.pdf)/[c](https://git.drwx.org/phd/papers/src/master/DavidGKR17.pdf)] [Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain](../notes/DavidGKR17.md)
27
+* [[b](../../bibtex/KiayiasRDO17.bib)/[p](https://eprint.iacr.org/2016/889.pdf)/[c](https://git.drwx.org/phd/papers/src/master/KiayiasRDO17.pdf)] [Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol](../notes/KiayiasRDO17.md)
26 28
 * [[b](../../bibtex/GalbraithPS08.bib)/[p](https://eprint.iacr.org/2006/165.pdf)/[c](https://git.drwx.org/phd/papers/src/master/GalbraithPS08.pdf)] [Pairings for Cryptographers](../notes/GalbraithPS08.md)
27 29
 * [[b](../../bibtex/ParnoHG016.bib)/[p](https://eprint.iacr.org/2013/279.pdf)/[c](https://git.drwx.org/phd/papers/src/master/ParnoHG016.pdf)] [Pinocchio: Nearly Practical Verifiable Computation](../notes/ParnoHG016.md)
28 30
 * [[b](../../bibtex/KingN12.bib)/[p](http://peerco.in/assets/paper/peercoin-paper.pdf)/[c](https://git.drwx.org/phd/papers/src/master/KingN12.pdf)] [PPCoin: Peer-to-peer Crypto-Currency with Proof-of-Stake](../notes/KingN12.md)
@@ -43,6 +45,7 @@
43 45
 * [[b](../../bibtex/Douceur02.bib)/[p](http://www.cs.cornell.edu/people/egs/cs6460-spring10/sybil.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Douceur02.pdf)] [The Sybil Attack](../notes/Douceur02.md)
44 46
 * [[b](../../bibtex/Kwon14.bib)/[p](https://tendermint.com/static/docs/tendermint.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Kwon14.pdf)] [Tendermint: Consensus Without Mining](../notes/Kwon14.md)
45 47
 * [[b](../../bibtex/Ben-SassonCGTV13-2.bib)/[p](http://www.scipr-lab.org/doc/TinyRAM-spec-0.991.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Ben-SassonCGTV13-2.pdf)] [TinyRAM Architecture Specification v0.991](../notes/Ben-SassonCGTV13-2.md)
48
+* [[b](../../bibtex/Canetti01.bib)/[p](https://eprint.iacr.org/2000/067.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Canetti01.pdf)] [Universally Composable Security: A New Paradigm for Cryptographic Protocols](../notes/Canetti01.md)
46 49
 * [[b](../../bibtex/Ben-SassonCGGMTV14.bib)/[p](https://eprint.iacr.org/2014/349.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Ben-SassonCGGMTV14.pdf)] [Zerocash: Decentralized Anonymous Payments from Bitcoin](../notes/Ben-SassonCGGMTV14.md)
47 50
 * [[b](../../bibtex/MiersGGR13.bib)/[p](http://isi.jhu.edu/~mgreen/ZerocoinOakland.pdf)/[c](https://git.drwx.org/phd/papers/src/master/MiersGGR13.pdf)] [Zerocoin: Anonymous Distributed E-Cash from Bitcoin](../notes/MiersGGR13.md)
48 51
 * [[b](../../bibtex/GiacomelliMO16.bib)/[p](https://eprint.iacr.org/2016/163.pdf)/[c](https://git.drwx.org/phd/papers/src/master/GiacomelliMO16.pdf)] [ZKBoo: Faster Zero-Knowledge for Boolean Circuits](../notes/GiacomelliMO16.md)

+ 7
- 0
gen/indicies/uc.md View File

@@ -0,0 +1,7 @@
1
+# Tagged uc (4)
2
+[back to tag index](../index.md)
3
+
4
+* [[b](../../bibtex/DavidGKR17.bib)/[p](https://eprint.iacr.org/2017/573.pdf)/[c](https://git.drwx.org/phd/papers/src/master/DavidGKR17.pdf)] [Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain](../notes/DavidGKR17.md)
5
+* [[b](../../bibtex/KiayiasRDO17.bib)/[p](https://eprint.iacr.org/2016/889.pdf)/[c](https://git.drwx.org/phd/papers/src/master/KiayiasRDO17.pdf)] [Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol](../notes/KiayiasRDO17.md)
6
+* [[b](../../bibtex/CanettiDPW06.bib)/[p](https://eprint.iacr.org/2006/432.pdf)/[c](https://git.drwx.org/phd/papers/src/master/CanettiDPW06.pdf)] [Universally Composable Security with Global Setup](../notes/CanettiDPW06.md)
7
+* [[b](../../bibtex/Canetti01.bib)/[p](https://eprint.iacr.org/2000/067.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Canetti01.pdf)] [Universally Composable Security: A New Paradigm for Cryptographic Protocols](../notes/Canetti01.md)

+ 2
- 1
gen/indicies/unread.md View File

@@ -1,4 +1,4 @@
1
-# Tagged unread (10)
1
+# Tagged unread (11)
2 2
 [back to tag index](../index.md)
3 3
 
4 4
 * [[b](../../bibtex/Waksman68.bib)/[p](https://grid.cs.gsu.edu/~wkim/index_files/permutation_network.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Waksman68.pdf)] [A Permutation Network](../notes/Waksman68.md)
@@ -11,3 +11,4 @@
11 11
 * [[b](../../bibtex/BitanskyCCT13.bib)/[p](https://eprint.iacr.org/2012/095.pdf)/[c](https://git.drwx.org/phd/papers/src/master/BitanskyCCT13.pdf)] [Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data](../notes/BitanskyCCT13.md)
12 12
 * [[b](../../bibtex/BoweGM17.bib)/[p](https://eprint.iacr.org/2017/1050.pdf)/[c](https://git.drwx.org/phd/papers/src/master/BoweGM17.pdf)] [Scalable Multi-party Computation for zk-SNARK Parameters in the Random Beacon Model](../notes/BoweGM17.md)
13 13
 * [[b](../../bibtex/Ben-SassonCTV17.bib)/[p](https://eprint.iacr.org/2014/595.pdf)/[c](https://git.drwx.org/phd/papers/src/master/Ben-SassonCTV17.pdf)] [Scalable Zero Knowledge via Cycles of Elliptic Curves](../notes/Ben-SassonCTV17.md)
14
+* [[b](../../bibtex/CanettiDPW06.bib)/[p](https://eprint.iacr.org/2006/432.pdf)/[c](https://git.drwx.org/phd/papers/src/master/CanettiDPW06.pdf)] [Universally Composable Security with Global Setup](../notes/CanettiDPW06.md)

+ 13
- 0
gen/notes/Canetti01.md View File

@@ -0,0 +1,13 @@
1
+# Universally Composable Security: A New Paradigm for Cryptographic Protocols
2
+[bibtex](../../bibtex/Canetti01.bib)|[paper](https://eprint.iacr.org/2000/067.pdf)|[copy](https://git.drwx.org/phd/papers/src/master/Canetti01.pdf)
3
+
4
+all: [all](../indicies/all.md) // state: [read](../indicies/read.md)/[seen](../indicies/seen.md) // type: [paper](../indicies/paper.md) // tags: [uc](../indicies/uc.md)
5
+
6
+
7
+<!-- %url: https://eprint.iacr.org/2000/067.pdf -->
8
+
9
+* THE UC paper.
10
+* Interactive Turing Machines stand in for users, protocols, and functionalities.
11
+* Prove that for any real adversary, you can construct a simulator in the ideal
12
+  world, s.t. no environment can distinguish between the two.
13
+* Lots of subtleties!

+ 7
- 0
gen/notes/CanettiDPW06.md View File

@@ -0,0 +1,7 @@
1
+# Universally Composable Security with Global Setup
2
+[bibtex](../../bibtex/CanettiDPW06.bib)|[paper](https://eprint.iacr.org/2006/432.pdf)|[copy](https://git.drwx.org/phd/papers/src/master/CanettiDPW06.pdf)
3
+
4
+all: [all](../indicies/all.md) // state: [unread](../indicies/unread.md) // type: [paper](../indicies/paper.md) // tags: [uc](../indicies/uc.md)
5
+
6
+
7
+<!-- %url: https://eprint.iacr.org/2006/432.pdf -->

+ 14
- 0
gen/notes/DavidGKR17.md View File

@@ -0,0 +1,14 @@
1
+# Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain
2
+[bibtex](../../bibtex/DavidGKR17.bib)|[paper](https://eprint.iacr.org/2017/573.pdf)|[copy](https://git.drwx.org/phd/papers/src/master/DavidGKR17.pdf)
3
+
4
+all: [all](../indicies/all.md) // state: [read](../indicies/read.md)/[seen](../indicies/seen.md) // type: [paper](../indicies/paper.md) // tags: [blockchain](../indicies/blockchain.md)/[uc](../indicies/uc.md)
5
+
6
+
7
+<!-- %url: https://eprint.iacr.org/2017/573.pdf -->
8
+
9
+* Like [Ouroboros](KiayiasRDO17.md), but a) with adaptive corruption, and b)
10
+  with dirty (non-mpc) randomness.
11
+* Randomness is generated from (some of) the previous epoch's blocks.
12
+* Adversary *can* bias it, but is limited.
13
+* Miners only know when *they* will be leader. Leadership collisions possible,
14
+  empty slots possible.

+ 12
- 0
gen/notes/KiayiasRDO17.md View File

@@ -0,0 +1,12 @@
1
+# Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol
2
+[bibtex](../../bibtex/KiayiasRDO17.bib)|[paper](https://eprint.iacr.org/2016/889.pdf)|[copy](https://git.drwx.org/phd/papers/src/master/KiayiasRDO17.pdf)
3
+
4
+all: [all](../indicies/all.md) // state: [read](../indicies/read.md)/[seen](../indicies/seen.md) // type: [paper](../indicies/paper.md) // tags: [blockchain](../indicies/blockchain.md)/[uc](../indicies/uc.md)
5
+
6
+
7
+<!-- %url: https://eprint.iacr.org/2016/889.pdf -->
8
+
9
+* Provably secure Proof-of-stake protocol
10
+* Take stake snapshot, generate clean randomness with MPC between leaders ->
11
+  determines leaders of next epoch.
12
+* Complicated forkable strings analysis.

+ 9
- 0
notes/Canetti01.md View File

@@ -0,0 +1,9 @@
1
+# Universally Composable Security: A New Paradigm for Cryptographic Protocols
2
+<!-- %tags: read paper uc -->
3
+<!-- %url: https://eprint.iacr.org/2000/067.pdf -->
4
+
5
+* THE UC paper.
6
+* Interactive Turing Machines stand in for users, protocols, and functionalities.
7
+* Prove that for any real adversary, you can construct a simulator in the ideal
8
+  world, s.t. no environment can distinguish between the two.
9
+* Lots of subtleties!

+ 3
- 0
notes/CanettiDPW06.md View File

@@ -0,0 +1,3 @@
1
+# Universally Composable Security with Global Setup
2
+<!-- %tags: unread paper uc -->
3
+<!-- %url: https://eprint.iacr.org/2006/432.pdf -->

+ 10
- 0
notes/DavidGKR17.md View File

@@ -0,0 +1,10 @@
1
+# Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain
2
+<!-- %tags: read paper blockchain uc -->
3
+<!-- %url: https://eprint.iacr.org/2017/573.pdf -->
4
+
5
+* Like [Ouroboros](KiayiasRDO17.md), but a) with adaptive corruption, and b)
6
+  with dirty (non-mpc) randomness.
7
+* Randomness is generated from (some of) the previous epoch's blocks.
8
+* Adversary *can* bias it, but is limited.
9
+* Miners only know when *they* will be leader. Leadership collisions possible,
10
+  empty slots possible.

+ 8
- 0
notes/KiayiasRDO17.md View File

@@ -0,0 +1,8 @@
1
+# Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol
2
+<!-- %tags: read paper blockchain uc -->
3
+<!-- %url: https://eprint.iacr.org/2016/889.pdf -->
4
+
5
+* Provably secure Proof-of-stake protocol
6
+* Take stake snapshot, generate clean randomness with MPC between leaders ->
7
+  determines leaders of next epoch.
8
+* Complicated forkable strings analysis.

Loading…
Cancel
Save