l11 readings

index.html

@@ -356,18 +356,22 @@ <h3>Lecture Schedule</h3>
     Supplementary reading:
     <ul>
       <li>The <a href="https://bitcoin.org/bitcoin.pdf">Bitcoin white paper</a>, 2008.
+	<li>Chapters 14 and 17 of Elaine Shi's book draft, <a href="http://elaineshi.com/docs/blockchain-book.pdf">Foundations of Distributed
+		     Consensus and Blockchains</a>.
+	  <li><a href="https://web.stanford.edu/class/ee374/downloads/notes03.pdf">Lecture notes</a> from David Tse's Internet-Scale Consensus in the Blockchain Era course
       <li>I. Abraham and D. Malkhi, <a href="https://dahliamalkhi.github.io/files/BlockchainBFT-BEATCS2017.pdf">The Blockchain Consensus Layer and BFT</a>, Bulletin of the EATCS, 2017.
       <li>J. A. Garay, A. Kiayias, and N. Leonardos,
 	<a href="https://eprint.iacr.org/2014/765.pdf">The Bitcoin Backbone Protocol: Analysis and Applications</a>, EUROCRYPT, 2015.
       <li>R. Pass, L. Seeman, and a. shelat, <a href="https://eprint.iacr.org/2016/454.pdf">Analysis of the Blockchain Protocol in Asynchronous Networks</a>, EUROCRYPT, 2017.
-	<li>A. Dembo, S. Kannan, E. N. Tas, D. Tse, P. Viswanath, X. Wang, and O. Zeitouni, <a href="https://arxiv.org/pdf/2005.10484.pdf">Everything is a Race and Nakamoto Always Wins</a>, CCS, 2020.
 	</ul>
     <p>
 
     <li><b>Lecture 9 (Thu Oct 7):</b> The permissionless setting.  Proof-of-work sybil-resistance.  Difficulty adjustment.
     Supplementary reading:
     <ul>
       <li>The <a href="https://bitcoin.org/bitcoin.pdf">Bitcoin white paper</a>, 2008.
+	<li>Chapters 14 of Elaine Shi's book draft, <a href="http://elaineshi.com/docs/blockchain-book.pdf">Foundations of Distributed
+		     Consensus and Blockchains</a>.
       <li>R. Pass and E. Shi, <a href="https://eprint.iacr.org/2018/302.pdf">Rethinking Large-Scale Consensus</a>, 2018.
       <li>A. Lewis-Pye and T. Roughgarden,
 	<a href="https://arxiv.org/pdf/2101.07095.pdf">Byzantine Generals in the Permissionless Seing</a>, 2021.
@@ -379,17 +383,32 @@ <h3>Lecture Schedule</h3>
 	</ul>
 <p>
 
-    <li><b>Lecture 10 (Tue Oct 12):</b> Selfish mining. Proof-of-stake sybil resistance.
+    <li><b>Lecture 10 (Tue Oct 12):</b> Cryptocurrencies, block rewards, and selfish mining. 
 	Supplementary reading:
+	<li>Chapters 15 of Elaine Shi's book draft, <a href="http://elaineshi.com/docs/blockchain-book.pdf">Foundations of Distributed
+	    Consensus and Blockchains</a>.
+	  <li><a href="https://web.stanford.edu/class/ee374/downloads/notes04.pdf">Lecture notes</a> from David Tse's Internet-Scale Consensus in the Blockchain Era course
+	<li>I. Eyal and E. G. Sirer, <a href="https://www.cs.cornell.edu/~ie53/publications/btcProcFC.pdf">Majority is not Enough:
+	  Bitcoin Mining is Vulnerable</a>, FC '16 (also CACM '18).
 
 <p>
 
-    <li><b>Lecture 11 (Thu Oct 14):</b> The economic security of blockchains.
-	Supplementary reading:
+    <li><b>Lecture 11 (Thu Oct 14):</b> Proof-of-stake sybil resistance.  
+      Supplementary reading:
+      <ul>
+	<li>Lecture notes from David Tse's Internet-Scale Consensus in the Blockchain Era course: <a href="https://web.stanford.edu/class/ee374/downloads/notes13.pdf">lecture 1</a>, <a href="https://web.stanford.edu/class/ee374/downloads/notes14.pdf">lecture 2</a>, <a href="https://web.stanford.edu/class/ee374/downloads/notes15.pdf">lecture 3</a>
+	<li>J. Brown-Cohen, A. Narayanan, C.-A. Promas, and S. Matthew Weinberg, <a href="https://arxiv.org/pdf/1809.06528.pdf">Formal Barriers to Longest-Chain Proof-of-Stake Protocols</a>, EC '19.
+	<li>A. Dembo, S. Kannan, E. N. Tas, D. Tse, P. Viswanath, X. Wang, and O. Zeitouni, <a href="https://arxiv.org/pdf/2005.10484.pdf">Everything is a Race and Nakamoto Always Wins</a>, CCS, 2020.
+	<li>E. Deirmentzoglou, G. Papakyriakopoulos, and C. Patsakis, <a href="https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8653269">A Survey on Long-Range Attacks for
+	    Proof of Stake Protocols</a>, IEEE Access, 2019.
+	<li><a href="https://wiki.tezosagora.org/learn/baking/proofofstake/consensus">Tezos</a> and <a href="https://developers.cardano.org/docs/stake-pool-course/introduction-to-cardano/">Cardano</a>, two examples of proof-of-stake longest-chain-type blockchains.
+	  <li><a href="https://algorandcom.cdn.prismic.io/algorandcom%2Fa26acb80-b80c-46ff-a1ab-a8121f74f3a3_p51-gilad.pdf">Algorand</a>, an example of a proof-of-stake BFT-type protocol.
+      </ul>
+
 
 <p>
 
-    <li><b>Lecture 12 (Tue Oct 19):</b> Deep dive on Bitcoin (UTXOs, Merkle trees, light clients, etc.).
+    <li><b>Lecture 12 (Tue Oct 19):</b> The economic security of blockchains.  Deep dive on Bitcoin (UTXOs, Merkle trees, light clients, etc.).
 	Supplementary reading:
 
 <p>