Rewrite the Ranking Protocol as the DRanking paper

papers/README.md

@@ -1,14 +1,18 @@
 # Papers
 
-This directory contains the repository-owned Rings whitepaper copy.
+This directory contains the repository-owned Rings paper copies.
 
 - `rings.pdf`: compiled Rings whitepaper.
 - `rings.tex`: LaTeX source for the Rings whitepaper.
 - `cites.bib`: bibliography used by `rings.tex`.
 - `imgs/rings/path.png`: image asset referenced by `rings.tex`.
+- `dranking.pdf`: compiled DRanking protocol paper.
+- `dranking.tex`: LaTeX source for the DRanking protocol paper (supersedes the 2023 *Ranking Protocol* draft).
+- `dranking.bib`: bibliography used by `dranking.tex`.
 
 Build with:
 
 ```sh
 latexmk -xelatex rings.tex
+latexmk -xelatex dranking.tex
 ```

papers/dranking.bib

@@ -0,0 +1,213 @@
+@book{LamportSpecifyingSystems,
+  author = {Leslie Lamport},
+  title = {Specifying Systems: The {TLA+} Language and Tools for Hardware and Software Engineers},
+  publisher = {Addison-Wesley},
+  year = {2002},
+  isbn = {032114306X}
+}
+
+@misc{Stateright,
+  author = {Jonathan Nadal},
+  title = {Stateright: Model Checking for Implementing Distributed Systems},
+  howpublished = {\url{https://www.stateright.rs/}},
+  note = {Accessed: September 1, 2026}
+}
+
+@article{BLS,
+  author = {Dan Boneh and Ben Lynn and Hovav Shacham},
+  title = {Short Signatures from the {Weil} Pairing},
+  journal = {Journal of Cryptology},
+  volume = {17},
+  number = {4},
+  pages = {297--319},
+  year = {2004},
+  doi = {10.1007/s00145-004-0314-9}
+}
+
+@inproceedings{Douceur2002,
+  author = {John R. Douceur},
+  title = {The Sybil Attack},
+  booktitle = {Peer-to-Peer Systems, First International Workshop (IPTPS 2002)},
+  series = {Lecture Notes in Computer Science},
+  volume = {2429},
+  pages = {251--260},
+  publisher = {Springer},
+  year = {2002},
+  doi = {10.1007/3-540-45748-8_24}
+}
+
+@inproceedings{Chord,
+  author = {Ion Stoica and Robert Morris and David Karger and M. Frans Kaashoek and Hari Balakrishnan},
+  title = {Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications},
+  booktitle = {Proceedings of the 2001 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications},
+  pages = {149--160},
+  year = {2001},
+  publisher = {ACM},
+  doi = {10.1145/383059.383071}
+}
+
+@article{ZaveChordCorrect,
+  author = {Pamela Zave},
+  title = {Reasoning About Identifier Spaces: How to Make {Chord} Correct},
+  journal = {IEEE Transactions on Software Engineering},
+  volume = {43},
+  number = {12},
+  pages = {1144--1156},
+  year = {2017},
+  doi = {10.1109/TSE.2017.2655056}
+}
+
+@inproceedings{EigenTrust,
+  author = {Sepandar D. Kamvar and Mario T. Schlosser and Hector Garcia-Molina},
+  title = {The {EigenTrust} Algorithm for Reputation Management in {P2P} Networks},
+  booktitle = {Proceedings of the 12th International Conference on World Wide Web (WWW 2003)},
+  pages = {640--651},
+  publisher = {ACM},
+  year = {2003},
+  doi = {10.1145/775152.775242}
+}
+
+@techreport{PageRank,
+  author = {Lawrence Page and Sergey Brin and Rajeev Motwani and Terry Winograd},
+  title = {The {PageRank} Citation Ranking: Bringing Order to the Web},
+  institution = {Stanford InfoLab},
+  number = {1999-66},
+  year = {1999},
+  note = {\url{http://ilpubs.stanford.edu:8090/422/}}
+}
+
+@inproceedings{SybilGuard,
+  author = {Haifeng Yu and Michael Kaminsky and Phillip B. Gibbons and Abraham Flaxman},
+  title = {{SybilGuard}: Defending Against Sybil Attacks via Social Networks},
+  booktitle = {Proceedings of the 2006 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM 2006)},
+  pages = {267--278},
+  publisher = {ACM},
+  year = {2006},
+  doi = {10.1145/1159913.1159945}
+}
+
+@inproceedings{SybilLimit,
+  author = {Haifeng Yu and Phillip B. Gibbons and Michael Kaminsky and Feng Xiao},
+  title = {{SybilLimit}: A Near-Optimal Social Network Defense Against Sybil Attacks},
+  booktitle = {2008 IEEE Symposium on Security and Privacy},
+  pages = {3--17},
+  publisher = {IEEE},
+  year = {2008},
+  doi = {10.1109/SP.2008.13}
+}
+
+@inproceedings{SybilRank,
+  author = {Qiang Cao and Michael Sirivianos and Xiaowei Yang and Tiago Pregueiro},
+  title = {Aiding the Detection of Fake Accounts in Large Scale Social Online Services},
+  booktitle = {9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2012)},
+  pages = {197--210},
+  publisher = {USENIX Association},
+  year = {2012},
+  note = {\url{https://www.usenix.org/conference/nsdi12/technical-sessions/presentation/cao}}
+}
+
+@article{Brahms,
+  author = {Edward Bortnikov and Maxim Gurevich and Idit Keidar and Gabriel Kliot and Alexander Shraer},
+  title = {Brahms: Byzantine Resilient Random Membership Sampling},
+  journal = {Computer Networks},
+  volume = {53},
+  number = {13},
+  pages = {2340--2359},
+  year = {2009},
+  doi = {10.1016/j.comnet.2009.03.008}
+}
+
+@inproceedings{Algorand,
+  author = {Yossi Gilad and Rotem Hemo and Silvio Micali and Georgios Vlachos and Nickolai Zeldovich},
+  title = {Algorand: Scaling Byzantine Agreements for Cryptocurrencies},
+  booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles (SOSP 2017)},
+  pages = {51--68},
+  publisher = {ACM},
+  year = {2017},
+  doi = {10.1145/3132747.3132757}
+}
+
+@inproceedings{VRF,
+  author = {Silvio Micali and Michael O. Rabin and Salil P. Vadhan},
+  title = {Verifiable Random Functions},
+  booktitle = {40th Annual Symposium on Foundations of Computer Science (FOCS 1999)},
+  pages = {120--130},
+  publisher = {IEEE},
+  year = {1999},
+  doi = {10.1109/SFFCS.1999.814584}
+}
+
+@inproceedings{SKademlia,
+  author = {Ingmar Baumgart and Sebastian Mies},
+  title = {{S/Kademlia}: A Practicable Approach Towards Secure Key-Based Routing},
+  booktitle = {2007 International Conference on Parallel and Distributed Systems},
+  pages = {1--8},
+  publisher = {IEEE},
+  year = {2007},
+  doi = {10.1109/ICPADS.2007.4447808}
+}
+
+@inproceedings{PBFT,
+  author = {Miguel Castro and Barbara Liskov},
+  title = {Practical Byzantine Fault Tolerance},
+  booktitle = {Proceedings of the Third Symposium on Operating Systems Design and Implementation (OSDI 1999)},
+  pages = {173--186},
+  publisher = {USENIX Association},
+  year = {1999},
+  note = {\url{https://www.usenix.org/conference/osdi-99/practical-byzantine-fault-tolerance}}
+}
+
+@article{LSP82,
+  author = {Leslie Lamport and Robert Shostak and Marshall Pease},
+  title = {The Byzantine Generals Problem},
+  journal = {ACM Transactions on Programming Languages and Systems},
+  volume = {4},
+  number = {3},
+  pages = {382--401},
+  year = {1982},
+  doi = {10.1145/357172.357176}
+}
+
+@misc{Nakamoto,
+  author = {Satoshi Nakamoto},
+  title = {Bitcoin: A Peer-to-Peer Electronic Cash System},
+  howpublished = {Whitepaper},
+  year = {2008},
+  note = {\url{https://bitcoin.org/bitcoin.pdf}}
+}
+
+@misc{Mina,
+  author = {Joseph Bonneau and Izaak Meckler and Vanishree Rao and Evan Shapiro},
+  title = {Mina: Decentralized Cryptocurrency at Scale},
+  howpublished = {Whitepaper},
+  year = {2020},
+  note = {\url{https://minaprotocol.com/wp-content/uploads/technicalWhitepaper.pdf}}
+}
+
+@inproceedings{Nova,
+  author = {Abhiram Kothapalli and Srinath Setty and Ioanna Tzialla},
+  title = {Nova: Recursive Zero-Knowledge Arguments from Folding Schemes},
+  booktitle = {Advances in Cryptology -- CRYPTO 2022},
+  series = {Lecture Notes in Computer Science},
+  volume = {13510},
+  pages = {359--388},
+  publisher = {Springer},
+  year = {2022},
+  doi = {10.1007/978-3-031-15985-5_13}
+}
+
+@misc{Cohen03,
+  author = {Bram Cohen},
+  title = {Incentives Build Robustness in {BitTorrent}},
+  howpublished = {Workshop on Economics of Peer-to-Peer Systems},
+  year = {2003},
+  note = {\url{https://www.bittorrent.org/bittorrentecon.pdf}}
+}
+
+@techreport{eMule,
+  author = {Yoram Kulbak and Danny Bickson},
+  title = {The {eMule} Protocol Specification},
+  institution = {School of Computer Science and Engineering, The Hebrew University of Jerusalem},
+  number = {TR-2005-03},
+  year = {2005}
+}