2021 
Papers (216)
| # | Title | |
| 1. | Marlin: Preprocessing zkSNARKs with Universal andUpdatable SRS (thesis) Alessandro Chiesa and Yuncong Hu and Mary Maller and Pratyush Mishra and Noah Vesely and Nicholas Ward. 2021. | |
| 2. | SoK: Decentralized Finance (DeFi) Sam M. Werner and Daniel Perez and Lewis Gudgeon and Ariah Klages-Mundt and Dominik Harz and William J. Knottenbelt. 2021. | |
| 3. | Quantifying Blockchain Extractable Value: How dark is the forest? Kaihua Qin and Liyi Zhou and Arthur Gervais. 2021. | |
| 4. | Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus Danezis, George and Kogias, Eleftherios Kokoris and Sonnino, Alberto and Spiegelman, Alexander. 2021. | |
| 5. | SoK: Decentralized Exchanges (DEX) with Automated Market Maker (AMM) protocols Xu, Jiahua and Vavryk, Nazariy and Paruch, Krzysztof and Cousaert, Simon. 2021. | |
| 6. | Chainlink 2.0: Next Steps in the Evolution of Decentralized Oracle Networks Lorenz Breidenbach and Christian Cachin and Benedict Chan and Alex Coventry and Steve Ellis and Ari Juels and Farinaz Koushanfar and Andrew Miller and Brendan Magauran and Daniel Moroz and Sergey Nazarov and Alexandru Topliceanu and Florian Tram`er and Fan Zhang. 2021. | |
| 7. | IPFS and Friends: A Qualitative Comparison of Next Generation Peer-to-Peer Data Networks Erik Daniel and Florian Tschorsch. 2021. | |
| 8. | Nova: Recursive Zero-Knowledge Arguments from Folding Schemes Abhiram Kothapalli and Srinath Setty and Ioanna Tzialla. 2021. | |
| 9. | Red Belly: a secure, fair and scalable open blockchain Crain, Tyler and Natoli, Christopher and Gramoli, Vincent. 2021. | |
| 10. | CeFi vs. DeFi--Comparing Centralized to Decentralized Finance Qin, Kaihua and Zhou, Liyi and Afonin, Yaroslav and Lazzaretti, Ludovico and Gervais, Arthur. 2021. | |
| 11. | QuickSilver: Efficient and Affordable Zero-Knowledge Proofs for Circuits and Polynomials over Any Field Kang Yang and Pratik Sarkar and Chenkai Weng and Xiao Wang. 2021. | |
| 12. | CONFUZZIUS: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts Ferreira Torres, Christof and Iannillo, Antonio Ken and Gervais, Arthur and others. 2021. | |
| 13. | Mystique: Efficient Conversions for Zero-Knowledge Proofs with Applications to Machine Learning Chenkai Weng and Kang Yang and Xiang Xie and Jonathan Katz and Xiao Wang. 2021. | |
| 14. | An Empirical Study of DeFi Liquidations: Incentives, Risks, and Instabilities Qin, Kaihua and Zhou, Liyi and Gamito, Pablo and Jovanovic, Philipp and Gervais, Arthur. 2021. | |
| 15. | Transaction Fee Mechanism Design Roughgarden, Tim. 2021. | |
| 16. | Asynchronous data dissemination and its applications Das, Sourav and Xiang, Zhuolun and Ren, Ling. 2021. | |
| 17. | Reaching consensus for asynchronous distributed key generation Abraham, Ittai and Jovanovic, Philipp and Maller, Mary and Meiklejohn, Sarah and Stern, Gilad and Tomescu, Alin. 2021. | |
| 18. | SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds Bose, Priyanka and Das, Dipanjan and Chen, Yanju and Feng, Yu and Kruegel, Christopher and Vigna, Giovanni. 2021. | |
| 19. | Survey on blockchain networking: Context, state-of-the-art, challenges Dotan, Maya and Pignolet, Yvonne-Anne and Schmid, Stefan and Tochner, Saar and Zohar, Aviv. 2021. | |
| 20. | Good-case Latency of Byzantine Broadcast: a Complete Categorization Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2021. | |
| 21. | Liquidations: DeFi on a Knife-edge Perez, Daniel and Werner, Sam M and Xu, Jiahua and Livshits, Benjamin. 2021. | |
| 22. | YOSO: You Only Speak Once / Secure MPC with Stateless Ephemeral Roles Craig Gentry and Shai Halevi and Hugo Krawczyk and Bernardo Magri and Jesper Buus Nielsen and Tal Rabin and Sophia Yakoubov. 2021. | |
| 23. | Linear-time zero-knowledge SNARKs for R1CS Jonathan Lee and Srinath Setty and Justin Thaler and Riad Wahby. 2021. | |
| 24. | DeFiRanger: Detecting Price Manipulation Attacks on DeFi Applications Wu, Siwei and Wang, Dabao and He, Jianting and Zhou, Yajin and Wu, Lei and Yuan, Xingliang and He, Qinming and Ren, Kui. 2021. | |
| 25. | P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange Carsten Baum and Bernardo David and Tore Frederiksen. 2021. | |
| 26. | Time- and Space-Efficient Arguments from Groups of Unknown Order Alexander R. Block and Justin Holmgren and Alon Rosen and Ron D. Rothblum and Pratik Soni. 2021. | |
| 27. | Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts Kushal Babel and Philip Daian and Mahimna Kelkar and Ari Juels. 2021. | |
| 28. | Non-interactive distributed key generation and key resharing Jens Groth. 2021. | |
| 29. | Practical Non-interactive Publicly Verifiable Secret Sharing with Thousands of Parties Craig Gentry and Shai Halevi and Vadim Lyubashevsky. 2021. | |
| 30. | Order-Fair Consensus in the Permissionless Setting Mahimna Kelkar and Soubhik Deb and Sreeram Kannan. 2021. | |
| 31. | Cairo – a Turing-complete STARK-friendly CPU architecture Lior Goldberg and Shahar Papini and Michael Riabzev. 2021. | |
| 32. | SoK: Yield Aggregators in DeFi Cousaert, Simon and Xu, Jiahua and Matsui, Toshiko. 2021. | |
| 33. | SPURT: Scalable Distributed Randomness Beacon with Transparent Setup Sourav Das and Vinith Krishnan and Irene Miriam Isaac and Ling Ren. 2021. | |
| 34. | A2MM: Mitigating Frontrunning, Transaction Reordering and Consensus Instability in Decentralized Exchanges Zhou, Liyi and Qin, Kaihua and Gervais, Arthur. 2021. | |
| 35. | Aggregatable Distributed Key Generation Kobi Gurkan and Philipp Jovanovic and Mary Maller and Sarah Meiklejohn and Gilad Stern and Alin Tomescu. 2021. | |
| 36. | SmartPulse: Automated Checking of Temporal Properties in Smart Contracts Stephens, Jon and Ferles, Kostas and Mariano, Benjamin and Lahiri, Shuvendu and Dillig, Isil. 2021. | |
| 37. | Behavior of liquidity providers in decentralized exchanges Heimbach, Lioba and Wang, Ye and Wattenhofer, Roger. 2021. | |
| 38. | Rinocchio: SNARKs for Ring Arithmetic Chaya Ganesh and Anca Nitulescu and Eduardo Soria-Vazquez. 2021. | |
| 39. | A Formal Specification Smart-Contract Language For Legally Binding Decentralized Autonomous Organizations Dwivedi, Vimal and Norta, Alex and Wulf, Alexander and Leiding, Benjamin and Saxena, Sandeep and Udokwu, Chibuzor. 2021. | |
| 40. | Brakedown: Linear-time and post-quantum SNARKs for R1CS Alexander Golovnev and Jonathan Lee and Srinath Setty and Justin Thaler and Riad S. Wahby. 2021. | |
| 41. | Uniswap: Impermanent loss and risk profile of a liquidity provider Aigner, Andreas A and Dhaliwal, Gurvinder. 2021. | |
| 42. | Bottlenecks in blockchain consensus protocols Alqahtani, Salem and Demirbas, Murat. 2021. | |
| 43. | Blitz: Secure Multi-Hop Payments Without Two-Phase Commits Lukas Aumayr and Pedro Moreno-Sanchez and Aniket Kate and Matteo Maffei. 2021. | |
| 44. | Post-Quantum Succinct Arguments Chiesa, Alessandro and Ma, Fermi and Spooner, Nicholas and Zhandry, Mark. 2021. | |
| 45. | SoK: Oracles from the Ground Truth to Market Manipulation Eskandari, Shayan and Salehi, Mehdi and Gu, Wanyun Catherine and Clark, Jeremy. 2021. | |
| 46. | Under the hood of the ethereum gossip protocol Kiffer, Lucianna and Salman, Asad and Levin, Dave and Mislove, Alan and Nita-Rotaru, Cristina. 2021. | |
| 47. | Randrunner: Distributed randomness from trapdoor vdfs with strong uniqueness Schindler, Philipp and Judmayer, Aljosha and Hittmeir, Markus and Stifter, Nicholas and Weippl, Edgar. 2021. | |
| 48. | Constant Function Market Makers: Multi-Asset Trades via Convex Optimization Angeris, Guillermo and Agrawal, Akshay and Evans, Alex and Chitra, Tarun and Boyd, Stephen. 2021. | |
| 49. | EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode Contro, Filippo and Crosara, Marco and Ceccato, Mariano and Preda, Mila Dalla. 2021. | |
| 50. | Multi-Threshold Byzantine Fault Tolerance Atsuki Momose and Ling Ren. 2021. | |
| 51. | Transaction Fees on a Honeymoon: Ethereum's EIP-1559 One Month Later Reijsbergen, Daniel and Sridhar, Shyam and Monnot, Barnabe and Leonardos, Stefanos and Skoulakis, Stratis and Piliouras, Georgios. 2021. | |
| 52. | SoK: Exploring Blockchains Interoperability Gang Wang. 2021. | |
| 53. | Strategic Liquidity Provision in Uniswap v3 Michael Neuder and Rithvik Rao and Daniel J. Moroz and David C. Parkes. 2021. | |
| 54. | SoK: Validating Bridges as a Scaling Solution for Blockchains McCorry, Patrick and Buckland, Chris and Yee, Bennet and Song, Dawn. 2021. | |
| 55. | Internet Computer Consensus Jan Camenisch and Manu Drijvers and Timo Hanke and Yvonne-Anne Pignolet and Victor Shoup and Dominic Williams. 2021. | |
| 56. | The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts Christof Ferreira Torres and Antonio Ken Iannillo and Arthur Gervais and Radu State. 2021. | |
| 57. | Practical Smart Contract Sharding with Ownership and Commutativity Analysis P\^\irlea, George and Kumar, Amrit and Sergey, Ilya. 2021. | |
| 58. | Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments Shravan Srinivasan and Alex Chepurnoy and Charalampos Papamanthou and Alin Tomescu and Yupeng Zhang. 2021. | |
| 59. | Efficient Range Proofs with Transparent Setup from Bounded Integer Commitments Couteau, Geoffroy and Kloo\ss, Michael and Lin, Huang and Reichle, Michael. 2021. | |
| 60. | SNARKpack: Practical SNARK Aggregation Nicolas Gailly and Mary Maller and Anca Nitulescu. 2021. | |
| 61. | hbACSS: How to Robustly Share Many Secrets Thomas Yurek and Licheng Luo and Jaiden Fairoze and Aniket Kate and Andrew Miller. 2021. | |
| 62. | Formal Analysis of Composable DeFi Protocols Tolmach, Palina and Li, Yi and Lin, Shang-Wei and Liu, Yang. 2021. | |
| 63. | SoK: Privacy-Preserving Computing in the Blockchain Era Ghada Almashaqbeh and Ravital Solomon. 2021. | |
| 64. | Compositional Security for Reentrant Applications Cecchetti, Ethan and Yao, Siqiu and Ni, Haobin and Myers, Andrew C. 2021. | |
| 65. | Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing Yang, Youngseok and Kim, Taesoo and Chun, Byung-Gon. 2021. | |
| 66. | Optimal Fees for Geometric Mean Market Makers Evans, Alex and Angeris, Guillermo and Chitra, Tarun. 2021. | |
| 67. | MiniLedger: Compact-sized Anonymous and Auditable Distributed Payments Panagiotis Chatzigiannis and Foteini Baldimtsi. 2021. | |
| 68. | Shorter and Faster Post-Quantum Designated-Verifier zkSNARKs from Lattices Yuval Ishai and Hang Su and David J. Wu. 2021. | |
| 69. | smartFHE: Privacy-Preserving Smart Contracts from Fully Homomorphic Encryption Ravital Solomon and Ghada Almashaqbeh. 2021. | |
| 70. | Flashot: A Snapshot of Flash Loan Attack on DeFi Ecosystem Cao, Yixin and Zou, Chuanwei and Cheng, Xianfeng. 2021. | |
| 71. | Information Dispersal with Provable Retrievability for Rollups Nazirkhanova, Kamilla and Neu, Joachim and Tse, David. 2021. | |
| 72. | Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value Obadia, Alexandre and Salles, Alejo and Sankar, Lakshman and Chitra, Tarun and Chellani, Vaibhav and Daian, Philip. 2021. | |
| 73. | Blockchain Gateways, Bridges and Delegated Hash-Locks Hardjono, Thomas. 2021. | |
| 74. | On Elapsed Time Consensus Protocols Mic Bowman and Debajyoti Das and Avradip Mandal and Hart Montgomery. 2021. | |
| 75. | An Algebraic Framework for Universal and Updatable SNARKs Carla Ràfols and Arantxa Zapico. 2021. | |
| 76. | On the security of ECDSA with additive key derivation and presignatures Jens Groth and Victor Shoup. 2021. | |
| 77. | Families of SNARK-friendly 2-chains of elliptic curves El Housni, Youssef and Guillevic, Aurore. 2021. | |
| 78. | Low-cost attacks on Ethereum 2.0 by sub-1/3 stakeholders Neuder, Michael and Moroz, Daniel J and Rao, Rithvik and Parkes, David C. 2021. | |
| 79. | SoK: Auditability and Accountability in Distributed Payment Systems Panagiotis Chatzigiannis and Foteini Baldimtsi and Konstantinos Chalkias. 2021. | |
| 80. | Succinct Zero-Knowledge Batch Proofs for Set Accumulators Matteo Campanelli and Dario Fiore and Semin Han and Jihye Kim and Dimitris Kolonelos and Hyunok Oh. 2021. | |
| 81. | Threshold Schnorr with Stateless Deterministic Signing from Standard Assumptions François Garillot and Yashvanth Kondi and Payman Mohassel and Valeria Nikolaenko. 2021. | |
| 82. | LEO: A Programming Language for Formally Verified,Zero-Knowledge Applications Collin Chin and Howard Wu and Raymond Chu and Alessandro Coglio and Eric McCarthy and Eric Smith. 2021. | |
| 83. | Towards Understanding Cryptocurrency Derivatives: A Case Study of BitMEX Soska, Kyle and Dong, Jin-Dong and Khodaverdian, Alex and Zetlin-Jones, Ariel and Routledge, Bryan and Christin, Nicolas. 2021. | |
| 84. | zkHawk: Practical Private Smart Contracts from MPC-based Hawk Aritra Banerjee and Michael Clear and Hitesh Tewari. 2021. | |
| 85. | Practical Settlement Bounds for Proof-of-Work Blockchains Peter Gaži and Ling Ren and Alexander Russell. 2021. | |
| 86. | Oblivious Message Retrieval Liu, Zeyu and Tromer, Eran. 2021. | |
| 87. | Thresholdizing HashEdDSA: MPC to the rescue Bonte, Charlotte and Smart, Nigel P and Tanguy, Titouan. 2021. | |
| 88. | Post-Quantum Verifiable Random Function from Symmetric Primitives in PoS Blockchain Buser, Maxime and Dowsley, Rafael and Esgin, Muhammed F and Kermanshahi, Shabnam Kasra and Kuchta, Veronika and Liu, Joseph K and Phan, Raphael and Zhang, Zhenfei. 2021. | |
| 89. | Non-interactive half-aggregation of EdDSA and variants of Schnorr signatures Konstantinos Chalkias and Francois Garillot and Yashvanth Kondi and Valeria Nikolaenko. 2021. | |
| 90. | Round-Efficient Byzantine Agreement and Multi-Party Computation with Asynchronous Fallback Giovanni Deligios and Martin Hirt and Chen-Da Liu-Zhang. 2021. | |
| 91. | Verifiable computing applications in blockchain \vSimuni\'c, Silvio and Bernaca, Dalen and Lenac, Kristijan. 2021. | |
| 92. | A Security Framework for Distributed Ledgers Christoph Egger and Mike Graf and Ralf Kuesters and Daniel Rausch and Viktoria Ronge and and Dominique Schröder. 2021. | |
| 93. | Succinct Erasure Coding Proof Systems Nicolas Alhaddad and Sisi Duan and Mayank Varia and Haibin Zhang. 2021. | |
| 94. | On the Routing-Aware Peering against Network-Eclipse Attacks in Bitcoin Tran, Muoi and Shenoi, Akshaye and Kang, Min Suk. 2021. | |
| 95. | Optimal Good-case Latency for Rotating Leader Synchronous BFT Ittai Abraham and Kartik Nayak and Nibesh Shrestha. 2021. | |
| 96. | Timelocked Bribing Nadahalli, Tejaswi and Khabbazian, Majid and Wattenhofer, Roger. 2021. | |
| 97. | Don’t Run on Fumes—Parametric Gas Bounds for Smart Contracts Alberta, Elvira and Correasb, Jes\'us and Gordillob, Pablo and Rom\'an-D\iezc, Guillermo and Rubioa, Albert. 2021. | |
| 98. | Multi-instance Publicly Verifiable Time-lock Puzzle and its Applications Abadi, Aydin and Kiayias, Aggelos. 2021. | |
| 99. | As easy as ABC: Optimal (A)ccountable (B)yzantine (C)onsensus is easy! Pierre Civit and Seth Gilbert and Vincent Gramoli and Rachid Guerraoui and Jovan Komatovic. 2021. | |
| 100. | Generalized Proof of Liabilities Yan Ji and Konstantinos Chalkias. 2021. | |
| 101. | Rich specifications for Ethereum smart contract verification Br\"am, Christian and Eilers, Marco and M\"uller, Peter and Sierra, Robin and Summers, Alexander J. 2021. | |
| 102. | Formal security analysis of MPC-in-the-head zero-knowledge protocols Nikolaj Sidorenco and Sabine Oechsner and Bas Spitters. 2021. | |
| 103. | Synchronous Distributed Key Generation without Broadcasts Nibesh Shrestha and Adithya Bhat and Aniket Kate and Kartik Nayak. 2021. | |
| 104. | FPPW: A Fair and Privacy Preserving Watchtower For Bitcoin Arash Mirzaei and Amin Sakzad and Jiangshan Yu and Ron Steinfeld. 2021. | |
| 105. | Analysis and Probing of Parallel Channels in the Lightning Network Alex Biryukov and Gleb Naumenko and Sergei Tikhomirov. 2021. | |
| 106. | EtherClue: Digital investigation of attacks on Ethereum smart contracts Aquilina, Simon Joseph and Casino, Fran and Vella, Mark and Ellul, Joshua and Patsakis, Constantinos. 2021. | |
| 107. | Fuzzy Message Detection Gabrielle Beck and Julia Len and Ian Miers and Matthew Green. 2021. | |
| 108. | LOVE a pairing Diego F. Aranha and Elena Pagnin and Francisco Rodríguez-Henríquez. 2021. | |
| 109. | Flash Crash for Cash: Cyber Threats in Decentralized Finance Oosthoek, Kris. 2021. | |
| 110. | Plumo: An Ultralight Blockchain Client Psi Vesely and Kobi Gurkan and Michael Straka and Ariel Gabizon and Philipp Jovanovic and Georgios Konstantopoulos and Asa Oines and Marek Olszewski and and Eran Tromer. 2021. | |
| 111. | OptSmart: A Space Efficient Optimistic Concurrent Execution of Smart Contracts Anjana, Parwat Singh and Kumari, Sweta and Peri, Sathya and Rathor, Sachin and Somani, Archit. 2021. | |
| 112. | Guessing Bits: Improved Lattice Attacks on (EC)DSA Chao Sun and Thomas Espitau and Mehdi Tibouchi and Masayuki Abe. 2021. | |
| 113. | Practical Witness-Key-Agreement for Blockchain-based Dark Pools Financial Trading Ngo, Chan Nam and Massacci, Fabio and Kerschbaum, Florian and Williams, Julian. 2021. | |
| 114. | ZPiE: Zero-knowledge Proofs in Embedded systems Xavier Salleras and Vanesa Daza. 2021. | |
| 115. | Embedding a Deterministic BFT Protocol in a Block DAG Schett, Maria A and Danezis, George. 2021. | |
| 116. | Assessing Smart Contracts Security Technical Debts Ahmadjee, Sabreen and Mera-G\'omez, Carlos and Bahsoon, Rami. 2021. | |
| 117. | A Note on Privacy in Constant Function Market Makers Angeris, Guillermo and Evans, Alex and Chitra, Tarun. 2021. | |
| 118. | Proof of Assets in the Diem Blockchain Panagiotis Chatzigiannis and Konstantinos Chalkias. 2021. | |
| 119. | Private Signaling Varun Madathil and Alessandra Scafuro and István András Seres and Omer Shlomovits and Denis Varlakov. 2021. | |
| 120. | Efficient and Universally Composable Single Secret Leader Election from Pairings Dario Catalano and Dario Fiore and Emanuele Giunta. 2021. | |
| 121. | A New Way to Achieve Round-Efficient Byzantine Agreement Matthias Fitzi and Chen-Da Liu-Zhang and Julian Loss. 2021. | |
| 122. | Mithril: Stake-based Threshold Multisignatures Pyrros Chaidos and Aggelos Kiayias. 2021. | |
| 123. | Bandersnatch: a fast elliptic curve built over the BLS12-381 scalar field Simon Masson and Antonio Sanso and Zhenfei Zhang. 2021. | |
| 124. | Longest Chain Consensus Under Bandwidth Constraint Neu, Joachim and Sridhar, Srivatsan and Yang, Lei and Tse, David and Alizadeh, Mohammad. 2021. | |
| 125. | On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols Markulf Kohlweiss and Varun Madathil and Kartik Nayak and Alessandra Scafuro. 2021. | |
| 126. | Scalable and privacy-preserving off-chain computations Eberhardt, Jacob. 2021. | |
| 127. | Differential Privacy in Constant Function Market Makers Tarun Chitra and Guillermo Angeris and Alex Evans. 2021. | |
| 128. | Ofelimos: Combinatorial Optimization via Proof-of-Useful-Work \\ A Provably Secure Blockchain Protocol Matthias Fitzi and Aggelos Kiayias and Giorgos Panagiotakos and Alexander Russell. 2021. | |
| 129. | Large-Scale Non-Interactive Threshold Cryptosystems in the YOSO Model Andreas Erwig and Sebastian Faust and Siavash Riahi. 2021. | |
| 130. | Atomic Swaps between Bitcoin and Monero Hoenisch, Philipp and del Pino, Lucas Soriano. 2021. | |
| 131. | Efficient Functional Commitments: How to Commit to Private Functions Dan Boneh and Wilson Nguyen and Alex Ozdemir. 2021. | |
| 132. | Compact certificates of collective knowledge Micali, Silvio and Reyzin, Leonid and Vlachos, Georgios and Wahby, Riad S and Zeldovich, Nickolai. 2021. | |
| 133. | Composition with Knowledge Assumptions Thomas Kerber and Aggelos Kiayias and Markulf Kohlweiss. 2021. | |
| 134. | BooLigero: Improved Sublinear Zero Knowledge Proofs for Boolean Circuits Yaron Gvili and Sarah Scheffler and Mayank Varia. 2021. | |
| 135. | Financial intermediation and risk in decentralized lending protocols Castro-Iragorri, Carlos and Ramirez, Julian and Velez, Sebastian. 2021. | |
| 136. | Reinforced Concrete: Fast Hash Function for Zero Knowledge Proofs and Verifiable Computation Barbara, Mario and Grassi, Lorenzo and Khovratovich, Dmitry and L\"uftenegger, Reinhard and Rechberger, Christian and Schofnegger, Markus and Walch, Roman. 2021. | |
| 137. | Merkle Trees Optimized for Stateless Clients in Bitcoin Bailey, Bolton and Sankagiri, Suryanarayana. 2021. | |
| 138. | Private Liquidity Matching using MPC Shahla Atapoor and Nigel P. Smart and Younes Talibi Alaoui. 2021. | |
| 139. | Flexible Anonymous Transactions (FLAX): Towards Privacy-Preserving and Composable Decentralized Finance Dai, Wei. 2021. | |
| 140. | Securing Parallel-chain Protocols under Variable Mining Power Xuechao Wang and Viswa Virinchi Muppirala and Lei Yang and Sreeram Kannan and Pramod Viswanath. 2021. | |
| 141. | Formal Modelling and Security Analysis of Bitcoin's Payment Protocol Modesti, Paolo and Shahandashti, Siamak F and McCorry, Patrick and Hao, Feng. 2021. | |
| 142. | On Time-Lock Cryptographic Assumptions in Abelian Hidden-Order Groups Aron van Baarsen and Marc Stevens. 2021. | |
| 143. | Mt. Random: Multi-Tiered Randomness Beacons Ignacio Cascudo and Bernardo David and Omer Shlomovits and Denis Varlakov. 2021. | |
| 144. | The Cryptographic Complexity of Anonymous Coins: A Systematic Exploration Niluka Amarasinghe and Xavier Boyen and Matthew McKague. 2021. | |
| 145. | Elmo: Recursive Virtual Payment Channels for Bitcoin Aggelos Kiayias and Orfeas Stefanos Thyfronitis Litos. 2021. | |
| 146. | Blockchain Layer Zero: Characterizing the Bitcoin Network through Measurements, Models, and Simulations Elias Rohrer and Florian Tschorsch. 2021. | |
| 147. | Kadcast-NG: A Structured Broadcast Protocol for Blockchain Networks Elias Rohrer and Florian Tschorsch. 2021. | |
| 148. | TurboIKOS: Improved Non-interactive Zero Knowledge and Post-Quantum Signatures Yaron Gvili and Julie Ha and Sarah Scheffler and Mayank Varia and Ziling Yang and Xinyuan Zhang. 2021. | |
| 149. | Analysis of CryptoNote Transaction Graphs using the Dulmage-Mendelsohn Decomposition Saravanan Vijayakumaran. 2021. | |
| 150. | Secret Network: A Privacy-Preserving Secret Contract \& Decentralized Application Platform Woetzel, Carter. 2021. | |
| 151. | Manta: a Plug and Play Private DeFi Stack Shumo Chu and Yu Xia and Zhenfei Zhang. 2021. | |
| 152. | Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin Joachim Zahnentferner and Dmytro Kaidalov and Jean-Frédéric Etienne and Javier Díaz. 2021. | |
| 153. | Efficient Verification of Optimized Code: Correct High-speed X25519 Marc Schoolderman and Jonathan Moerman and Sjaak Smetsers and Marko van Eekelen. 2021. | |
| 154. | Cryptocurrencies with Security Policies and Two-Factor Authentication Florian Breuer and Vipul Goyal and Giulio Malavolta. 2021. | |
| 155. | Dynamic Ad Hoc Clock Synchronization Badertscher, Christian and Gazi, Peter and Kiayias, Aggelos and Russell, Alexander and Zikas, Vassilis. 2021. | |
| 156. | How Byzantine is a Send Corruption? Karim Eldefrawy and Julian Loss and Ben Terner. 2021. | |
| 157. | fflonk: a Fast-Fourier inspired verifier efficient version of PlonK Ariel Gabizon and Zachary J. Williamson. 2021. | |
| 158. | Towards Accountability in CRS Generation Ananth, Prabhanjan and Asharov, Gilad and Dahari, Hila and Goyal, Vipul. 2021. | |
| 159. | Towards Accountability in CRS Generation Prabhanjan Ananth and Gilad Asharov and Hila Dahari and Vipul Goyal. 2021. | |
| 160. | Aggregating hash-based signatures using STARKs Irakliy Khaburzaniya and Konstantinos Chalkias and Kevin Lewi and Harjasleen Malvai. 2021. | |
| 161. | STROBE: Stake-based Threshold Random Beacons Donald Beaver and Konstantinos Chalkias and Mahimna Kelkar and Lefteris Kokoris Kogias and Kevin Lewi and Ladi de Naurois and Valeria Nicolaenko and Arnab Roy and Alberto Sonnino. 2021. | |
| 162. | VOProof: Efficient zkSNARKs from Vector Oracle Compilers Yuncong Zhang and Alan Szepieniec and Ren Zhang and Shi-Feng Sun and Geng Wang and Dawu Gu. 2021. | |
| 163. | "Act natural!": Having a Private Chat on a Public Blockchain Thore Tiemann and Sebastian Berndt and Thomas Eisenbarth and Maciej Liskiewicz. 2021. | |
| 164. | Interhead Hydra Two Heads are Better than One Maxim Jourenko and Mario Larangeira and Keisuke Tanaka. 2021. | |
| 165. | Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets Carr\'e, Sylvain and Gabriel, Franck and Hongler, Cl\'ement and Lacerda, Gustavo and Capano, Gloria. 2021. | |
| 166. | On-Chain Smart Contract Verification over Tendermint⋆ Olivieri, Luca and Spoto, Fausto and Tagliaferro, Fabio. 2021. | |
| 167. | Etherless Ethereum Tokens: Simulating Native Tokens in Ethereum John Andrews and Michele Ciampi and Vassilis Zikas. 2021. | |
| 168. | Phoenix: A Formally Verified Regenerating Vault Kirstein, Uri and Grossman, Shelly and Mirkin, Michael and Wilcox, James and Eyal, Ittay and Sagiv, Mooly. 2021. | |
| 169. | Verification of a Merkle Patricia Tree Library Using F Sato, Sota and Banno, Ryotaro and Furuse, Jun and Suenaga, Kohei and Igarashi, Atsushi. 2021. | |
| 170. | Hours of Horus: Keyless Cryptocurrency Wallets Dionysis Zindros. 2021. | |
| 171. | Translation Certification for Smart Contracts Krijnen, Jacco and Chakravarty, Manuel MT and Keller, Gabriele and Swierstra, Wouter. 2021. | |
| 172. | Reputation at Stake! A Trust Layer over Decentralized Ledger for Multiparty Computation and Reputation-Fair Lottery Mario Larangeira. 2021. | |
| 173. | A specification for a ZK-EVM B\'egassat, Olivier and Belling, Alexandre and Chapuis-Chkaiban, Th\'eodore and Liochon, Nicolas. 2021. | |
| 174. | SoK: Vector Commitments Nitulescu, Anca. 2021. | |
| 175. | Succinct Publicly Verifiable Computation Alonso González and Alexandros Zacharakis. 2021. | |
| 176. | Latus Incentive Scheme: Enabling Decentralization in Blockchains based on Recursive SNARKs Alberto Garoffolo and Dmytro Kaidalov and Roman Oliynykov. 2021. | |
| 177. | Babel Fees via Limited Liabilities Chakravarty, Manuel MT and Karayannidis, Nikos and Kiayias, Aggelos and Jones, Michael Peyton and Vinogradova, Polina. 2021. | |
| 178. | Filling the Tax Gap via Programmable Money Karakostas, Dimitris and Kiayias, Aggelos. 2021. | |
| 179. | HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix and Chain Quality Muhammad Saad and Afsah Anwar and Srivatsan Ravi and David Mohaisen. 2021. | |
| 180. | N-for-1 Auth: N-wise Decentralized Authentication via One Authentication Weikeng Chen and Ryan Deng and Raluca Ada Popa. 2021. | |
| 181. | Attacking (EC)DSA With Partially Known Multiples of Nonces Marios Adamoudis and Konstantinos A. Draziotis and Dimitrios Poulakis. 2021. | |
| 182. | Security of the Poseidon Hash Function Against Non-Binary Differential and Linear Attacks Kovalchuk, L and Oliynykov, R and Rodinko, M. 2021. | |
| 183. | Chain Reductions for Multi-Signatures Mihir Bellare and Wei Dai. 2021. | |
| 184. | Conclave: A Collective Stake Pool Protocol Dimitris Karakostas and Aggelos Kiayias and Mario Larangeira. 2021. | |
| 185. | On the deployment of FlyClient as a velvet fork: chain-sewing attacks and countermeasures Tristan Nemoz and Alexei Zamyatin. 2021. | |
| 186. | Elysium: Automagically Healing Vulnerable Smart Contracts Using Context-Aware Patching Torres, Christof Ferreira and Jonker, Hugo and State, Radu. 2021. | |
| 187. | Scaling Distributed Ledgers and Privacy-Preserving Applications Sonnino, Alberto. 2021. | |
| 188. | A Theoretical Treatment of Blockchain Scaling Protocols Avarikioti, Georgia. 2021. | |
| 189. | History Binding Signature Shlomi Dolev and Matan Liber. 2021. | |
| 190. | Analyzing the Blockchain Attack Surface: A Top-down Approach Saad, Muhammad. 2021. | |
| 191. | Cob: a Multidimensional Byzantine Agreement Protocol for Asynchronous Incomplete Networks Flamini, Andrea and Longo, Riccardo and Meneghetti, Alessio. 2021. | |
| 192. | The Power of Random Symmetry-Breaking in Nakamoto Consensus Su, Lili and Liu, Quanquan C and Narula, Neha. 2021. | |
| 193. | A concurrent DEX on Cardano Bruhwiler, Peter and Cachin, Christian and Zanolini, Luca and Micic, Jovana. 2021. | |
| 194. | MEV on L2 Ha, Vlachou and Kilbourn, De Michellis. 2021. | |
| 195. | The Bitcoin Cash Backbone Protocol Juan Garay and Yu Shen. 2021. | |
| 196. | Fast-HotStuff: A Fast and Resilient BFT protocol for Blockchains Jalalzai, Mohammad M and Niu, Jianyu and Feng, Chen and Gai, Fangyu. 2021. | |
| 197. | Fast Validated Byzantine Broadcast Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2021. | |
| 198. | When Nakamoto Meets Nash: Blockchain Breakthrough Through the Lens of Game Theory (Invited Talk) Abraham, Ittai. 2021. | |
| 199. | Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper) Danos, Vincent and Krivine, Jean and Prat, Julien. 2021. | |
| 200. | Absentia: secure function evaluation on Ethereum Demirag, Didem and Clark, Jeremy. 2021. | |
| 201. | EthVer: Formal verification of randomized Ethereum smart contracts Mazurek, \Lukasz. 2021. | |
| 202. | Property-based testing of ERC-721 Ethereum smart contracts de Figueiredo Novo, Isac Daniel. 2021. | |
| 203. | On (Weak) Simulation-Extractability of Universal zkSNARKs Markulf Kohlweiss and Michał Zając. 2021. | |
| 204. | ZK Contingent Payments for Trained Neural Networks Zhelei Zhou and Xinlei Cao and Jian Liu and Bingsheng Zhang and Kui Ren. 2021. | |
| 205. | DeFi Beyond the Hype David Gogel and Teana Baker-Taylor and Ann Sofie Cloots and Brendan Forster and Jordan Lazaro Gustave and Fabian Schär and Lex Sokolin. 2021. | |
| 206. | Blockchains+ Network Privacy= A Nightmare Kate, Aniket. 2021. | |
| 207. | Payment Does Not Imply Consensus (For Distributed Payment Systems) Orton, Thomas. 2021. | |
| 208. | A Permissionless Proof-of-Stake Blockchain with Best-Possible Unpredictability Lei Fan and Jonathan Katz and Phuc Thai and Hong-Sheng Zhou. 2021. | |
| 209. | Semantics and complexity of bitcoin script Reisenegger Butr\'on, Thomas. 2021. | |
| 210. | IPFS-FAN: A Function-Addressable Computation Network de la Rocha, Alfonso and Psaras, Yiannis and Dias, David. 2021. | |
| 211. | The cost of immortality: A Time To Live for smart contracts Saingre, Dimitri and Ledoux, Thomas and Menaud, Jean-Marc. 2021. | |
| 212. | Opportunistic Algorithmic Double-Spending: How I learned to stop worrying and hedge the Fork Nicholas Stifter and Aljosha Judmayer and Philipp Schindler and Edgar Weippl. 2021. | |
| 213. | VESPo: Verified Evaluation of Secret Polynomials Dumas, Jean-Guillaume and Maignan, Aude and Pernet, Cl\'ement and Roche, Daniel S. 2021. | |
| 214. | Fraud and data availability proofs: Detecting invalid blocks in light clients Al-Bassam, Mustafa and Sonnino, Alberto and Buterin, Vitalik and Khoffi, Ismail. 2021. | |
| 215. | No-commit proofs: Defeating livelock in bft Giridharan, Neil and Howard, Heidi and Abraham, Ittai and Crooks, Natacha and Tomescu, Alin. 2021. | |
| 216. | Public inputs in PlonK’s permutation argument Gabizon, Ariel and Williamson, Zachary J. 2021. |
Videos
–
Links
–