The Science of Blockchains
โ
Iโm starting my blog with a blog series to celebrate the 12th anniversary of the Bitcoin white paper. ๐
Iโll introduce an extensive technical foundation to comprehend Bitcoin, Ethereum, and the future of blockchains.
The series is based on selected fundamental papers.
Why I Start This Series?
I like to have a comprehension of the primary sources when learning about a subject.
When Iโve been teaching at @BlockchainOkulu , I structured my lessons around primary sources such as the Bitcoin white paper and the Ethereum yellow paper.
This way, my students learned not only what I know, but also whatโs the source of the knowledge. Now that theyโre graduated, they know where to look for when they have questions.
Even though the course was four weeks long for each batch I could not answer some excellent questions in detail. Instead, I had to resort to black boxes.
How do digital signatures work? A black box.
What about ZKSTARKs? Another black box.
Black boxes help to teach a subject. Not so much for understanding in detail.
To understand Bitcoin, Ethereum, and more on a deeper level, one should know the pillars they are built on.
You understand the strength of the Bitcoin network when you know how does SHA256 work.
You understand how your contracts run once you know the innerworking of the EVM.
You understand the security of the protocols you invest in when you, well, know a lot.
Thus, as you understand these subjects, you will realize how important blockchain really is. You will probably want to contribute to these exciting projects.
The more you will know, the more you will be able to participate in the governance of blockchains.
What should be the block size?
Whatโre your opinions on various layer 2 protocols?
How can you help us approaching the open questions on scalability?
All you need to do is to join the conversations, as long as you know about the subject in depth.
I recently realized that the most technical issues are getting the least participation.
Then, I decided to create this blog series with the goal of having new voices on the future of blockchain governances.
New voices that understand the contemporary issues very well.
This is one of the best things I can do for crypto.
One bull market to learn the lesson. Second bull market to make retirement money. Third bull market to ask not what crypto can do for you but what you can do for crypto.
โ Qiao Wang (@QwQiao) August 29, 2020
Intended Audience
The series will demand the reader to be comfortable with computer science papers. In fact, the content will be the papers.
My job is to curate the papers, explain their contexts in the blockchain space, and clarify them with my reading notes.
Ultimately, the series will offer a fundamental understanding of blockchain technologies to eager readers, be it economics students or CS professors.
The Papers
Iโm proud to present you 67 primary sources on the science of blockchains. Wish me plenty of free time for covering some of them in this blog series!
Cryptography
Fundementals

Bloom, B. 1970. Space/Time Tradeoffs in Hash Coding with Allowable Errors. ๐

Rivest R. L., Shamir A., Adleman L. 1978. A Method for Obtaining Digital Signatures and PublicKey Cryptosystems. ๐

Merkle, R. C. 1980. Protocols for public key cryptosystems. IEEE Symposium on Security and Privacy. ๐

Penard W., van Werkhoven, T. 2001. On the Secure Hash Algorithm family. ๐
Ellipticcurve Cryptography

Koblitz, N. 1987. Elliptic curve cryptosystems. ๐

Miller, V. 1985. Use of elliptic curves in cryptography. ๐

Boneh, D., Lynn, B., Shacham, H. 2004. Short signatures from the Weil pairing. ๐

ANSI. 2005. Public Key Cryptography for the Financial Services Industry: The Elliptic Curve Digital Signature Algorithm (ECDSA). ๐

Bernstein D. J. 2006. Curve25519: new DiffieHellman speed records. ๐

Brown D. R. L. 2010. SEC 2: Recommended Elliptic Curve Domain Parameters. ๐

Kate, A. et al. 2010. ConstantSize Commitments to Polynomials and Their Applications. ๐

Wang D. 2014. Secure Implementation of ECDSA Signatures in Bitcoin. ๐

Schnorr, C. 1990. Efficient identification and signatures for smart cards. ๐
Quantum Cryptography

Shor, P. W. 1996. PolynomialTime Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer. ๐

Aggarwal, D. et al. 2017. Quantum attacks on Bitcoin, and how to protect against them. ๐
Zero Knowledge

Goldreich O. 1991. Proofs that Yield Nothing But Their Validity All Languages in NP Have ZeroKnowledge Proof Systems. ๐

Reitwiessner, C. 2016. zkSNARKs in a Nutshell. ๐

Bunz, B. et al. 2017. Bulletproofs: Short Proofs for Confidential Transactions and More. ๐

BenSasson, E. et al. 2018. Scalable, transparent, and postquantum secure computational integrity. ๐

Gabizon, A. et al. 2020. PLONK: Permutations over Lagrangebases for Oecumenical Noninteractive arguments of Knowledge. ๐
Distributed Computing and Consensus

Schneider F. B. 1990. Implementing FaultTolerant Services Using the State Machine Approach: A Tutorial. ๐

Lamport, L., et al. 1982. The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems 4(3): 382401. ๐

Castro, M., Liskov, B. 1999. Practical Byzantine fault tolerance. Proceedings of the Third Symposium on Operating Systems Design and Implementation. ๐

Lamport, L. 2001. Paxos made simple. ๐

Szabo, N. 2003. Advances in Distributed Security. ๐

Aspnes, J., et al. 2005. Exposing computationally challenged Byzantine imposters. Yale University Department of Computer Science. ๐

Stutzbach, D., Rejaie, R. 2006. Understanding Churn in PeertoPeer Networks; ๐

Berman, P., Juan A. 1993. Cloture Votes: n/4resilient Distributed Consensus in t + 1 rounds. ๐
Timestamping

Haber, S., Stornetta, W. S. 1997. Secure names for bitstrings. ๐

Massias, H., Avila X. S., Quisquater, J.J. 1999. Design of a secure timestamping service with minimal trust requirements. ๐

Just, M. 1998. Some timestamping protocol failures. ๐

Bonnecaze, A. et al. 2002. Improving Time Stamping Schemes: A Distributed Point of View. ๐
Digital Money

Chaum, D., et al. 1988. Untraceable electronic cash. Advances in Cryptology: 319327. ๐

Dai, W. 1998. ๐

Szabo, N. 2008. Bit gold. ๐
Proof of Work

Back, A. 2002. Hashcashโa denial of service counter measure. ๐

Douceur, J. R. 2002. The Sybil attack. ๐

Szabo, N. 1999. Intrapolynomial Cryptography. ๐
Bitcoin

Nakamoto, S. 2008. Bitcoin: a peertopeer electronic cash system. ๐

Wuille, P. 2012. BIP 32: Hierarchical Deterministic Wallets. ๐

Rosenfeld M. 2012. Overview of Colored Coins. ๐

Biryukov, A. et al. 2014 Deanonymisation of clients in Bitcoin P2P network. ๐

Poon, J., Dryja, T. 2016. The Bitcoin Lightning Network: Scalable OffChain Instant Payments. ๐

Pass, R., et al. 2017. Analysis of the blockchain protocol in asynchronous networks. ๐
Smart Contracts

Turing, A. M. 1937. On Computable Numbers, with an Application to the Entscheidungsproblem. ๐

Szabo, N. 1994. Smart contracts. ๐

Bhargavan, K. et al. 2016. Short Paper: Formal Verification of Smart Contracts. ๐
Proof of Stake

Poelstra, A. 2015. On Stake and Consensus. ๐

Bentov, I. 2017. Cryptocurrencies without Proof of Work. ๐
Ethereum

Sompolinsky, Y., Zohar, A. 2013. Secure HighRate Transaction Processing in Bitcoin. ๐

Eth Wiki. Modified Merkle Patricia Trie Specification. ๐

Buterin, V. 2013. Ethereum White Paper: A Next Generation Smart Contract & Decentralized Application Platform. ๐

Dameron, M. 2019. Beigepaper: An Ethereum Technical Specification. ๐

Wood, G. 2020. Ethereum: A Secure Decentralised Generalised Transaction Ledger. ๐

Solidity Documentation. ๐
Scaling

Croman, K. et al. 2016. On Scaling Decentralized Blockchains. ๐

Kalonde, H. et al. 2018. Arbitrum: Scalable, private smart contracts. ๐

Dang H. et al. 2019. Towards Scaling Blockchain Systems via Sharding. ๐

Buterin, V. Serenity Design Rationale. ๐

Buterin, V. et al. 2020. Combining GHOST and Casper. ๐

Adler, J., QuintyneCollins, M. 2020. Building Scalable Decentralized Payment Systems. ๐
Other Blockchains

Namecoin. 2011. Merged mining. ๐

Van Saberhagen, N. 2013. CryptoNote v 2.0 (Annotated by the Monero Team). ๐

BenSasson, E. et al. 2014. Zerocash: Decentralized Anonymous Payments from Bitcoin. ๐

Poelstra, A. 2016. Mimblewimble. ๐

Team Rocket et al. 2019. Scalable and Probabilistic Leaderless BFT Consensus through Metastability. ๐

Bonneau, J. et al. 2020. Mina: Decentralized Cryptocurrency at Scale. ๐
Priority Requests!
Let me know which papers would you like to read first in Twitter. Please reply to this thread:
1/14
โ Han 0ฬตอฬฬฬฬพฬฝฬนฬฏฬฎxฬธอTฬฬฝuอฬzฬฝฬฬฬuออnฬอฬอฬฬพฬฝฬน ๐ฝ (@0xTuzun) November 1, 2020
๐ญ ๐ง๐ต๐ฒ ๐ฆ๐ฐ๐ถ๐ฒ๐ป๐ฐ๐ฒ ๐ผ๐ณ ๐๐น๐ผ๐ฐ๐ธ๐ฐ๐ต๐ฎ๐ถ๐ป๐
I'm starting my blog with a blog series to celebrate the 12th anniversary of the Bitcoin white paper. ๐https://t.co/Bsc5R0FDqX