With NC-Max finally accepted at The Network and Distributed System Security (NDSS) Symposium 2022, we wonder how many blockchain projects have published their main design components at top security conferences before us. So we did a quick search and noted down the results in this post.
This post may also help you to dig deeper into the theoretical depth of some of today's major blockchain projects.
A few words on our criteria before the list:
Why security conferences?
We choose top security conferences because they are considered the main battlefield in the early age of blockchain research: they are the earliest to accept blockchain papers and have published tons of most-cited ones. Of course, there are top-notch blockchain designs published at other computer science conferences, but an exhaustive search of all CS conferences is infeasible.
Which top security conferences?
“Top security conferences” include the “Big 4” security conferences: IEEE S&P (Oakland), ACM CCS, Usenix Security and NDSS, and the three IACR flagship events: Eurocrypt, Crypto, and Asiacrypt.
What counts as a (paper, project) pair
- The paper is accepted at a top security conference between 2010 and 2022.
- The project should have an official website and a white paper. Moreover, the project should be actively maintained: we exclude a design if its Github repository is maintained only by the paper’s authors and has stopped updating after the paper is officially published.
- Their relation: the project officially announced the adoption of the system architecture proposed in the paper, or the author submitted a formal proposal such as a BIP to the project and the proposal has not been rejected yet. It gets a bit tricky for cryptographic primitive papers. A cryptographic primitive paper is considered pairing with a project only if one of the authors is employed by or developing the project. For example, although there are many projects built on verifiable delay functions (VDF), these projects cannot take credit for the paper “Verifiable Delay Functions” (Crypto 2018).
The Short List of Projects: Eleven in Total
In alphabetical order: Algorand, Arbitrum, Bitcoin, Cardano, InterBTC, Nervos, Perun, RedBelly Network, Thundercore, Tumblebit, and Zcash.
(Paper, Active Project) Pairs
In below you can find some projects that are published at top security venues but are no longer active—at least we didn’t find their corresponding active projects.
(Paper, Inactive Project) Pairs
Paper | Venue | Year | Category | Project | Project State | Why Quantified |
Chainspace: A Sharded Smart Contracts Platform | NDSS | 2018 | Smart contract | Chainspace | The GitHub organization was inactive since 2019. | Research paper |
SmartPool: Practical Decentralized Pooled Mining | Usenix Security | 2017 | Mining Pool | SmartPool | The GitHub organization was inactive since 2017. | Research paper |
At last, we list some blockchain projects whose main components are published at other top CS venues we are aware of. Although listing them in an ad hoc fashion would make this article less rigorous, we feel like this article is not complete without them.
Blockchain Projects at Other Top CS Venues
Paper | Venue | Year | Category | Project | Project State | Why Quantified |
A Decentralized Blockchain with High Throughput and Fast Confirmation | USENIX ATC | 2020 | Consensus | Conflux | Launched in November 2020 | Research paper |
Fast and secure global payments with Stellar | SOSP | 2019 | Consensus | Stellar | Launched in July 2014 | Research paper |
Algorand: Scaling Byzantine Agreements for Cryptocurrencies | SOSP | 2017 | Consensus | Algorand | Launched in June 2019 | White paper |
We will keep updating this article for a few months. If your (paper, project) pair should appear in the list but does not, please let us know.
Other articles from our research team that you might also interested in:
- Lay Down the Common Metrics: Evaluating Proof-of-Work Consensus Protocols' Security, published at Oakland 2019
- Polynomial IOPs for Linear Algebra Relations, published at PKC 2022
- VOProof: Efficient zkSNARKs from Vector Oracle Compilers, accepted at CCS 2022