Papers [1706]
A curated list of papers ordered by number of citations. Last updated 2025-02-24
| # | Title | |
| 1. | Bitcoin: A Peer-to-Peer Electronic Cash System Nakamoto, Satoshi. 2008.   | |
| 2. | Ethereum: a secure decentralised generalised transaction ledger Wood, Gavin. 2014. | |
| 3. | A next-generation smart contract and decentralized application platform Buterin, Vitalik. 2014. | |
| 4. | Blockchains and smart contracts for the internet of things Christidis, Konstantinos and Devetsikiotis, Michael. 2016. | |
| 5. | Hyperledger fabric: a distributed operating system for permissioned blockchains Androulaki, Elli and Barger, Artem and Bortnikov, Vita and Cachin, Christian and Christidis, Konstantinos and De Caro, Angelo and Enyeart, David and Ferris, Christopher and Laventman, Gennady and Manevich, Yacov and Muralidharan, Srinivasan and Murthy, Chet and Nguyen, Binh and Sethi, Manish and Singh, Gari and Smith, Keith and Sorniotti, Alessandro and Stathakopoulou, Chrysoula and Vukolić, Marko and Weed Cocco, Sharon and Yellick, Jason. 2018. | |
| 6. | Hawk: The blockchain model of cryptography and privacy-preserving smart contracts Kosba, Ahmed and Miller, Andrew and Shi, Elaine and Wen, Zikai and Papamanthou, Charalampos. 2016. | |
| 7. | Decentralizing privacy: Using blockchain to protect personal data Zyskind, Guy and Nathan, Oz and others. 2015. | |
| 8. | Formalizing and securing relationships on public networks Szabo, Nick. 1997. | |
| 9. | Majority is not enough: Bitcoin mining is vulnerable Eyal, Ittay and Gün Sirer, Emin. 2014. | |
| 10. | Making smart contracts smarter Luu, Loi and Chu, Duc-Hiep and Olickel, Hrishi and Saxena, Prateek and Hobor, Aquinas. 2016. | |
| 11. | Zerocash: Decentralized anonymous payments from bitcoin Ben-Sasson, Eli and Chiesa, Alessandro and Garman, Christina and Green, Matthew and Miers, Ian and Tromer, Eran and Virza, Madars. 2014. | |
| 12. | Ipfs-content addressed, versioned, p2p file system Benet, Juan. 2014. | |
| 13. | A survey on the security of blockchain systems Li, Xiaoqi and Jiang, Peng and Chen, Ting and Luo, Xiapu and Wen, Qiaoyan. 2017. | |
| 14. | On the security and performance of proof of work blockchains Gervais, Arthur and Karame, Ghassan O and W\"ust, Karl and Glykantzis, Vasileios and Ritzdorf, Hubert and Capkun, Srdjan. 2016. | |
| 15. | Ouroboros: A provably secure proof-of-stake blockchain protocol Kiayias, Aggelos and Russell, Alexander and David, Bernardo and Oliynykov, Roman. 2017. | |
| 16. | Algorand: Scaling byzantine agreements for cryptocurrencies Gilad, Yossi and Hemo, Rotem and Micali, Silvio and Vlachos, Georgios and Zeldovich, Nickolai. 2017. | |
| 17. | A survey of attacks on ethereum smart contracts (sok) Atzei, Nicola and Bartoletti, Massimo and Cimoli, Tiziana. 2017. | |
| 18. | The Bitcoin Backbone Protocol : Analysis and Applications Garay, Juan A and Kiayias, Aggelos and Leonardos, Nikos. 2014. | |
| 19. | A fistful of bitcoins: characterizing payments among men with no names Meiklejohn, Sarah and Pomarole, Marjori and Jordan, Grant and Levchenko, Kirill and McCoy, Damon and Voelker, Geoffrey M and Savage, Stefan. 2013. | |
| 20. | Bitcoin-NG: A Scalable Blockchain Protocol Eyal, Ittay and Gencer, Adem Efe and Sirer, Emin Gün and van Renesse, Robbert. 2016. | |
| 21. | SoK: Research perspectives and challenges for bitcoin and cryptocurrencies Bonneau, Joseph and Miller, Andrew and Clark, Jeremy and Narayanan, Arvind and Kroll, Joshua A. and Felten, Edward W.. 2015. | |
| 22. | An analysis of anonymity in the bitcoin system Reid, F and Harrigan, M. 2013. | |
| 23. | On Scaling Decentralized Blockchains Croman, Kyle and Decker, Christian and Eyal, Ittay and Gencer, Adem Efe and Juels, Ari and Kosba, Ahmed and Miller, Andrew and Saxena, Prateek and Shi, Elaine and Gün Sirer, Emin. 2016. | |
| 24. | Do you need a Blockchain? Wüst, Karl and Gervais, Arthur. 2017. | |
| 25. | Information propagation in the Bitcoin network Decker, Christian and Wattenhofer, Roger. 2013. | |
| 26. | A secure sharding protocol for open blockchains Luu, Loi and Narayanan, Viswesh and Zheng, Chaodong and Baweja, Kunal and Gilbert, Seth and Saxena, Prateek. 2016. | |
| 27. | The quest for scalable blockchain fabric: Proof-of-work vs. BFT replication Vukolić, Marko. 2015. | |
| 28. | The bitcoin lightning network: Scalable off-chain instant payments Poon, Joseph and Dryja, Thaddeus. 2016. | |
| 29. | Ppcoin: Peer-to-peer crypto-currency with proof-of-stake King, Sunny and Nadal, Scott. 2012. | |
| 30. | Bulletproofs: Short proofs for confidential transactions and more B\"unz, Benedikt and Bootle, Jonathan and Boneh, Dan and Poelstra, Andrew and Wuille, Pieter and Maxwell, Greg. 2018. | |
| 31. | Pinocchio: Nearly practical verifiable computation Parno, Bryan and Howell, Jon and Gentry, Craig and Raykova, Mariana. 2013. | |
| 32. | Quantitative analysis of the full bitcoin transaction graph Ron, Dorit and Shamir, Adi. 2013. | |
| 33. | Zerocoin: Anonymous distributed e-cash from bitcoin Miers, Ian and Garman, Christina and Green, Matthew and Rubin, Aviel D. 2013. | |
| 34. | Omniledger: A secure, scale-out, decentralized ledger via sharding Kokoris-Kogias, Eleftherios and Jovanovic, Philipp and Gasser, Linus and Gailly, Nicolas and Syta, Ewa and Ford, Bryan. 2018. | |
| 35. | On the size of pairing-based non-interactive arguments Groth, Jens. 2016. | |
| 36. | Hashcash - A Denial of Service Counter-Measure Back, Adam. 2002. | |
| 37. | Pairing-Friendly Elliptic Curves of Prime Order Paulo S. L. M. Barreto and Michael Naehrig. 2005. | |
| 38. | A survey on security and privacy issues of bitcoin Conti, Mauro and Kumar, E Sandeep and Lal, Chhagan and Ruj, Sushmita. 2018. | |
| 39. | Rapidchain: Scaling blockchain via full sharding Zamani, Mahdi and Movahedi, Mahnush and Raykova, Mariana. 2018. | |
| 40. | Security and privacy on blockchain Zhang, Rui and Xue, Rui and Liu, Ling. 2019. | |
| 41. | Securify: Practical security analysis of smart contracts Tsankov, Petar and Dan, Andrei and Drachsler-Cohen, Dana and Gervais, Arthur and Buenzli, Florian and Vechev, Martin. 2018. | |
| 42. | Eclipse Attacks on Bitcoin's Peer-to-Peer Network Heilman, Ethan and Kendler, Alison and Zohar, Aviv and Goldberg, Sharon. 2015. | |
| 43. | Hotstuff: Bft consensus with linearity and responsiveness Yin, Maofan and Malkhi, Dahlia and Reiter, Michael K and Gueta, Guy Golan and Abraham, Ittai. 2019. | |
| 44. | Mastering ethereum: building smart contracts and dapps Antonopoulos, Andreas M and Wood, Gavin. 2018. | |
| 45. | Quadratic span programs and succinct NIZKs without PCPs Gennaro, Rosario and Gentry, Craig and Parno, Bryan and Raykova, Mariana. 2013. | |
| 46. | The honey badger of BFT protocols Miller, Andrew and Xia, Yu and Croman, Kyle and Shi, Elaine and Song, Dawn. 2016. | |
| 47. | A taxonomy of blockchain-based systems for architecture design Xu, Xiwei and Weber, Ingo and Staples, Mark and Zhu, Liming and Bosch, Jan and Bass, Len and Pautasso, Cesare and Rimba, Paul. 2017. | |
| 48. | Bitter to better - How to make bitcoin a better currency Barber, Simon and Boyen, Xavier and Shi, Elaine and Uzun, Ersin. 2012. | |
| 49. | Proof of Activity: Extending Bitcoin's Proof of Work via Proof of Stake Bentov, Iddo and Lee, Charles and Mizrahi, Alex and Rosenfeld, Meni. 2014. | |
| 50. | Enabling blockchain innovations with pegged sidechains Back, A and Corallo, M and Dashjr, L. 2014. | |
| 51. | The Ripple protocol consensus algorithm Schwartz, D and Youngs, N and Britto, A. 2014. | |
| 52. | Enhancing bitcoin security and performance with strong consistency via collective signing Kogias, Eleftherios Kokoris and Jovanovic, Philipp and Gailly, Nicolas and Khoffi, Ismail and Gasser, Linus and Ford, Bryan. 2016. | |
| 53. | Blockchain consensus protocols in the wild Cachin, Christian and Vukoli\'c, Marko. 2017. | |
| 54. | Casper the friendly finality gadget Buterin, Vitalik and Griffith, Virgil. 2017. | |
| 55. | Zeus: Analyzing safety of smart contracts Kalra, Sukrit and Goel, Seep and Dhawan, Mohan and Sharma, Subodh. 2018. | |
| 56. | Analysis of the Blockchain Protocol in Asynchronous Networks Pass, Rafael and Seeman, Lior and abhi Shelat. 2016. | |
| 57. | Smartcheck: Static analysis of ethereum smart contracts Tikhomirov, Sergei and Voskresenskaya, Ekaterina and Ivanitskiy, Ivan and Takhaviev, Ramil and Marchenko, Evgeny and Alexandrov, Yaroslav. 2018. | |
| 58. | Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture. Ben-Sasson, Eli and Chiesa, Alessandro and Tromer, Eran and Virza, Madars. 2014. | |
| 59. | The economics of Bitcoin mining, or Bitcoin in the presence of adversaries Kroll, Joshua A and Davey, Ian C and Felten, Edward W. 2013. | |
| 60. | SNARKs for C: Verifying program executions succinctly and in zero knowledge Ben-Sasson, Eli and Chiesa, Alessandro and Genkin, Daniel and Tromer, Eran and Virza, Madars. 2013. | |
| 61. | Town crier: An authenticated data feed for smart contracts Zhang, Fan and Cecchetti, Ethan and Croman, Kyle and Juels, Ari and Shi, Elaine. 2016. | |
| 62. | Deanonymisation of clients in Bitcoin P2P network Biryukov, Alex and Khovratovich, Dmitry and Pustogarov, Ivan. 2014. | |
| 63. | Optimal Selfish Mining Strategies in Bitcoin Sapirshtein, Ayelet and Sompolinsky, Yonatan and Zohar, Aviv. 2015. | |
| 64. | ContractFuzzer: fuzzing smart contracts for vulnerability detection Jiang, Bo and Liu, Ye and Chan, WK. 2018. | |
| 65. | Formal verification of smart contracts: Short paper Bhargavan, Karthikeyan and Delignat-Lavaud, Antoine and Fournet, C\'edric and Gollamudi, Anitha and Gonthier, Georges and Kobeissi, Nadim and Kulatova, Natalia and Rastogi, Aseem and Sibut-Pinote, Thomas and Swamy, Nikhil and others. 2016. | |
| 66. | Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab Delmolino, Kevin and Arnett, Mitchell and Kosba, Ahmed and Miller, Andrew and Shi, Elaine. 2016. | |
| 67. | Constant-size commitments to polynomials and their applications Kate, Aniket and Zaverucha, Gregory M and Goldberg, Ian. 2010. | |
| 68. | Finding The Greedy, Prodigal, and Suicidal Contracts at Scale Nikolic, Ivica and Kolluri, Aashish and Sergey, Ilya and Saxena, Prateek and Hobor, Aquinas. 2018. | |
| 69. | Scalable, transparent, and post-quantum secure computational integrity Eli Ben-Sasson and Iddo Bentov and Yinon Horesh and Michael Riabzev. 2018. | |
| 70. | Tendermint: Byzantine fault tolerance in the age of blockchains Buchman, Ethan. 2016. | |
| 71. | Polkadot: Vision for a heterogeneous multi-chain framework Wood, Gavin. 2016. | |
| 72. | Slither: a static analysis framework for smart contracts Feist, Josselin and Grieco, Gustavo and Groce, Alex. 2019. | |
| 73. | A Survey on Blockchain Interoperability: Past, Present, and Future Trends Belchior, Rafael and Vasconcelos, Andr\'e and Guerreiro, S\'ergio and Correia, Miguel. 2020. | |
| 74. | Hijacking bitcoin: Routing attacks on cryptocurrencies Apostolaki, Maria and Zohar, Aviv and Vanbever, Laurent. 2017. | |
| 75. | From mining to markets: The evolution of bitcoin transaction fees Easley, David and O'Hara, Maureen and Basu, Soumya. 2019. | |
| 76. | The stellar consensus protocol: A federated model for internet-level consensus Mazieres, David. 2015. | |
| 77. | Enigma: Decentralized computation platform with guaranteed privacy Zyskind, Guy and Nathan, Oz and Pentland, Alex. 2015. | |
| 78. | Verifiable Delay Functions Dan Boneh, Joseph Bonneau, Benedikt Bünz, Ben Fisch. 2018. | |
| 79. | A smart contract for boardroom voting with maximum voter privacy McCorry, Patrick and Shahandashti, Siamak F and Hao, Feng. 2017. | |
| 80. | The blockchain folk theorem Biais, Bruno and Bisi\`ere, Christophe and Bouvard, Matthieu and Casamatta, Catherine. 2017. | |
| 81. | A fast and scalable payment network with bitcoin duplex micropayment channels Decker, Christian and Wattenhofer, Roger. 2015. | |
| 82. | An empirical analysis of smart contracts: platforms, applications, and design patterns Bartoletti, Massimo and Pompianu, Livio. 2017. | |
| 83. | Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol Bernardo David and Peter Ga\vzi and Aggelos Kiayias and Alexander Russell. 2017. | |
| 84. | Mixcoin: Anonymity for bitcoin with accountable mixes Bonneau, Joseph and Narayanan, Arvind and Miller, Andrew and Clark, Jeremy and Kroll, Joshua A. and Felten, Edward W.. 2014. | |
| 85. | PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge Ariel Gabizon and Zachary J. Williamson and Oana Ciobotaru. 2019. | |
| 86. | Towards scaling blockchain systems via sharding Dang, Hung and Dinh, Tien Tuan Anh and Loghin, Dumitrel and Chang, Ee-Chien and Lin, Qian and Ooi, Beng Chin. 2019. | |
| 87. | Plasma: Scalable Autonomous Smart Contracts Poon, Joseph and Buterin, Vitalik. 2017. | |
| 88. | An analysis of anonymity in bitcoin using p2p network traffic Koshy, Philip and Koshy, Diana and McDaniel, Patrick. 2014. | |
| 89. | Short pairing-based non-interactive zero-knowledge arguments Groth, Jens. 2010. | |
| 90. | CoinShuffle: Practical decentralized coin mixing for bitcoin Ruffing, Tim and Moreno-Sanchez, Pedro and Kate, Aniket. 2014. | |
| 91. | Atomic cross-chain swaps Herlihy, Maurice. 2018. | |
| 92. | Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts Cheng, Raymond and Zhang, Fan and Kos, Jernej and He, Warren and Hynes, Nicholas and Johnson, Noah and Juels, Ari and Miller, Andrew and Song, Dawn. 2019. | |
| 93. | Separating succinct non-interactive arguments from all falsifiable assumptions Gentry, Craig and Wichs, Daniel. 2011. | |
| 94. | Secure multiparty computations on bitcoin Andrychowicz, Marcin and Dziembowski, Stefan and Malinowski, Daniel and Mazurek, Lukasz. 2014. | |
| 95. | The Miner's Dilemma Eyal, Ittay. 2014. | |
| 96. | Pbft vs proof-of-authority: applying the cap theorem to permissioned blockchain De Angelis, Stefano and Aniello, Leonardo and Baldoni, Roberto and Lombardi, Federico and Margheri, Andrea and Sassone, Vladimiro. 2018. | |
| 97. | SBFT: a Scalable and Decentralized Trust Infrastructure Gueta, Guy Golan and Abraham, Ittai and Grossman, Shelly and Malkhi, Dahlia and Pinkas, Benny and Reiter, Michael K and Seredinschi, Dragos-Adrian and Tamir, Orr and Tomescu, Alin. 2018. | |
| 98. | SBFT: A scalable and decentralized trust infrastructure Golan Gueta, Guy and Abraham, Ittai and Grossman, Shelly and Malkhi, Dahlia and Pinkas, Benny and Reiter, Michael K and Seredinschi, Dragos-Adrian and Tamir, Orr and Tomescu, Alin. 2018. | |
| 99. | Analysis of Hashrate-Based Double Spending Rosenfeld, Meni. 2014. | |
| 100. | Cryptocurrencies without proof of work Bentov, Iddo and Gabizon, Ariel and Mizrahi, Alex. 2016. | |
| 101. | Decentralization in bitcoin and ethereum networks Gencer, Adem Efe and Basu, Soumya and Eyal, Ittay and Van Renesse, Robbert and Sirer, Emin G\"un. 2018. | |
| 102. | Proofs of Space Dziembowski, Stefan and Faust, Sebastian and Kolmogorov, Vladimir and Pietrzak, Krzysztof. 2015. | |
| 103. | Analysis of bitcoin pooled mining reward systems Rosenfeld, Meni. 2011. | |
| 104. | Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS Alessandro Chiesa and Yuncong Hu and Mary Maller and Pratyush Mishra and Noah Vesely and Nicholas Ward. 2019. | |
| 105. | 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. | |
| 106. | Ligero: Lightweight sublinear arguments without a trusted setup Ames, Scott and Hazay, Carmit and Ishai, Yuval and Venkitasubramaniam, Muthuramakrishnan. 2017. | |
| 107. | Aurora: Transparent Succinct Arguments for R1CS Ben-Sasson, Eli and Chiesa, Alessandro and Riabzev, Michael and Spooner, Nicholas and Virza, Madars and Ward, Nicholas P. 2018. | |
| 108. | Inclusive block chain protocols Lewenberg, Yoad and Sompolinsky, Yonatan and Zohar, Aviv. 2015. | |
| 109. | Hybrid consensus: Efficient consensus in the permissionless model Pass, Rafael and Shi, Elaine. 2017. | |
| 110. | Under-optimized smart contracts devour your money Chen, Ting and Li, Xiaoqi and Luo, Xiapu and Zhang, Xiaosong. 2017. | |
| 111. | How to use Bitcoin to design fair protocols Bentov, Iddo and Kumaresan, Ranjit. 2014. | |
| 112. | Is bitcoin a decentralized currency? Gervais, Arthur and Karame, Ghassan O and Capkun, Vedran and Capkun, Srdjan. 2014. | |
| 113. | Centrally banked cryptocurrencies Danezis, George and Meiklejohn, Sarah. 2015. | |
| 114. | Smart contracts: security patterns in the ethereum ecosystem and solidity Wohrer, Maximilian and Zdun, Uwe. 2018. | |
| 115. | On the instability of bitcoin without the block reward Carlsten, Miles and Kalodner, Harry and Weinberg, S Matthew and Narayanan, Arvind. 2016. | |
| 116. | Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting Bootle, Jonathan and Cerulli, Andrea and Chaidos, Pyrros and Groth, Jens and Petit, Christophe. 2016. | |
| 117. | Taxonomy of blockchain technologies. Principles of identification and classification Tasca, Paolo and Tessone, Claudio J. 2017. | |
| 118. | Sprites and State Channels: Payment Networks that Go Faster than Lightning Miller, Andrew and Bentov, Iddo and Kumaresan, Ranjit and Cordi, Christopher and McCorry, Patrick. 2018. | |
| 119. | Fruitchains: A fair blockchain Pass, Rafael and Shi, Elaine. 2016. | |
| 120. | Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structured Reference Strings Maller, Mary and Bowe, Sean and Kohlweiss, Markulf and Meiklejohn, Sarah. 2019. | |
| 121. | Privacy-preserving solutions for Blockchain: review and challenges Bernabe, Jorge Bernal and Canovas, Jose L and Hernandez-Ramos, Jose L and Moreno, Rafael Torres and Skarmeta, Antonio. 2019. | |
| 122. | Compact Multi-Signatures for Smaller Blockchains Dan Boneh and Manu Drijvers and Gregory Neven. 2018. | |
| 123. | Madmax: Surviving out-of-gas conditions in ethereum smart contracts Grech, Neville and Kong, Michael and Jurisevic, Anton and Brent, Lexi and Scholz, Bernhard and Smaragdakis, Yannis. 2018. | |
| 124. | Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts Mossberg, Mark and Manzano, Felipe and Hennenfent, Eric and Groce, Alex and Grieco, Gustavo and Feist, Josselin and Brunson, Trent and Dinaburg, Artem. 2019. | |
| 125. | Chainspace: A Sharded Smart Contracts Platform Al-Bassam, Mustafa and Sonnino, Alberto and Bano, Shehar and Hrycyszyn, Dave and Danezis, George. 2017. | |
| 126. | Succinct non-interactive arguments via linear interactive proofs Bitansky, Nir and Chiesa, Alessandro and Ishai, Yuval and Paneth, Omer and Ostrovsky, Rafail. 2013. | |
| 127. | 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. | |
| 128. | Permacoin: Repurposing bitcoin work for data preservation Miller, Andrew and Juels, Ari and Shi, Elaine and Parno, Bryan and Katz, Jonathan. 2014. | |
| 129. | Zether: Towards Privacy in a Smart Contract World. B\"unz, Benedikt and Agrawal, Shashank and Zamani, Mahdi and Boneh, Dan. 2019. | |
| 130. | Zcash protocol specification Hopwood, Daira and Bowe, Sean and Hornby, Taylor and Wilcox, Nathan. 2016. | |
| 131. | Vector commitments and their applications Catalano, Dario and Fiore, Dario. 2013. | |
| 132. | Recursive composition and bootstrapping for SNARKs and proof-carrying data Bitansky, Nir and Canetti, Ran and Chiesa, Alessandro and Tromer, Eran. 2013. | |
| 133. | Arbitrum: scalable, private smart contracts Kalodner, Harry and Goldfeder, Steven and Chen, Xiaoqi and Weinberg, S Matthew and Felten, Edward W. 2018. | |
| 134. | Difficulty control for blockchain-based consensus systems Kraft, Daniel. 2016. | |
| 135. | Scalable Bias-Resistant Distributed Randomness Ewa Syta and Philipp Jovanovic and Eleftherios Kokoris Kogias and Nicolas Gailly and Linus Gasser and Ismail Khoffi and Michael J. Fischer and Bryan Ford. 2016. | |
| 136. | MiMC: Efficient encryption and cryptographic hashing with minimal multiplicative complexity Albrecht, Martin and Grassi, Lorenzo and Rechberger, Christian and Roy, Arnab and Tiessen, Tyge. 2016. | |
| 137. | Osiris: Hunting for integer bugs in ethereum smart contracts Torres, Christof Ferreira and Sch\"utte, Julian and others. 2018. | |
| 138. | Simple schnorr multi-signatures with applications to bitcoin Maxwell, Gregory and Poelstra, Andrew and Seurin, Yannick and Wuille, Pieter. 2018. | |
| 139. | Scalable zero knowledge via cycles of elliptic curves Ben-Sasson, Eli and Chiesa, Alessandro and Tromer, Eran and Virza, Madars. 2017. | |
| 140. | teether: Gnawing at ethereum to automatically exploit smart contracts Krupp, Johannes and Rossow, Christian. 2018. | |
| 141. | A Semantic Framework for the Security Analysis of Ethereum smart contracts Grishchenko, Ilya and Maffei, Matteo and Schneidewind, Clara. 2018. | |
| 142. | The latest gossip on BFT consensus Buchman, Ethan and Kwon, Jae and Milosevic, Zarko. 2018. | |
| 143. | On Bitcoin and red balloons Babaioff, Moshe and Dobzinski, Shahar and Oren, Sigal and Zohar, Aviv. 2011. | |
| 144. | The Algebraic Group Model and its Applications Georg Fuchsbauer and Eike Kiltz and Julian Loss. 2017. | |
| 145. | Doubly-efficient zkSNARKs without trusted setup Riad S. Wahby and Ioanna Tzialla and abhi shelat and Justin Thaler and Michael Walfish. 2017. | |
| 146. | Interactive oracle proofs Ben-Sasson, Eli and Chiesa, Alessandro and Spooner, Nicholas. 2016. | |
| 147. | Defining the ethereum virtual machine for interactive theorem provers Hirai, Yoichi. 2017. | |
| 148. | Efficient verifiable delay functions Wesolowski, Benjamin. 2019. | |
| 149. | Vandal: A scalable security analysis framework for smart contracts Brent, Lexi and Jurisevic, Anton and Kong, Michael and Liu, Eric and Gauthier, Francois and Gramoli, Vincent and Holz, Ralph and Scholz, Bernhard. 2018. | |
| 150. | Spartan: Efficient and general-purpose zkSNARKs without trusted setup Setty, Srinath. 2019. | |
| 151. | TumbleBit: An untrusted Bitcoin-compatible anonymous payment hub Heilman, Ethan and Alshenibr, Leen and Baldimtsi, Foteini and Scafuro, Alessandra and Goldberg, Sharon. 2017. | |
| 152. | Transparent SNARKs from DARK Compilers Benedikt Bünz and Ben Fisch and Alan Szepieniec. 2019. | |
| 153. | Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability Christian Badertscher and Peter Ga\vzi and Aggelos Kiayias and Alexander Russell and Vassilis Zikas. 2018. | |
| 154. | Bolt: Anonymous payment channels for decentralized currencies Green, Matthew and Miers, Ian. 2017. | |
| 155. | Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains Boneh, Dan and B\"unz, Benedikt and Fisch, Benjamin. 2018. | |
| 156. | RingCT 2.0: A Compact Accumulator-Based (Linkable Ring Signature) Protocol for Blockchain Cryptocurrency Monero Sun, Shi-Feng and Au, Man Ho and Liu, Joseph K and Yuen, Tsz Hon. 2017. | |
| 157. | Bitcoin transaction malleability and MtGox Decker, Christian and Wattenhofer, Roger. 2014. | |
| 158. | CryptoNote v 2.0 Saberhagen, Nicolas Van. 2013. | |
| 159. | Concurrency and privacy with payment-channel networks Malavolta, Giulio and Moreno-Sanchez, Pedro and Kate, Aniket and Maffei, Matteo and Ravi, Srivatsan. 2017. | |
| 160. | ZKBoo: Faster Zero-Knowledge for Boolean Circuits. Giacomelli, Irene and Madsen, Jesper and Orlandi, Claudio. 2016. | |
| 161. | Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Rodler, Michael and Li, Wenting and Karame, Ghassan O and Davi, Lucas. 2018. | |
| 162. | Scaling blockchains: A comprehensive survey Hafid, Abdelatif and Hafid, Abdelhakim Senhaji and Samih, Mustapha. 2020. | |
| 163. | SoK: Sharding on Blockchain Gang Wang and Zhijie Jerry Shi and Mark Nixon and Song Han. 2019. | |
| 164. | The Bitcoin Backbone Protocol with Chains of Variable Difficulty Juan A. Garay and Aggelos Kiayias and Nikos Leonardos. 2016. | |
| 165. | Blockchain Access Privacy: Challenges and Directions Henry, Ryan and Herzberg, Amir and Kate, Aniket. 2018. | |
| 166. | Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL Amani, Sidney and B\'egel, Myriam and Bortin, Maksym and Staples, Mark. 2018. | |
| 167. | VerX: Safety Verification of Smart Contracts Permenev, Anton and Dimitrov, Dimitar and Tsankov, Petar and Drachsler-Cohen, Dana and Vechev, Martin. 2019. | |
| 168. | Quantifying Blockchain Extractable Value: How dark is the forest? Kaihua Qin and Liyi Zhou and Arthur Gervais. 2021. | |
| 169. | DFINITY Technology Overview Series, Consensus System Hanke, Timo and Movahedi, Mahnush and Williams, Dominic. 2018. | |
| 170. | Simple verifiable delay functions Pietrzak, Krzysztof Z. 2019. | |
| 171. | Chain interoperability Buterin, Vitalik. 2016. | |
| 172. | SoK: Layer-two blockchain protocols Gudgeon, Lewis and Moreno-Sanchez, Pedro and Roos, Stefanie and McCorry, Patrick and Gervais, Arthur. 2020. | |
| 173. | Primecoin: Cryptocurrency with prime number proof-of-work King, Sunny. 2013. | |
| 174. | Accelerating Bitcoin's Transaction Processing. Fast Money Grows on Trees, Not Chains Sompolinsky, Yonatan and Zohar, A. 2013. | |
| 175. | Designing secure Ethereum smart contracts: A finite state machine based approach Mavridou, Anastasia and Laszka, Aron. 2017. | |
| 176. | Thunderella: Blockchains with Optimistic Instant Confirmation Rafael Pass and Elaine Shi. 2017. | |
| 177. | Threshold-optimal DSA/ECDSA signatures and an application to Bitcoin wallet security Gennaro, Rosario and Goldfeder, Steven and Narayanan, Arvind. 2016. | |
| 178. | Geppetto: Versatile verifiable computation Costello, Craig and Fournet, C\'edric and Howell, Jon and Kohlweiss, Markulf and Kreuter, Benjamin and Naehrig, Michael and Parno, Bryan and Zahur, Samee. 2015. | |
| 179. | Empirical analysis of denial-of-service attacks in the Bitcoin ecosystem Vasek, Marie and Thornton, Micah and Moore, Tyler. 2014. | |
| 180. | Fast multiparty threshold ecdsa with fast trustless setup Gennaro, Rosario and Goldfeder, Steven. 2018. | |
| 181. | Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges Daian, Philip and Goldfeder, Steven and Kell, Tyler and Li, Yunqi and Zhao, Xueyuan and Bentov, Iddo and Breidenbach, Lorenz and Juels, Ari. 2019. | |
| 182. | A Decentralized Public Key Infrastructure with Identity Retention. Fromknecht, Conner and Velicanu, Dragos and Yakoubov, Sophia. 2014. | |
| 183. | Demystifying incentives in the consensus computer Luu, Loi and Teutsch, Jason and Kulkarni, Raghav and Saxena, Prateek. 2015. | |
| 184. | Progression-free sets and sublinear pairing-based non-interactive zero-knowledge arguments Lipmaa, Helger. 2012. | |
| 185. | Revive: Rebalancing Off-Blockchain Payment Networks Rami Khalil and Arthur Gervais. 2017. | |
| 186. | Extended Tower Number Field Sieve: A New Complexity for the Medium Prime Case Taechan Kim and Razvan Barbulescu. 2015. | |
| 187. | SoK: Transparent Dishonesty: front-running attacks on Blockchain Eskandari, Shayan and Moosavi, Seyedehmahsa and Clark, Jeremy. 2019. | |
| 188. | Solana: A new architecture for a high performance blockchain v0. 8.13 Yakovenko, Anatoly. 2018. | |
| 189. | Consensus in the age of blockchains Bano, Shehar and Sonnino, Alberto and Al-Bassam, Mustafa and Azouvi, Sarah and McCorry, Patrick and Meiklejohn, Sarah and Danezis, George. 2017. | |
| 190. | BlockSci: Design and applications of a blockchain analysis platform Kalodner, Harry and M\"oser, Malte and Lee, Kevin and Goldfeder, Steven and Plattner, Martin and Chator, Alishah and Narayanan, Arvind. 2020. | |
| 191. | Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus Danezis, George and Kogias, Eleftherios Kokoris and Sonnino, Alberto and Spiegelman, Alexander. 2021. | |
| 192. | Proof-of-Stake Sidechains. Gazi, Peter and Kiayias, Aggelos and Zindros, Dionysis. 2018. | |
| 193. | SCPKI: A smart contract-based PKI and identity system Al-Bassam, Mustafa. 2017. | |
| 194. | Learning to Fuzz from Symbolic Execution with Application to Smart Contracts He, Jingxuan and Balunovi\'c, Mislav and Ambroladze, Nodar and Tsankov, Petar and Vechev, Martin. 2019. | |
| 195. | On Subversive Miner Strategies and Block Withholding Attack in Bitcoin Digital Currency Courtois, Nicolas T and Bahack, Lear. 2013. | |
| 196. | Scalable Zero Knowledge with No Trusted Setup Ben-Sasson, Eli and Bentov, Iddo and Horesh, Yinon and Riabzev, Michael. 2019. | |
| 197. | One-out-of-many proofs: Or how to leak a secret and spend a coin Groth, Jens and Kohlweiss, Markulf. 2015. | |
| 198. | IKP: Turning a PKI Around with Blockchains Stephanos Matsumoto and Raphael M. Reischuk. 2016. | |
| 199. | Game-theoretic analysis of DDoS attacks against Bitcoin mining pools Johnson, Benjamin and Laszka, Aron and Grossklags, Jens and Vasek, Marie and Moore, Tyler. 2014. | |
| 200. | Prism: Deconstructing the Blockchain to Approach Physical Limits Bagaria, Vivek and Kannan, Sreeram and Tse, David and Fanti, Giulia and Viswanath, Pramod. 2019. | |
| 201. | Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit Qin, Kaihua and Zhou, Liyi and Livshits, Benjamin and Gervais, Arthur. 2020. | |
| 202. | Bitcoin as a Transaction Ledger: A Composable Treatment Christian Badertscher and Ueli Maurer and Daniel Tschudi and Vassilis Zikas. 2017. | |
| 203. | Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation Xie, Tiacheng and Zhang, Jiaheng and Zhang, Yupeng and Papamanthou, Charalampos and Song, Dawn. 2019. | |
| 204. | Snarky Signatures: Minimal Signatures of Knowledge from Simulation-Extractable SNARKs Jens Groth and Mary Maller. 2017. | |
| 205. | The ring of gyges: Investigating the future of criminal smart contracts Juels, Ari and Kosba, Ahmed and Shi, Elaine. 2016. | |
| 206. | Astraea: A decentralized blockchain oracle Adler, John and Berryhill, Ryan and Veneris, Andreas and Poulos, Zissis and Veira, Neil and Kastania, Anastasia. 2018. | |
| 207. | Snow White: Provably Secure Proofs of Stake. Bentov, Iddo and Pass, Rafael and Shi, Elaine. 2016. | |
| 208. | Settling Payments Fast and Private: Efficient Decentralized Routing for Path-Based Transactions Roos, Stefanie and Moreno-Sanchez, Pedro and Kate, Aniket and Goldberg, Ian. 2017. | |
| 209. | High-Speed Software Implementation of the Optimal Ate Pairing over Barreto-Naehrig Curves Jean-Luc Beuchat and Jorge Enrique González Díaz and Shigeo Mitsunari and Eiji Okamoto and Francisco Rodríguez-Henríquez and Tadanori Teruya. 2010. | |
| 210. | Zexe: Enabling decentralized private computation Bowe, S and Chiesa, A and Green, M and Miers, I and Mishra, P and Wu, H. 2018. | |
| 211. | The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts Torres, Christof Ferreira and Steichen, Mathis. 2019. | |
| 212. | SoK: Decentralized Exchanges (DEX) with Automated Market Maker (AMM) protocols Xu, Jiahua and Vavryk, Nazariy and Paruch, Krzysztof and Cousaert, Simon. 2021. | |
| 213. | SpaceMint: A Cryptocurrency Based on Proofs of Space Sunoo Park and Albert Kwon and Georg Fuchsbauer and Peter Gaži and Joël Alwen and Krzysztof Pietrzak. 2015. | |
| 214. | Recursive Proof Composition without aTrusted Setup Bowe, Sean Grigg, Jack Hopwood, Daira. 2019. | |
| 215. | FairSwap: How to fairly exchange digital goods Dziembowski, Stefan and Eckey, Lisa and Faust, Sebastian. 2018. | |
| 216. | XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets Zamyatin, Alexei and Harz, Dominik and Lind, Joshua and Panayiotou, Panayiotis and Gervais, Arthur and Knottenbelt, William. 2019. | |
| 217. | Fractal: Post-Quantum and Transparent Recursive Proofs from Holography Alessandro Chiesa and Dev Ojha and Nicholas Spooner. 2019. | |
| 218. | High-Frequency Trading on Decentralized On-Chain Exchanges Zhou, Liyi and Qin, Kaihua and Torres, Christof Ferreira and Le, Duc V and Gervais, Arthur. 2020. | |
| 219. | Speed-Security Tradeoffs in Blockchain Protocols Kiayias, Aggelos and Panagiotakos, Giorgos. 2015. | |
| 220. | Blindly signed contracts: Anonymous on-blockchain and off-blockchain bitcoin transactions Heilman, Ethan and Baldimtsi, Foteini and Goldberg, Sharon. 2016. | |
| 221. | Online detection of effectively callback free objects with applications to smart contracts Grossman, Shelly and Abraham, Ittai and Golan-Gueta, Guy and Michalevsky, Yan and Rinetzky, Noam and Sagiv, Mooly and Zohar, Yoni. 2017. | |
| 222. | A traceability analysis of monero’s blockchain Kumar, Amrit and Fischer, Cl\'ement and Tople, Shruti and Saxena, Prateek. 2017. | |
| 223. | Improved Price Oracles: Constant Function Market Makers Angeris, Guillermo and Chitra, Tarun. 2020. | |
| 224. | Updatable and Universal Common Reference Strings with Applications to zk-SNARKs Jens Groth and Markulf Kohlweiss and Mary Maller and Sarah Meiklejohn and Ian Miers. 2018. | |
| 225. | Hotstuff: Bft consensus in the lens of blockchain Yin, Maofan and Malkhi, Dahlia and Reiter, Michael K and Gueta, Guy Golan and Abraham, Ittai. 2018. | |
| 226. | Sync hotstuff: Simple and practical synchronous state machine replication Abraham, Ittai and Malkhi, Dahlia and Nayak, Kartik and Ren, Ling and Yin, Maofan. 2020. | |
| 227. | The Sleepy Model of Consensus Pass, Rafael and Shi, Elaine. 2017. | |
| 228. | A survey of tools for analyzing ethereum smart contracts Di Angelo, Monika and Salzer, Gernot. 2019. | |
| 229. | Fast secure multiparty ecdsa with practical distributed key generation and applications to cryptocurrency custody Lindell, Yehuda and Nof, Ariel. 2018. | |
| 230. | zkLedger: Privacy-Preserving Auditing for Distributed Ledgers Neha Narula and Willy Vasquez and Madars Virza. 2018. | |
| 231. | Tesseract: Real-Time Cryptocurrency Exchange using Trusted Hardware. Bentov, Iddo and Ji, Yan and Zhang, Fan and Li, Yunqi and Zhao, Xueyuan and Breidenbach, Lorenz and Daian, Philip and Juels, Ari. 2017. | |
| 232. | Fast secure two-party ECDSA signing Lindell, Yehuda. 2017. | |
| 233. | Low-Resource Eclipse Attacks on Ethereum’s Peer-to-Peer Network Marcus, Yuval and Heilman, Ethan and Goldberg, Sharon. 2018. | |
| 234. | Secure Vickrey auctions without threshold trust Lipmaa, Helger and Asokan, N and Niemi, Valtteri. 2003. | |
| 235. | Efficient RAM and control flow in verifiable outsourced computation. Wahby, Riad S and Setty, Srinath TV and Ren, Zuocheng and Blumberg, Andrew J and Walfish, Michael. 2015. | |
| 236. | Order-Fairness for Byzantine Consensus Mahimna Kelkar and Fan Zhang and Steven Goldfeder and Ari Juels. 2020. | |
| 237. | On Bitcoin as a public randomness source. Bonneau, Joseph and Clark, Jeremy and Goldfeder, Steven. 2015. | |
| 238. | An Empirical Analysis of Anonymity in Zcash Kappos, George and Yousaf, Haaroon and Maller, Mary and Meiklejohn, Sarah. 2018. | |
| 239. | SoK: Communication Across Distributed Ledgers Alexei Zamyatin and Mustafa Al-Bassam and Dionysis Zindros and Eleftherios Kokoris-Kogias and Pedro Moreno-Sanchez and Aggelos Kiayias and William J. Knottenbelt. 2019. | |
| 240. | Incentive Compatibility of Bitcoin Mining Pool Reward Functions Schrijvers, Okke and Bonneau, Joseph and Boneh, Dan and Roughgarden, Tim. 2016. | |
| 241. | Secure sampling of public parameters for succinct zero knowledge proofs Ben-Sasson, Eli and Chiesa, Alessandro and Green, Matthew and Tromer, Eran and Virza, Madars. 2015. | |
| 242. | Deterministic usage of the digital signature algorithm (DSA) and elliptic curve digital signature algorithm (ECDSA) Pornin, Thomas. 2013. | |
| 243. | Why buy when you can rent? bribery attacks on bitcoin consensus Bonneau, Joseph and Felten, Edward W and Goldfeder, Steven and Kroll, Joshua A and Narayanan, Arvind. 2016. | |
| 244. | An analysis of Uniswap markets Angeris, Guillermo and Kao, Hsien-Tang and Chiang, Rei and Noyes, Charlie and Chitra, Tarun. 2019. | |
| 245. | A scalable verification solution for blockchains Teutsch, Jason and Reitwie\ssner, Christian. 2017. | |
| 246. | SoK of Used Cryptography in Blockchain Raikwar, Mayank and Gligoroski, Danilo and Kralevska, Katina. 2019. | |
| 247. | A Survey of Smart Contract Formal Specification and Verification Tolmach, Palina and Li, Yi and Lin, Shang-Wei and Liu, Yang and Li, Zengxiang. 2020. | |
| 248. | Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols Aly, Abdelrahaman and Ashur, Tomer and Ben-Sasson, Eli and Dhooghe, Siemen and Szepieniec, Alan. 2019. | |
| 249. | 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. | |
| 250. | Have a Snack, Pay with Bitcoins Bamert, Tobias and Decker, Christian and Elsen, Lennart and Wattenhofer, Roger and Welten, Samuel. 2013. | |
| 251. | Formal verification of smart contracts based on users and blockchain behaviors models Abdellatif, Tesnim and Brousmiche, Kei-L\'eo. 2018. | |
| 252. | Harvey: A greybox fuzzer for smart contracts W\"ustholz, Valentin and Christakis, Maria. 2019. | |
| 253. | On diophantine complexity and statistical zero-knowledge arguments Lipmaa, Helger. 2003. | |
| 254. | Fair two-party computations via bitcoin deposits Andrychowicz, Marcin and Dziembowski, Stefan and Malinowski, Daniel and Mazurek, Lukasz. 2014. | |
| 255. | LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs Campanelli, Matteo and Fiore, Dario and Querol, Ana\"\is. 2019. | |
| 256. | A protocol for interledger payments Thomas, Stefan and Schwartz, Evan. 2015. | |
| 257. | Scalable Multi-party Computation for zk-SNARK Parameters in the Random Beacon Model Sean Bowe and Ariel Gabizon and Ian Miers. 2017. | |
| 258. | OHIE: Blockchain Scaling Made Simple Yu, Haifeng and Nikolic, Ivica and Hou, Ruomu and Saxena, Prateek. 2018. | |
| 259. | Redactable blockchain in the permissionless setting Deuber, Dominic and Magri, Bernardo and Thyagarajan, Sri Aravinda Krishnan. 2019. | |
| 260. | Zero-Knowledge Contingent Payments Revisited: Attacks and Payments for Services Matteo Campanelli and Rosario Gennaro and Steven Goldfeder and Luca Nizzardo. 2017. | |
| 261. | Bullshark: Dag bft protocols made practical Spiegelman, Alexander and Giridharan, Neil and Sonnino, Alberto and Kokoris-Kogias, Lefteris. 2022. | |
| 262. | Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof Jiaheng Zhang and Tiancheng Xie and Yupeng Zhang and Dawn Song. 2019. | |
| 263. | On power splitting games in distributed computation: The case of bitcoin pooled mining Luu, Loi and Saha, Ratul and Parameshwaran, Inian and Saxena, Prateek and Hobor, Aquinas. 2015. | |
| 264. | SilentWhispers: Enforcing security and privacy in credit networks Malavolta, Giulio and Moreno-Sanchez, Pedro and Kate, Aniket and Maffei, Matteo. 2017. | |
| 265. | Proof-of-Burn Kostis Karantias and Aggelos Kiayias and Dionysis Zindros. 2019. | |
| 266. | Non-interactive proofs of proof-of-work Aggelos Kiayias and Andrew Miller and Dionysis Zindros. 2017. | |
| 267. | SCRAPE: Scalable Randomness Attested by Public Entities Ignacio Cascudo and Bernardo David. 2017. | |
| 268. | A multi-party protocol for constructing the public parameters of the Pinocchio zk-SNARK Bowe, Sean and Gabizon, Ariel and Green, Matthew D. 2018. | |
| 269. | Flare: An approach to routing in lightning network Prihodko, Pavel and Zhigulin, Slava and Sahno, Mykola and Ostrovskiy, Aleksei and Osuntokun, Olaoluwa. 2016. | |
| 270. | IPFS and Friends: A Qualitative Comparison of Next Generation Peer-to-Peer Data Networks Erik Daniel and Florian Tschorsch. 2021. | |
| 271. | Analysis of the XRP ledger consensus protocol Chase, Brad and MacBrough, Ethan. 2018. | |
| 272. | Network layer aspects of permissionless blockchains Neudecker, Till and Hartenstein, Hannes. 2018. | |
| 273. | UC Non-Interactive, Proactive, Threshold ECDSA Ran Canetti and Nikolaos Makriyannis and Udi Peled. 2020. | |
| 274. | UC Non-Interactive, Proactive, Threshold ECDSA with Identifiable Aborts Canetti, Ran and Gennaro, Rosario and Goldfeder, Steven and Makriyannis, Nikolaos and Peled, Udi. 2020. | |
| 275. | Binary quadratic forms Lipa Long. 2019. | |
| 276. | Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains Parizi, Reza M and Dehghantanha, Ali and Choo, Kim-Kwang Raymond and Singh, Amritraj. 2018. | |
| 277. | Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers Sonnino, Alberto and Al-Bassam, Mustafa and Bano, Shehar and Danezis, George. 2018. | |
| 278. | Secure two-party threshold ECDSA from ECDSA assumptions Doerner, Jack and Kondi, Yashvanth and Lee, Eysa and Shelat, Abhi. 2018. | |
| 279. | SMART POOL : Practical Decentralized Pooled Mining Luu, Loi and Velner, Yaron and Teutsch, Jason and Saxena, Prateek. 2017. | |
| 280. | Trends, tips, tolls: A longitudinal study of Bitcoin transaction fees M\"oser, Malte and B\"ohme, Rainer. 2015. | |
| 281. | Threshold ECDSA from ECDSA Assumptions: The Multiparty Case Doerner, Jack and Kondi, Yashvanth and Lee, Eysa and Shelat, Abhi. 2019. | |
| 282. | Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits Chenkai Weng and Kang Yang and Jonathan Katz and Xiao Wang. 2020. | |
| 283. | Mac n Cheese: Zero-Knowledge Proofs for Arithmetic Circuits with Nested Disjunctions Baum, Carsten and Malozemoff, Alex J and Rosen, Marc and Scholl, Peter. 2020. | |
| 284. | A Better Method to Analyze Blockchain Consistency Kiffer, Lucianna and Rajaraman, Rajmohan and others. 2018. | |
| 285. | Theoretical Bitcoin Attacks with less than Half of the Computational Power (draft) Lear Bahack. 2013. | |
| 286. | Combining GHOST and Casper Buterin, Vitalik and Hernandez, Diego and Kamphefner, Thor and Pham, Khiem and Qiao, Zhi and Ryan, Danny and Sin, Juhyeok and Wang, Ying and Zhang, Yan X. 2020. | |
| 287. | Sok: A consensus taxonomy in the blockchain era Garay, Juan and Kiayias, Aggelos. 2018. | |
| 288. | VeriSolid: Correct-by-Design Smart Contracts for Ethereum Mavridou, Anastasia and Laszka, Aron and Stachtiari, Emmanouela and Dubey, Abhishek. 2019. | |
| 289. | DECO: Liberating Web Data Using Decentralized Oracles for TLS Zhang, Fan and Maram, Sai Krishna Deepak and Malvai, Harjasleen and Goldfeder, Steven and Juels, Ari. 2019. | |
| 290. | Algorand Chen, Jing and Micali, Silvio. 2016. | |
| 291. | Ethainter: A smart contract security analyzer for composite vulnerabilities Brent, Lexi and Grech, Neville and Lagouvardos, Sifis and Scholz, Bernhard and Smaragdakis, Yannis. 2020. | |
| 292. | Resolving the conflict between generality and plausibility in verified computation Setty, Srinath and Braun, Benjamin and Vu, Victor and Blumberg, Andrew J and Parno, Bryan and Walfish, Michael. 2013. | |
| 293. | VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts So, Sunbeom and Lee, Myungho and Park, Jisu and Lee, Heejo and Oh, Hakjoo. 2019. | |
| 294. | Nova: Recursive Zero-Knowledge Arguments from Folding Schemes Abhiram Kothapalli and Srinath Setty and Ioanna Tzialla. 2021. | |
| 295. | Proofs of Space: When Space is of the Essence Ateniese, Giuseppe and Bonacina, Ilario and Faonio, Antonio and Galesi, Nicola. 2013. | |
| 296. | Proof-of-Work Sidechains Kiayias, Aggelos and Zindros, Dionysis. 2018. | |
| 297. | SoK: Off The Chain Transactions Gudgeon, Lewis and McCorry, Patrick and Moreno-Sanchez, Pedro and Gervais, Arthur and Roos, Stefanie. 2019. | |
| 298. | The Decentralized Financial Crisis Gudgeon, Lewis and Perez, Daniel and Harz, Dominik and Gervais, Arthur and Livshits, Benjamin. 2020. | |
| 299. | SoK: Decentralized Finance (DeFi) Attacks Liyi Zhou and Xihan Xiong and Jens Ernstberger and Stefanos Chaliasos and Zhipeng Wang and Ye Wang and Kaihua Qin and Roger Wattenhofer and Dawn Song and Arthur Gervais. 2022. | |
| 300. | P2P Mixing and Unlinkable Bitcoin Transactions. Ruffing, Tim and Moreno-Sanchez, Pedro and Kate, Aniket. 2017. | |
| 301. | Red Belly: a secure, fair and scalable open blockchain Crain, Tyler and Natoli, Christopher and Gramoli, Vincent. 2021. | |
| 302. | Stake-Bleeding Attacks on Proof-of-Stake Blockchains Peter Gaži and Aggelos Kiayias and Alexander Russell. 2018. | |
| 303. | Verifiable Delay Functions from Supersingular Isogenies and Pairings Luca De Feo and Simon Masson and Christophe Petit and Antonio Sanso. 2019. | |
| 304. | DIZK: A Distributed Zero-Knowledge Proof System Wu, Howard and Zheng, Wenting and Chiesa, Alessandro and Popa, Raluca Ada and Stoica, Ion. 2018. | |
| 305. | CeFi vs. DeFi--Comparing Centralized to Decentralized Finance Qin, Kaihua and Zhou, Liyi and Afonin, Yaroslav and Lazzaretti, Ludovico and Gervais, Arthur. 2021. | |
| 306. | Non Outsourceable scratch-off puzzles to discourage bitcoin mining coalitions Miller, Andrew and Kosba, Ahmed and Katz, Jonathan and Shi, Elaine. 2015. | |
| 307. | EthIR: A Framework for High-Level Analysis of Ethereum Bytecode Albert, Elvira and Gordillo, Pablo and Livshits, Benjamin and Rubio, Albert and Sergey, Ilya. 2018. | |
| 308. | On Trees, Chains and Fast Transactions in the Blockchain Kiayias, Aggelos and Panagiotakos, Giorgos. 2016. | |
| 309. | Square span programs with applications to succinct NIZK arguments Danezis, George and Fournet, C\'edric and Groth, Jens and Kohlweiss, Markulf. 2014. | |
| 310. | CanDID: Can-Do Decentralized Identity with Legacy Compatibility, Sybil-Resistance, and Accountability Deepak Maram and Harjasleen Malvai and Fan Zhang and Nerla Jean-Louis and Alexander Frolov and Tyler Kell and Tyrone Lobban and Christine Moy and Ari Juels and Andrew Miller. 2020. | |
| 311. | DeFi protocols for loanable funds: Interest rates, liquidity and market efficiency Gudgeon, Lewis and Werner, Sam and Perez, Daniel and Knottenbelt, William J. 2020. | |
| 312. | A concurrent perspective on smart contracts Sergey, Ilya and Hobor, Aquinas. 2017. | |
| 313. | eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts Schneidewind, Clara and Grishchenko, Ilya and Scherer, Markus and Maffei, Matteo. 2020. | |
| 314. | SmartBugs: A Framework to Analyze Solidity Smart Contracts Ferreira, Jo\~ao F and Cruz, Pedro and Durieux, Thomas and Abreu, Rui. 2020. | |
| 315. | Accountable privacy for decentralized anonymous payments Garman, Christina and Green, Matthew and Miers, Ian. 2016. | |
| 316. | Publish or Perish: A Backward-Compatible Defense against Selfish Mining in Bitcoin Zhang, Ren and Preneel, Bart. 2017. | |
| 317. | MuSig2: Simple Two-Round Schnorr Multi-Signatures Jonas Nick and Tim Ruffing and Yannick Seurin. 2020. | |
| 318. | State Machine Replication in the Libra Blockchain Baudet, Mathieu and Ching, Avery and Chursin, Andrey and Danezis, George and Garillot, Fran\ccois and Li, Zekun and Malkhi, Dahlia and Naor, Oded and Perelman, Dmitri and Sonnino, Alberto. 2019. | |
| 319. | HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates Binyi Chen and Benedikt Bünz and Dan Boneh and Zhenfei Zhang. 2022. | |
| 320. | Credible auctions: A trilemma Akbarpour, Mohammad and Li, Shengwu. 2020. | |
| 321. | Streamlet: Textbook Streamlined Blockchains Benjamin Y Chan and Elaine Shi. 2020. | |
| 322. | zkbridge: Trustless cross-chain bridges made practical Xie, Tiancheng and Zhang, Jiaheng and Cheng, Zerui and Zhang, Fan and Zhang, Yupeng and Jia, Yongzheng and Boneh, Dan and Song, Dawn. 2022. | |
| 323. | Pinocchio coin Danezis, George and Fournet, Cedric and Kohlweiss, Markulf and Parno, Bryan. 2013. | |
| 324. | Pisa: Arbitration Outsourcing for State Channels McCorry, Patrick and Bakshi, Surya and Bentov, Iddo and Meiklejohn, Sarah and Miller, Andrew. 2018. | |
| 325. | Flyclient: Super-Light Clients for Cryptocurrencies. B\"unz, Benedikt and Kiffer, Lucianna and Luu, Loi and Zamani, Mahdi. 2019. | |
| 326. | Scalable and Probabilistic Leaderless BFT Consensus through Metastability Rocket, Team and Yin, Maofan and Sekniqi, Kevin and van Renesse, Robbert and Sirer, Emin G\"un. 2019. | |
| 327. | Polyshard: Coded sharding achieves linearly scaling efficiency and security simultaneously Li, Songze and Yu, Mingchao and Avestimehr, Salman and Kannan, Sreeram and Viswanath, Pramod. 2018. | |
| 328. | Communication complexity of byzantine agreement, revisited Abraham, Ittai and Chan, TH and Dolev, Danny and Nayak, Kartik and Pass, Rafael and Ren, Ling and Shi, Elaine. 2018. | |
| 329. | A Stealthier Partitioning Attack against Bitcoin Peer-to-Peer Network Tran, Muoi and Choi, Inho and Moon, Gi Jun and Vu, Anh V and Kang, Min Suk. 2020. | |
| 330. | Hyperservice: Interoperability and programmability across heterogeneous blockchains Liu, Zhuotao and Xiang, Yangxi and Shi, Jian and Gao, Peng and Wang, Haoyu and Xiao, Xusheng and Wen, Bihan and Hu, Yih-Chun. 2019. | |
| 331. | How to use bitcoin to play decentralized poker Kumaresan, Ranjit and Moran, Tal and Bentov, Iddo. 2015. | |
| 332. | SPECTRE: Serialization of Proof-of-work Events: Confirming Transactions via Recursive Elections Sompolinsky, Yonatan and Lewenberg, Yoad and Zohar, Aviv. 2016. | |
| 333. | Setting standards for altering and undoing smart contracts Marino, Bill and Juels, Ari. 2016. | |
| 334. | solc-verify: A Modular Verifier for Solidity Smart Contracts Hajdu, \'Akos and Jovanovi\'c, Dejan. 2019. | |
| 335. | Quisquis: A New Design for Anonymous Cryptocurrencies Fauzi, Prastudy and Meiklejohn, Sarah and Mercer, Rebekah and Orlandi, Claudio. 2018. | |
| 336. | Succinct non-interactive zero knowledge arguments from span programs and linear error-correcting codes Lipmaa, Helger. 2013. | |
| 337. | Traceable Monero: Anonymous Cryptocurrency with Enhanced Accountability Li, Yannan and Yang, Guomin and Susilo, Willy and Yu, Yong and Au, Man Ho and Liu, Dongxi. 2019. | |
| 338. | xJsnark: a framework for efficient verifiable computation Kosba, Ahmed and Papamanthou, Charalampos and Shi, Elaine. 2018. | |
| 339. | Confidential assets Poelstra, Andrew and Back, Adam and Friedenbach, Mark and Maxwell, Gregory and Wuille, Pieter. 2018. | |
| 340. | Erays: Reverse engineering ethereum’s opaque smart contracts Zhou, Yi and Kumar, Deepak and Bakshi, Surya and Mason, Joshua and Miller, Andrew and Bailey, Michael. 2018. | |
| 341. | Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge. Tramer, Florian and Zhang, Fan and Lin, Huang and Hubaux, Jean-Pierre and Juels, Ari and Shi, Elaine. 2016. | |
| 342. | Asynchronous Distributed Key Generation for Computationally-Secure Randomness, Consensus, and Threshold Signatures. Kokoris Kogias, Eleftherios and Malkhi, Dahlia and Spiegelman, Alexander. 2020. | |
| 343. | Publicly Verifiable Proofs of Sequential Work Mahmoody, Mohammad and Moran, Tal and Vadhan, Salil. 2013. | |
| 344. | Interledger: Creating a standard for payments Hope-Bailie, Adrian and Thomas, Stefan. 2016. | |
| 345. | Can a Blockchain Keep a Secret? Benhamouda, Fabrice and Gentry, Craig and Gorbunov, Sergey and Halevi, Shai and Krawczyk, Hugo and Lin, Chengyu and Rabin, Tal and Reyzin, Leonid. 2020. | |
| 346. | Anonymous Byzantine Consensus from Moderately-Hard Puzzles: A Model for Bitcoin Miller, Andrew and Jr, Jj LaViola. 2014. | |
| 347. | Scp: A computationally-scalable byzantine consensus protocol for blockchains Luu, Loi and Narayanan, Viswesh and Baweja, Kunal and Zheng, Chaodong and Gilbert, Seth and Saxena, Prateek. 2015. | |
| 348. | GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts Albert, Elvira and Correas, Jes\'us and Gordillo, Pablo and Rom\'an-D\'\iez, Guillermo and Rubio, Albert. 2019. | |
| 349. | 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. | |
| 350. | Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback Gelashvili, Rati and Kokoris-Kogias, Lefteris and Sonnino, Alberto and Spiegelman, Alexander and Xiang, Zhuolun. 2022. | |
| 351. | Homomorphic time-lock puzzles and applications Malavolta, Giulio and Thyagarajan, Sri Aravinda Krishnan. 2019. | |
| 352. | Validation of decentralised smart contracts through game theory and formal methods Bigi, Giancarlo and Bracciali, Andrea and Meacci, Giovanni and Tuosto, Emilio. 2015. | |
| 353. | Exploiting the laws of order in smart contracts Kolluri, Aashish and Nikolic, Ivica and Sergey, Ilya and Hobor, Aquinas and Saxena, Prateek. 2019. | |
| 354. | FastKitten: Practical Smart Contracts on Bitcoin Das, Poulami and Eckey, Lisa and Frassetto, Tommaso and Gens, David and Host\'akov\'a, Kristina and Jauernig, Patrick and Faust, Sebastian and Sadeghi, Ahmad-Reza. 2019. | |
| 355. | Feistel Structures for MPC, and more Albrecht, Martin R and Grassi, Lorenzo and Perrin, L\'eo and Ramacher, Sebastian and Rechberger, Christian and Rotaru, Dragos and Roy, Arnab and Schofnegger, Markus. 2019. | |
| 356. | A Comprehensive Survey on Smart Contract Construction and Execution: Paradigms, Tools and Systems Hu, Bin and Zhang, Zongyang and Liu, Jianwei and Liu, Yizhong and Yin, Jiayuan and Lu, Rongxing and Lin, Xiaodong. 2020. | |
| 357. | Incentivizing blockchain forks via whale transactions Liao, Kevin and Katz, Jonathan. 2017. | |
| 358. | A formal verification tool for Ethereum VM Bytecode Park, Daejun and Zhang, Yi and Saxena, Manasvi and Daian, Philip and Ro\csu, Grigore. 2018. | |
| 359. | uPort open-source identity management system: An assessment of self-sovereign identity and user-centric data platform built on blockchain Naik, Nitin and Jenkins, Paul. 2020. | |
| 360. | CONFUZZIUS: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts Ferreira Torres, Christof and Iannillo, Antonio Ken and Gervais, Arthur and others. 2021. | |
| 361. | OptChain: Optimal Transactions Placement for Scalable Blockchain Sharding Nguyen, Lan N and Nguyen, TD and Dinh, Thang N and Thai, My T. 2019. | |
| 362. | Everything is a Race and Nakamoto Always Wins Amir Dembo and Sreeram Kannan and Ertem Nusret Tas and David Tse and Pramod Viswanath and Xuechao Wang and Ofer Zeitouni. 2020. | |
| 363. | The Gap Game Tsabary, Itay and Eyal, Ittay. 2018. | |
| 364. | Incentives in Ethereum's Hybrid Casper Protocol Buterin, Vitalik and Reijsbergen, Daniel and Leonardos, Stefanos and Piliouras, Georgios. 2019. | |
| 365. | About Blockchain Interoperability Pascal Lafourcade and Marius Lombard-Platet. 2020. | |
| 366. | Safer smart contract programming with Scilla Sergey, Ilya and Nagaraj, Vaivaswatha and Johannsen, Jacob and Kumar, Amrit and Trunov, Anton and Hao, Ken Chan Guan. 2019. | |
| 367. | Smart contracts for bribing miners McCorry, Patrick and Hicks, Alexander and Meiklejohn, Sarah. 2018. | |
| 368. | 0x: An open protocol for decentralized exchange on the Ethereum blockchain Warren, Will and Bandeali, Amir. 2017. | |
| 369. | BDoS: Blockchain Denial of Service Michael Mirkin and Yan Ji and Jonathan Pang and Ariah Klages-Mundt and Ittay Eyal and Ari Jules. 2019. | |
| 370. | 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. | |
| 371. | Solidus: An Incentive-compatible Cryptocurrency Based on Permissionless Byzantine Consensus Abraham, Ittai and Malkhi, Dahlia and Nayak, Kartik and Ren, Ling and Spiegelman, Alexander. 2016. | |
| 372. | Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts Breidenbach, Lorenz and Cornell Tech, IC and Daian, Philip and Tramer, Florian and Juels, Ari. 2018. | |
| 373. | Lay down the common metrics: Evaluating proof-of-work consensus protocols’ security Zhang, Ren and Preneel, Bart. 2019. | |
| 374. | 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. | |
| 375. | Proof-of-personhood: Redemocratizing permissionless cryptocurrencies Borge, Maria and Kokoris-Kogias, Eleftherios and Jovanovic, Philipp and Gasser, Linus and Gailly, Nicolas and Ford, Bryan. 2017. | |
| 376. | Subversion-zero-knowledge SNARKs Georg Fuchsbauer. 2017. | |
| 377. | TxProbe: Discovering Bitcoin's Network Topology Using Orphan Transactions Delgado-Segura, Sergi and Bakshi, Surya and P\'erez-Sol\`a, Cristina and Litton, James and Pachulski, Andrew and Miller, Andrew and Bhattacharjee, Bobby. 2018. | |
| 378. | Subvector commitments with application to succinct arguments Lai, Russell WF and Malavolta, Giulio. 2019. | |
| 379. | Transaction Fee Mechanism Design Roughgarden, Tim. 2021. | |
| 380. | Scilla: a Smart Contract Intermediate-Level LAnguage Sergey, Ilya and Kumar, Amrit and Hobor, Aquinas. 2018. | |
| 381. | Atomic multi-channel updates with constant collateral in bitcoin-compatible payment-channel networks Egger, Christoph and Moreno-Sanchez, Pedro and Maffei, Matteo. 2019. | |
| 382. | RingCT 3.0 for Blockchain Confidential Transaction: Shorter Size and Stronger Security Tsz Hon Yuen and Shi-feng Sun and Joseph K. Liu and Man Ho Au and Muhammed F. Esgin and Qingzhao Zhang and Dawu Gu. 2019. | |
| 383. | Augur: a decentralized oracle and prediction market platform Peterson, Jack and Krug, Joseph and Zoltu, Micah and Williams, Austin K and Alexander, Stephanie. 2018. | |
| 384. | Formal Barriers to Longest-Chain Proof-of-Stake Protocols Brown-Cohen, Jonah and Narayanan, Arvind and Psomas, Christos-Alexandros and Weinberg, S Matthew. 2018. | |
| 385. | Atomic commitment across blockchains Zakhary, Victor and Agrawal, Divyakant and Abbadi, Amr El. 2019. | |
| 386. | Zendoo: a zk-SNARK Verifiable Cross-Chain Transfer Protocol Enabling Decoupled and Decentralized Sidechains Alberto Garoffolo and Dmytro Kaidalov and Roman Oliynykov. 2020. | |
| 387. | Redesigning Bitcoin’s fee market Lavi, Ron and Sattath, Or and Zohar, Aviv. 2022. | |
| 388. | Provisions: Privacy-preserving Proofs of Solvency for Bitcoin Exchanges Dagher, Gaby G and Bünz, Benedikt and Bonneau, Joseph and Clark, Jeremy and Boneh, Dan. 2015. | |
| 389. | Model-Checking of Smart Contracts Nehai, Zeinab and Piriou, Pierre-Yves and Daumas, Frederic. 2018. | |
| 390. | Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake Kerber, Thomas and Kohlweiss, Markulf and Kiayias, Aggelos and Zikas, Vassilis. 2018. | |
| 391. | A survey on zero knowledge range proofs and applications Morais, Eduardo and Koens, Tommy and van Wijk, Cees and Koren, Aleksei. 2019. | |
| 392. | Dynamic-Committee Proactive Secret Sharing Maram, Sai Krishna Deepak and Zhang, Fan and Wang, Lun and Low, Andrew and Zhang, Yupeng and Juels, Ari and Song, Dawn. 2019. | |
| 393. | CHURP: Dynamic-Committee Proactive Secret Sharing. Maram, Sai Krishna Deepak and Zhang, Fan and Wang, Lun and Low, Andrew and Zhang, Yupeng and Juels, Ari and Song, Dawn. 2019. | |
| 394. | A practical liquidity-sensitive automated market maker Othman, Abraham and Pennock, David M and Reeves, Daniel M and Sandholm, Tuomas. 2013. | |
| 395. | Proofs for Inner Pairing Products and Applications Benedikt Bünz and Mary Maller and Pratyush Mishra and Nirvan Tyagi and Psi Vesely. 2019. | |
| 396. | Simplicity: A new language for blockchains O'Connor, Russell. 2017. | |
| 397. | On Subversion-Resistant SNARKs Behzad Abdolmaleki and Helger Lipmaa and Janno Siim and Michał Zając. 2020. | |
| 398. | Dory: Efficient, Transparent arguments for Generalised Inner Products and Polynomial Commitments Jonathan Lee. 2020. | |
| 399. | Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits Baum, Carsten and Bootle, Jonathan and Cerulli, Andrea and Del Pino, Rafa\"el and Groth, Jens and Lyubashevsky, Vadim. 2018. | |
| 400. | Multi-party virtual state channels Dziembowski, Stefan and Eckey, Lisa and Faust, Sebastian and Hesse, Julia and Host\'akov\'a, Kristina. 2019. | |
| 401. | Towards bitcoin payment networks McCorry, Patrick and M\"oser, Malte and Shahandasti, Siamak F and Hao, Feng. 2016. | |
| 402. | Towards safer smart contracts: A survey of languages and verification methods Harz, Dominik and Knottenbelt, William. 2018. | |
| 403. | On the Malleability of Bitcoin Transactions Marcin Andrychowicz and Stefan Dziembowski and Daniel Malinowski and Lukasz Mazurek. 2015. | |
| 404. | Transaction Fee Mechanism Design for the Ethereum Blockchain: An Economic Analysis of EIP-1559 Roughgarden, Tim. 2020. | |
| 405. | Aggregate Cash Systems: A Cryptographic Investigation of Mimblewimble Fuchsbauer, Georg and Orr\`u, Michele and Seurin, Yannick. 2018. | |
| 406. | When bitcoin mining pools run dry Laszka, Aron and Johnson, Benjamin and Grossklags, Jens. 2015. | |
| 407. | Channels: Horizontal scaling and confidentiality on permissioned blockchains Androulaki, Elli and Cachin, Christian and De Caro, Angelo and Kokoris-Kogias, Eleftherios. 2018. | |
| 408. | Asynchronous data dissemination and its applications Das, Sourav and Xiang, Zhuolun and Ren, Ling. 2021. | |
| 409. | High Parallel Complexity Graphs and Memory-Hard Functions Alwen, Jo\"el and Serbinenko, Vladimir. 2015. | |
| 410. | Micropayments for decentralized currencies Pass, Rafael and Shelat, Abhi. 2015. | |
| 411. | Practical asynchronous distributed key generation Das, Sourav and Yurek, Thomas and Xiang, Zhuolun and Miller, Andrew and Kokoris-Kogias, Lefteris and Ren, Ling. 2022. | |
| 412. | Bandwidth-efficient threshold EC-DSA Guilhem Castagnos and Dario Catalano and Fabien Laguillaumie and Federico Savasta and Ida Tucker. 2020. | |
| 413. | An Empirical Analysis of Linkability in the Monero Blockchain Andrew Miller and Malte M\"oser and Kevin Lee and Arvind Narayanan. 2017. | |
| 414. | Hierarchical deterministic Bitcoin wallets that tolerate key leakage Gutoski, Gus and Stebila, Douglas. 2015. | |
| 415. | Biased Nonce Sense: Lattice Attacks against Weak ECDSA Signatures in Cryptocurrencies Breitner, Joachim and Heninger, Nadia. 2019. | |
| 416. | Pointproofs: Aggregating Proofs for Multiple Vector Commitments Sergey Gorbunov and Leonid Reyzin and Hoeteck Wee and Zhenfei Zhang. 2020. | |
| 417. | plookup: A simplified polynomial protocol for lookup tables Ariel Gabizon and Zachary J. Williamson. 2020. | |
| 418. | EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts Rodler, Michael and Li, Wenting and Karame, Ghassan O and Davi, Lucas. 2020. | |
| 419. | Universal atomic swaps: Secure exchange of coins across all blockchains Thyagarajan, Sri AravindaKrishnan and Malavolta, Giulio and Moreno-Sanchez, Pedro. 2022. | |
| 420. | zkay: Specifying and Enforcing Data Privacy in Smart Contracts Steffen, Samuel and Bichsel, Benjamin and Gersbach, Mario and Melchior, Noa and Tsankov, Petar and Vechev, Martin. 2019. | |
| 421. | SoK: A classification framework for stablecoin designs Moin, Amani and Sekniqi, Kevin and Sirer, Emin Gun. 2020. | |
| 422. | 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. | |
| 423. | Continuous verifiable delay functions Ephraim, Naomi and Freitag, Cody and Komargodski, Ilan and Pass, Rafael. 2019. | |
| 424. | On a Generalization of Substitution-Permutation Networks: The HADES Design Strategy Grassi, Lorenzo and L\"uftenegger, Reinhard and Rechberger, Christian and Rotaru, Dragos and Schofnegger, Markus. 2019. | |
| 425. | Cross-chain Deals and Adversarial Commerce Herlihy, Maurice and Liskov, Barbara and Shrira, Liuba. 2019. | |
| 426. | Blockchain is Watching You: Profiling and Deanonymizing Ethereum Users B\'eres, Ferenc and Seres, Istv\'an Andr\'as and Bencz\'ur, Andr\'as A and Quintyne-Collins, Mikerah. 2020. | |
| 427. | 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. | |
| 428. | Strain: A Secure Auction for Blockchains Erik-Oliver Blass and Florian Kerschbaum. 2017. | |
| 429. | Analysis of Nakamoto Consensus Ling Ren. 2019. | |
| 430. | Implementing Pairings at the 192-bit Security Level Diego F. Aranha and Laura Fuentes-Castañeda and Edward Knapp and Alfred Menezes and Francisco Rodríguez-Henríquez. 2012. | |
| 431. | DispersedLedger:High-Throughput Byzantine Consensus on Variable Bandwidth Networks Yang, Lei and Park, Seo Jin and Alizadeh, Mohammad and Kannan, Sreeram and Tse, David. 2022. | |
| 432. | Non-Interactive Zero-Knowledge Proofs for Composite Statements Shashank Agrawal and Chaya Ganesh and Payman Mohassel. 2018. | |
| 433. | On the Practicality of Smart Contract PKI Patsonakis, Christos and Samari, Katerina and Kiayias, Aggelos and Roussopoulos, Mema. 2019. | |
| 434. | Compounding of Wealth in Proof-of-Stake Cryptocurrencies Fanti, Giulia and Kogan, Leonid and Oh, Sewoong and Ruan, Kathleen and Viswanath, Pramod and Wang, Gerui. 2018. | |
| 435. | 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. | |
| 436. | Simple Proofs of Sequential Work Bram Cohen and Krzysztof Pietrzak. 2018. | |
| 437. | M{\"o}bius: Trustless Tumbling for Transaction Privacy Sarah Meiklejohn and Rebekah Mercer. 2017. | |
| 438. | Bitcoin's security model revisited Sompolinsky, Yonatan and Zohar, Aviv. 2016. | |
| 439. | Off-chaining models and approaches to off-chain computations Eberhardt, Jacob and Heiss, Jonathan. 2018. | |
| 440. | Strong federations: An interoperable blockchain solution to centralized third-party risks Dilley, Johnny and Poelstra, Andrew and Wilkins, Jonathan and Piekarska, Marta and Gorlick, Ben and Friedenbach, Mark. 2016. | |
| 441. | TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake Chepurnoy, Alexander and Duong, Tuyet and Fan, Lei and Zhou, Hong-Sheng. 2017. | |
| 442. | Routing cryptocurrency with the spider network Sivaraman, Vibhaalakshmi and Venkatakrishnan, Shaileshh Bojja and Alizadeh, Mohammad and Fanti, Giulia and Viswanath, Pramod. 2018. | |
| 443. | Aggregatable Subvector Commitments for Stateless Cryptocurrencies Alin Tomescu and Ittai Abraham and Vitalik Buterin and Justin Drake and Dankrad Feist and Dmitry Khovratovich. 2020. | |
| 444. | 2-hop blockchain: Combining proof-of-work and proof-of-stake securely Duong, Tuyet and Fan, Lei and Katz, Jonathan and Thai, Phuc and Zhou, Hong-Sheng. 2020. | |
| 445. | LadderLeak: Breaking ECDSA With Less Than One Bit Of Nonce Leakage Diego F. Aranha and Felipe Rodrigues Novaes and Akira Takahashi and Mehdi Tibouchi and Yuval Yarom. 2020. | |
| 446. | Overview of Polkadot and its Design Considerations Jeff Burdges and Alfonso Cevallos and Peter Czaban and Rob Habermeier and Syed Hosseini and Fabio Lama and Handan Kilinc Alper and Ximin Luo and Fatemeh Shirazi and Alistair Stewart and Gavin Wood. 2020. | |
| 447. | Interledger Approaches Siris, Vasilios A and Nikander, Pekka and Voulgaris, Spyros and Fotiou, Nikos and Lagutin, Dmitrij and Polyzos, George C. 2019. | |
| 448. | Algebraic cryptanalysis of STARK-friendly designs: application to MARVELlous and MiMC Albrecht, Martin R and Cid, Carlos and Grassi, Lorenzo and Khovratovich, Dmitry and L\"uftenegger, Reinhard and Rechberger, Christian and Schofnegger, Markus. 2019. | |
| 449. | One Round Threshold ECDSA with Identifiable Abort Rosario Gennaro and Steven Goldfeder. 2020. | |
| 450. | Towards scalable threshold cryptosystems Tomescu, Alin and Chen, Robert and Zheng, Yiming and Abraham, Ittai and Pinkas, Benny and Gueta, Guy Golan and Devadas, Srinivas. 2020. | |
| 451. | Orion: Zero Knowledge Proof with Linear Prover Time Tiancheng Xie and Yupeng Zhang and Dawn Song. 2022. | |
| 452. | Liar, liar, coins on fire!: Penalizing equivocation by loss of bitcoins Ruffing, Tim and Kate, Aniket and Schr\"oder, Dominique. 2015. | |
| 453. | Automated Market Making and Loss-Versus-Rebalancing Jason Milionis and Ciamac C. Moallemi and Tim Roughgarden and Anthony Lee Zhang. 2023. | |
| 454. | KEVM: A Complete Semantics of the Ethereum Virtual Machine Hildenbrandt, Everett and Saxena, Manasvi and Zhu, Xiaoran and Rodrigues, Nishant and Daian, Philip and Guth, Dwight and Rosu, Grigore. 2017. | |
| 455. | Ligero++: A New Optimized Sublinear IOP Bhadauria, Rishabh and Fang, Zhiyong and Hazay, Carmit and Venkitasubramaniam, Muthuramakrishnan and Xie, Tiancheng and Zhang, Yupeng. 2020. | |
| 456. | DeXTT: Deterministic Cross-Blockchain Token Transfers Borkowski, Michael and Sigwart, Marten and Frauenthaler, Philipp and Hukkinen, Taneli and Schulte, Stefan. 2019. | |
| 457. | Scaling Verifiable Computation Using Efficient Set Accumulators Alex Ozdemir and Riad S. Wahby and Dan Boneh. 2019. | |
| 458. | SquirRL: Automating Attack Discovery on Blockchain Incentive Mechanisms with Deep Reinforcement Learning Hou, Charlie and Zhou, Mingxun and Ji, Yan and Daian, Phil and Tramer, Florian and Fanti, Giulia and Juels, Ari. 2019. | |
| 459. | Rethinking Large-Scale Consensus Rafael Pass and Elaine Shi. 2018. | |
| 460. | EthIKS: Using Ethereum to audit a CONIKS key transparency log Bonneau, Joseph. 2016. | |
| 461. | Two-party ECDSA from hash proof systems and efficient instantiations Castagnos, Guilhem and Catalano, Dario and Laguillaumie, Fabien and Savasta, Federico and Tucker, Ida. 2019. | |
| 462. | SoK: Lending Pools in Decentralized Finance Bartoletti, Massimo and Chiang, James Hsin-yu and Lluch-Lafuente, Alberto. 2020. | |
| 463. | SoK: unraveling Bitcoin smart contracts Nicola Atzei and Massimo Bartoletti and Tiziana Cimoli and Stefano Lande and Roberto Zunino. 2018. | |
| 464. | ALGORAND AGREEMENT: Super Fast and Partition Resilient Byzantine Agreement. Chen, Jing and Gorbunov, Sergey and Micali, Silvio and Vlachos, Georgios. 2018. | |
| 465. | Coda: Decentralized Cryptocurrency at Scale Joseph Bonneau and Izaak Meckler and Vanishree Rao and Evan Shapiro. 2020. | |
| 466. | Coded merkle tree: Solving data availability attacks in blockchains Yu, Mingchao and Sahraei, Saeid and Li, Songze and Avestimehr, Salman and Kannan, Sreeram and Viswanath, Pramod. 2020. | |
| 467. | On the difficulty of hiding the balance of lightning network channels HERRERA-JOANCOMARTI, Jordi and Navarro-Arribas, Guillermo and Ranchal Pedrosa, Alejandro and Cristina, Perez-Sola and Garcia-Alfaro, Joaquin. 2019. | |
| 468. | Erlay: Efficient transaction relay for bitcoin Naumenko, Gleb and Maxwell, Gregory and Wuille, Pieter and Fedorova, Alexandra and Beschastnikh, Ivan. 2019. | |
| 469. | Balloon Hashing: A Memory-Hard Function Providing Provable Protection Against Sequential Attacks Boneh, Dan and Corrigan-Gibbs, Henry and Schechter, Stuart. 2016. | |
| 470. | Escrow protocols for cryptocurrencies: How to buy physical goods using Bitcoin Goldfeder, Steven and Bonneau, Joseph and Gennaro, Rosario and Narayanan, Arvind.. 2017. | |
| 471. | Good-case Latency of Byzantine Broadcast: a Complete Categorization Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2021. | |
| 472. | Good-case Latency of Byzantine Broadcast: A Complete Categorization Ittai Abraham and Kartik Nayak and Ling Ren and Zhuolun Xiang. 2022. | |
| 473. | BitML: a calculus for Bitcoin smart contracts Massimo Bartoletti and Roberto Zunino. 2018. | |
| 474. | Smt-based verification of solidity smart contracts Alt, Leonardo and Reitwiessner, Christian. 2018. | |
| 475. | Bitcoin covenants M\"oser, Malte and Eyal, Ittay and Sirer, Emin G\"un. 2016. | |
| 476. | Tracing Transactions Across Cryptocurrency Ledgers Yousaf, Haaroon and Kappos, George and Meiklejohn, Sarah. 2018. | |
| 477. | SABRE: Protecting Bitcoin against Routing Attacks Apostolaki, Maria and Marti, Gian and M\"uller, Jan and Vanbever, Laurent. 2018. | |
| 478. | Mechanising Blockchain Consensus P\^\irlea, George and Sergey, Ilya. 2018. | |
| 479. | Foundations of Transaction Fee Mechanism Design Hao Chung and Elaine Shi. 2022. | |
| 480. | Liquidations: DeFi on a Knife-edge Perez, Daniel and Werner, Sam M and Xu, Jiahua and Livshits, Benjamin. 2021. | |
| 481. | Analyzing Ethereum's Contract Topology Kiffer, Lucianna and Levin, Dave and Mislove, Alan. 2018. | |
| 482. | PaLa: A Simple Partially Synchronous Blockchain Chan, TH Hubert and Pass, Rafael and Shi, Elaine. 2018. | |
| 483. | An Empirical Analysis of Privacy in the Lightning Network Kappos, George and Yousaf, Haaroon and Piotrowska, Ania and Kanjalkar, Sanket and Delgado-Segura, Sergi and Miller, Andrew and Meiklejohn, Sarah. 2020. | |
| 484. | Delay Encryption Jeffrey Burdges and Luca De Feo. 2020. | |
| 485. | Listening to whispers of ripple: Linking wallets and deanonymizing transactions in the ripple network Moreno-Sanchez, Pedro and Zafar, Muhammad Bilal and Kate, Aniket. 2016. | |
| 486. | Fast and simple constant-time hashing to the BLS12-381 elliptic curve Wahby, Riad S and Boneh, Dan. 2019. | |
| 487. | Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution. Bootle, Jonathan and Cerulli, Andrea and Groth, Jens and Jakobsen, Sune K and Maller, Mary. 2018. | |
| 488. | Distributed key generation in the wild Kate, Aniket and Huang, Yizhou and Goldberg, Ian. 2012. | |
| 489. | MuSig-DN: Schnorr Multi-Signatures with Verifiably Deterministic Nonces Jonas Nick and Tim Ruffing and Yannick Seurin and Pieter Wuille. 2020. | |
| 490. | Hot-stuff the linear, optimal-resilience, one-message BFT devil Abraham, Ittai and Gueta, Guy and Malkhi, Dahlia. 2018. | |
| 491. | 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. | |
| 492. | Succinct Arguments in the Quantum Random Oracle Model Alessandro Chiesa and Peter Manohar and Nicholas Spooner. 2019. | |
| 493. | Broken Metre: Attacking Resource Metering in EVM Daniel Perez and Benjamin Livshits. 2019. | |
| 494. | StableSwap-efficient mechanism for Stablecoin liquidity Egorov, Michael. 2019. | |
| 495. | Obscuro: A Bitcoin Mixer using Trusted Execution Environments Muoi Tran and Loi Luu and Min Suk Kang and Iddo Bentov and Prateek Saxena. 2017. | |
| 496. | Securing Bitcoin wallets via a new DSA/ECDSA threshold signature scheme Goldfeder, Steven and Gennaro, Rosario and Kalodner, Harry and Bonneau, Joseph and Kroll, Joshua A and Felten, Edward W and Narayanan, Arvind. 2015. | |
| 497. | Lunar: a Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions Matteo Campanelli and Antonio Faonio and Dario Fiore and Anaïs Querol and Hadrián Rodríguez. 2020. | |
| 498. | Findel: Secure derivative contracts for Ethereum Biryukov, Alex and Khovratovich, Dmitry and Tikhomirov, Sergei. 2017. | |
| 499. | Linear-time zero-knowledge SNARKs for R1CS Jonathan Lee and Srinath Setty and Justin Thaler and Riad Wahby. 2021. | |
| 500. | Proofs of Work from Worst-Case Assumptions Marshall Ball and Alon Rosen and Manuel Sabin and Prashant Nalini Vasudevan. 2018. | |
| 501. | MARVELlous: a STARK-Friendly Family of Cryptographic Primitives Tomer Ashur and Siemen Dhooghe. 2018. | |
| 502. | Pixel: Multi-signatures for Consensus Manu Drijvers and Sergey Gorbunov and Gregory Neven and Hoeteck Wee. 2019. | |
| 503. | Tight Consistency Bounds for Bitcoin Peter Gaži and Aggelos Kiayias and Alexander Russell. 2020. | |
| 504. | On the Security of Time-Locked Puzzles and Timed Commitments Jonathan Katz and Julian Loss and Jiayu Xu. 2020. | |
| 505. | 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. | |
| 506. | Kadcast: A Structured Approach to Broadcast in Blockchain Networks Rohrer, Elias and Tschorsch, Florian. 2019. | |
| 507. | Lattice-based SNARGs and their application to more efficient obfuscation Boneh, Dan and Ishai, Yuval and Sahai, Amit and Wu, David J. 2017. | |
| 508. | Non-Interactive Zero-Knowledge for Blockchain: A Survey Partala, Juha and Nguyen, Tri Hong and Pirttikangas, Susanna. 2020. | |
| 509. | Instantaneous Decentralized Poker Iddo Bentov and Ranjit Kumaresan and Andrew Miller. 2017. | |
| 510. | C$\emptyset$C$\emptyset$: A Framework for Building Composable Zero-Knowledge Proofs Ahmed Kosba and Zhichao Zhao and Andrew Miller and Yi Qian and Hubert Chan and Charalampos Papamanthou and Rafael Pass and abhi shelat and Elaine Shi. 2015. | |
| 511. | Parallel Chains: Improving Throughput and Latency of Blockchain Protocols via Parallel Composition Fitzi, Matthias and Gazi, Peter and Kiayias, Aggelos and Russell, Alexander. 2018. | |
| 512. | Out of Oddity -- New Cryptanalytic Techniques against Symmetric Primitives Optimized for Integrity Proof Systems Tim Beyne and Anne Canteaut and Itai Dinur and Maria Eichlseder and Gregor Leander and Gaëtan Leurent and María Naya-Plasencia and Léo Perrin and Yu Sasaki and Yosuke Todo and Friedrich Wiemer. 2020. | |
| 513. | Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular Benarroch, Daniel and Campanelli, Matteo and Fiore, Dario and Gurkan, Kobi and Kolonelos, Dimitris. 2020. | |
| 514. | Towards a Functional Fee Market for Cryptocurrencies Soumya Basu and David Easley and Maureen O'Hara and Emin Gün Sirer. 2019. | |
| 515. | Privacy preserving payments in credit networks Moreno-Sanchez, Pedro and Kate, Aniket and Maffei, Matteo and Pecina, Kim. 2015. | |
| 516. | EDRAX: A Cryptocurrency with Stateless Transaction Validation Chepurnoy, Alexander and Papamanthou, Charalampos and Zhang, Yupeng. 2018. | |
| 517. | SoK: Preventing Transaction Reordering Manipulations in Decentralized Finance Heimbach, Lioba and Wattenhofer, Roger. 2022. | |
| 518. | PERUN: Virtual Payment Channels over Cryptographic Currencies Stefan Dziembowski and Lisa Eckey and Sebastian Faust and Daniel Malinowski. 2017. | |
| 519. | Revisiting Difficulty Control for Blockchain Systems Meshkov, Dmitry and Chepurnoy, Alexander and Jansen, Marc. 2017. | |
| 520. | eltoo: A simple layer2 protocol for bitcoin Decker, Christian and Russell, Rusty and Osuntokun, Olaoluwa. 2018. | |
| 521. | Socially Optimal Mining Pools Ben A. Fisch and Rafael Pass and Abhi Shelat. 2017. | |
| 522. | Proof-of-Stake Protocols for Privacy-Aware Blockchains Ganesh, Chaya and Orlandi, Claudio and Tschudi, Daniel. 2018. | |
| 523. | Privacy-preserving auditable token payments in a permissioned blockchain system Elli Androulaki and Jan Camenisch and Angelo De Caro and Maria Dubovitskaya and Kaoutar Elkhiyaoui and Bjoern Tackmann. 2019. | |
| 524. | Power Adjusting and Bribery Racing: Novel Mining Attacks in the Bitcoin System Gao, Shang and Li, Zecheng and Peng, Zhe and Xiao, Bin. 2019. | |
| 525. | Polygraph: Accountable Byzantine Agreement Civit, Pierre and Gilbert, Seth and Gramoli, Vincent. 2019. | |
| 526. | Privacy-preserving auditable token payments in a permissioned blockchain system Androulaki, Elli and Camenisch, Jan and Caro, Angelo De and Dubovitskaya, Maria and Elkhiyaoui, Kaoutar and Tackmann, Bj\"orn. 2020. | |
| 527. | ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs Steffen, Samuel and Bichsel, Benjamin and Baumgartner, Roger and Vechev, Martin. 2022. | |
| 528. | When cryptocurrencies mine their own business Teutsch, Jason and Jain, Sanjay and Saxena, Prateek. 2016. | |
| 529. | Lattice-Based zk-SNARKs from Square Span Programs Gennaro, Rosario and Minelli, Michele and Nitulescu, Anca and Orr\`u, Michele. 2018. | |
| 530. | Ethereum smart contracts: Security vulnerabilities and security tools Dika, Ardit. 2017. | |
| 531. | OptiSwap: Fast Optimistic Fair Exchange Lisa Eckey and Sebastian Faust and Benjamin Schlosser. 2019. | |
| 532. | Transparency Logs via Append-Only Authenticated Dictionaries Tomescu, Alin and Bhupatiraju, Vivek and Papadopoulos, Dimitrios and Papamanthou, Charalampos and Triandopoulos, Nikos and Devadas, Srinivas. 2019. | |
| 533. | P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange Carsten Baum and Bernardo David and Tore Frederiksen. 2021. | |
| 534. | Albatross: publicly attestable batched randomness based on secret sharing Cascudo, Ignacio and David, Bernardo. 2020. | |
| 535. | Certified Bitcoins Ateniese, Giuseppe and Faonio, Antonio and Magri, Bernardo and de Medeiros, Breno. 2014. | |
| 536. | Omniring: Scaling Up Private Payments Without Trusted Setup Lai, Russell WF and Ronge, Viktoria and Ruffing, Tim and Schr\"oder, Dominique and Thyagarajan, Sri Aravinda Krishnan and Wang, Jiafan. 2019. | |
| 537. | Smart contracts make bitcoin mining pools vulnerable Velner, Yaron and Teutsch, Jason and Luu, Loi. 2017. | |
| 538. | Fast Threshold ECDSA with Honest Majority Ivan Damgård and Thomas Pelle Jakobsen and Jesper Buus Nielsen and Jakob Illeborg Pagter and Michael Bæksvang Østergård. 2020. | |
| 539. | Committing to quantum resistance: A slow defence for Bitcoin against a fast quantum computing attack Stewart, Iain and Ilie, D and Zamyatin, Alexei and Werner, Sam and Torshizi, MF and Knottenbelt, William J. 2018. | |
| 540. | The Provable Security of Ed25519: Theory and Practice Brendel, Jacqueline and Cremers, Cas and Jackson, Dennis and Zhao, Mang. 2020. | |
| 541. | 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. | |
| 542. | Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies Joachim Zahnentferner. 2018. | |
| 543. | Reward Sharing Schemes for Stake Pools Br\"unjes, Lars and Kiayias, Aggelos and Koutsoupias, Elias and Stouka, Aikaterini-Panagiota. 2018. | |
| 544. | Partitioning Attacks on Bitcoin: Colliding Space, Time and Logic Saad, Muhammad and Cook, Victor and Nguyen, Lan and Thai, My T and Mohaisen, Aziz. 2019. | |
| 545. | A non-PCP Approach to Succinct Quantum-Safe Zero-Knowledge Jonathan Bootle and Vadim Lyubashevsky and Ngoc Khanh Nguyen and Gregor Seiler. 2020. | |
| 546. | Maximal Extractable Value (MEV) Protection on a DAG Malkhi, Dahlia and Szalachowski, Pawel. 2022. | |
| 547. | Cuckoo Cycle: a memory bound graph-theoretic proof-of-work Tromp, John. 2015. | |
| 548. | Raziel: private and verifiable smart contracts on blockchains S\'anchez, David Cerezo. 2018. | |
| 549. | Replay Attacks and Defenses against Cross-shard Consensus in Sharded Distributed Ledgers Sonnino, Alberto and Bano, Shehar and Al-Bassam, Mustafa and Danezis, George. 2019. | |
| 550. | Synchronous, with a Chance of Partition Tolerance. Guo, Yue and Pass, Rafael and Shi, Elaine. 2019. | |
| 551. | On the optionality and fairness of Atomic Swaps Han, Runchao and Lin, Haoyu and Yu, Jiangshan. 2019. | |
| 552. | One-shot Signatures and Applications to Hybrid Quantum/Classical Authentication Amos, Ryan and Georgiou, Marios and Kiayias, Aggelos and Zhandry, Mark. 2020. | |
| 553. | Bitcoin-Compatible Virtual Channels Lukas Aumayr and Oguzhan Ersoy and Andreas Erwig and Sebastian Faust and Kristina Hostáková and Matteo Maffei and Pedro Moreno-Sanchez and Siavash Riahi. 2020. | |
| 554. | Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts Kushal Babel and Philip Daian and Mahimna Kelkar and Ari Juels. 2021. | |
| 555. | A flash(bot) in the pan Ben Weintraub and Christof Ferreira Torres and Cristina Nita-Rotaru and Radu State. 2022. | |
| 556. | On The Longest Chain Rule and Programmed Self-Destruction of Crypto Currencies Courtois, Nicolas T. 2014. | |
| 557. | ZombieCoin: powering next-generation botnets with bitcoin Ali, Syed Taha and McCorry, Patrick and Lee, Peter Hyun-Jeen and Hao, Feng. 2015. | |
| 558. | How did dread pirate roberts acquire and protect his bitcoin wealth? Ron, Dorit and Shamir, Adi. 2014. | |
| 559. | Minerva: The curse of ECDSA nonces Jan Jancar and Vladimir Sedlacek and Petr Svenda and Marek Sys. 2020. | |
| 560. | Cyclic Arbitrage in Decentralized Exchanges Wang, Ye and Chen, Yan and Wu, Haotian and Zhou, Liyi and Deng, Shuiguang and Wattenhofer, Roger. 2022. | |
| 561. | Non-interactive distributed key generation and key resharing Jens Groth. 2021. | |
| 562. | Bitmessage: A Peer-to-Peer Message Authentication and Delivery System Warren, Jonathan. 2012. | |
| 563. | SoK: A Taxonomy for Layer-2 Scalability Related Protocols for Cryptocurrencies Maxim Jourenko and Kanta Kurazumi and Mario Larangeira and Keisuke Tanaka. 2019. | |
| 564. | Fluid MPC: Secure Multiparty Computation with Dynamic Participants Arka Rai Choudhuri and Aarushi Goel and Matthew Green and Abhishek Jain and Gabriel Kaptchuk. 2020. | |
| 565. | RandPiper--Reconfiguration-Friendly Random Beacons with Quadratic Communication Bhat, Adithya and Shrestha, Nibesh and Kate, Aniket and Nayak, Kartik. 2020. | |
| 566. | Verifiable Timed Signatures Made Practical Thyagarajan, Sri Aravinda Krishnan and Bhat, Adithya and Malavolta, Giulio and D\"ottling, Nico and Kate, Aniket and Schr\"oder, Dominique. 2020. | |
| 567. | Practical Non-interactive Publicly Verifiable Secret Sharing with Thousands of Parties Craig Gentry and Shai Halevi and Vadim Lyubashevsky. 2021. | |
| 568. | Increasing anonymity in bitcoin Saxena, Amitabh and Misra, Janardan and Dhar, Aritra. 2014. | |
| 569. | Using level-1 homomorphic encryption to improve threshold dsa signatures for bitcoin wallet security Boneh, Dan and Gennaro, Rosario and Goldfeder, Steven. 2017. | |
| 570. | Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons David Galindo and Jia Liu and Mihai Ordean and Jin-Mann Wong. 2020. | |
| 571. | Storing and Retrieving Secrets on a Blockchain Vipul Goyal and Abhiram Kothapalli and Elisaweta Masserova and Bryan Parno and Yifan Song. 2020. | |
| 572. | Order-Fair Consensus in the Permissionless Setting Mahimna Kelkar and Soubhik Deb and Sreeram Kannan. 2021. | |
| 573. | Cairo – a Turing-complete STARK-friendly CPU architecture Lior Goldberg and Shahar Papini and Michael Riabzev. 2021. | |
| 574. | Order-fair consensus in the permissionless setting Kelkar, Mahimna and Deb, Soubhik and Kannan, Sreeram. 2022. | |
| 575. | A user-centric system for verified identities on the bitcoin blockchain Augot, Daniel and Chabanne, Herv\'e and Chenevier, Thomas and George, William and Lambert, Laurent. 2017. | |
| 576. | SoK: Yield Aggregators in DeFi Cousaert, Simon and Xu, Jiahua and Matsui, Toshiko. 2021. | |
| 577. | SPURT: Scalable Distributed Randomness Beacon with Transparent Setup Sourav Das and Vinith Krishnan and Irene Miriam Isaac and Ling Ren. 2021. | |
| 578. | FastPay: High-Performance Byzantine Fault Tolerant Settlement Baudet, Mathieu and Danezis, George and Sonnino, Alberto. 2020. | |
| 579. | Graphene: A new protocol for block propagation using set reconciliation Ozisik, A Pinar and Andresen, Gavin and Bissias, George and Houmansadr, Amir and Levine, Brian. 2017. | |
| 580. | Another look at extraction and randomization of Groth’s zk-SNARK Baghery, Karim and Kohlweiss, Markulf and Siim, Janno and Volkhov, Mikhail. 2020. | |
| 581. | A2MM: Mitigating Frontrunning, Transaction Reordering and Consensus Instability in Decentralized Exchanges Zhou, Liyi and Qin, Kaihua and Gervais, Arthur. 2021. | |
| 582. | StrongChain: Transparent and Collaborative Proof-of-Work Consensus Szalachowski, Pawel and Reijsbergen, Dani\"el and Homoliak, Ivan and Sun, Siwei. 2019. | |
| 583. | Vault: Fast Bootstrapping for the Algorand Cryptocurrency. Leung, Derek and Suhl, Adam and Gilad, Yossi and Zeldovich, Nickolai. 2019. | |
| 584. | Anonymous alone? measuring Bitcoin’s second-generation anonymization techniques M\"oser, Malte and B\"ohme, Rainer. 2017. | |
| 585. | Cerberus Channels: Incentivizing Watchtowers for Bitcoin Georgia Avarikioti and Orfeas Stefanos Thyfronitis Litos and Roger Wattenhofer. 2019. | |
| 586. | Remote Side-Channel Attacks on Anonymous Transactions Florian Tramèr and Dan Boneh and Kenneth G. Paterson. 2020. | |
| 587. | Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities Kaleem, Mudabbir and Laszka, Aron. 2020. | |
| 588. | Quarks: Quadruple-efficient transparent zkSNARKs Srinath Setty and Jonathan Lee. 2020. | |
| 589. | Aggregatable Distributed Key Generation Kobi Gurkan and Philipp Jovanovic and Mary Maller and Sarah Meiklejohn and Gilad Stern and Alin Tomescu. 2021. | |
| 590. | Single secret leader election Boneh, Dan and Eskandarian, Saba and Hanzlik, Lucjan and Greco, Nicola. 2020. | |
| 591. | Succinct NP proofs from an extractability assumption Di Crescenzo, Giovanni and Lipmaa, Helger. 2008. | |
| 592. | Caulk: Lookup Arguments in Sublinear Time Arantxa Zapico and Vitalik Buterin and Dmitry Khovratovich and Mary Maller and Anca Nitulescu and Mark Simkin. 2022. | |
| 593. | Decentralized anonymous micropayments Chiesa, Alessandro and Green, Matthew and Liu, Jingcheng and Miao, Peihan and Miers, Ian and Mishra, Pratyush. 2017. | |
| 594. | Porosity: A decompiler for blockchain-based smart contracts bytecode Suiche, Matt. 2017. | |
| 595. | Decaf: Eliminating cofactors through point compression Hamburg, Mike. 2015. | |
| 596. | Linear-Time Arguments with Sublinear Verification from Tensor Codes Bootle, Jonathan and Chiesa, Alessandro and Groth, Jens. 2020. | |
| 597. | SmartPulse: Automated Checking of Temporal Properties in Smart Contracts Stephens, Jon and Ferles, Kostas and Mariano, Benjamin and Lahiri, Shuvendu and Dillig, Isil. 2021. | |
| 598. | Behavior of liquidity providers in decentralized exchanges Heimbach, Lioba and Wang, Ye and Wattenhofer, Roger. 2021. | |
| 599. | Zero-Collateral Lotteries in Bitcoin and Ethereum Miller, Andrew and Bentov, Iddo. 2016. | |
| 600. | Short paper: Service-oriented sharding for blockchains Gencer, Adem Efe and van Renesse, Robbert and Sirer, Emin G\"un. 2017. | |
| 601. | Proof-Carrying Data from Accumulation Schemes Benedikt Bünz and Alessandro Chiesa and Pratyush Mishra and Nicholas Spooner. 2020. | |
| 602. | Tight proofs of space and replication Fisch, Ben. 2018. | |
| 603. | Temporary censorship attacks in the presence of rational miners Winzer, Fredrik and Herd, Benjamin and Faust, Sebastian. 2019. | |
| 604. | EtherTrust: Sound static analysis of ethereum bytecode Grishchenko, Ilya and Maffei, Matteo and Schneidewind, Clara. 2018. | |
| 605. | An Algebraic Attack on Ciphers with Low-Degree Round Functions: Application to Full MiMC Maria Eichlseder and Lorenzo Grassi and Reinhard Lüftenegger and Morten Øygarden and Christian Rechberger and Markus Schofnegger and Qingju Wang. 2020. | |
| 606. | Two-round trip Schnorr multi-signatures via delinearized witnesses Handan Kilinc Alper and Jeffrey Burdges. 2020. | |
| 607. | Improving Authenticated Dynamic Dictionaries, with Applications to Cryptocurrencies Reyzin, Leonid and Meshkov, Dmitry and Chepurnoy, Alexander and Ivanov, Sasha. 2016. | |
| 608. | Monitoring smart contracts: Contractlarva and open challenges beyond Azzopardi, Shaun and Ellul, Joshua and Pace, Gordon J. 2018. | |
| 609. | Liquidity Provision by Automated Market Makers Jun Aoyagi. 2020. | |
| 610. | Rinocchio: SNARKs for Ring Arithmetic Chaya Ganesh and Anca Nitulescu and Eduardo Soria-Vazquez. 2021. | |
| 611. | 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. | |
| 612. | 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. | |
| 613. | Uniswap: Impermanent loss and risk profile of a liquidity provider Aigner, Andreas A and Dhaliwal, Gurvinder. 2021. | |
| 614. | Experimenting with Collaborative $\{$zk-SNARKs$\}$:$\{$Zero-Knowledge$\}$ Proofs for Distributed Secrets Ozdemir, Alex and Boneh, Dan. 2022. | |
| 615. | GossipSub: Attack-Resilient Message Propagation in the Filecoin and ETH2.0 Networks Dimitris Vyzovitis and Yusef Napora and Dirk McCormick and David Dias and Yiannis Psaras. 2020. | |
| 616. | Bottlenecks in blockchain consensus protocols Alqahtani, Salem and Demirbas, Murat. 2021. | |
| 617. | Introduction to the Tezos Blockchain Allombert, Victor and Bourgoin, Mathias and Tesson, Julien. 2019. | |
| 618. | Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time Jiaheng Zhang and Weijie Wang and Yinuo Zhang and Yupeng Zhang. 2020. | |
| 619. | Blitz: Secure Multi-Hop Payments Without Two-Phase Commits Lukas Aumayr and Pedro Moreno-Sanchez and Aniket Kate and Matteo Maffei. 2021. | |
| 620. | Precise Attack Synthesis for Smart Contracts Feng, Yu and Torlak, Emina and Bodik, Rastislav. 2019. | |
| 621. | Domain Specific Language for Smart Contract Development W\"ohrer, Maximilian and Zdun, Uwe. 2020. | |
| 622. | Post-Quantum Succinct Arguments Chiesa, Alessandro and Ma, Fermi and Spooner, Nicholas and Zhandry, Mark. 2021. | |
| 623. | Unlocking the lookup singularity with Lasso Srinath Setty and Justin Thaler and Riad Wahby. 2023. | |
| 624. | Economic implications of scaling blockchains: Why the consensus protocol matters John, Kose and Rivera, Thomas J and Saleh, Fahad. 2020. | |
| 625. | BeatCoin: Leaking Private Keys from Air-Gapped Cryptocurrency Wallets Guri, Mordechai. 2018. | |
| 626. | Simple Proofs of Space-Time and Rational Proofs of Storage Moran, Tal and Orlov, Ilan. 2019. | |
| 627. | Cascading Machine Learning to Attack Bitcoin Anonymity Zola, Francesco and Eguimendia, Maria and Bruse, Jan Lukas and Urrutia, Raul Orduna. 2019. | |
| 628. | Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage Campanelli, Matteo and Fiore, Dario and Greco, Nicola and Kolonelos, Dimitris and Nizzardo, Luca. 2020. | |
| 629. | SoK: Oracles from the Ground Truth to Market Manipulation Eskandari, Shayan and Salehi, Mehdi and Gu, Wanyun Catherine and Clark, Jeremy. 2021. | |
| 630. | Demystifying Exploitable Bugs in Smart Contracts Zhang, Zhuo and Zhang, Brian and Xu, Wen and Lin, Zhiqiang. 2023. | |
| 631. | Under the hood of the ethereum gossip protocol Kiffer, Lucianna and Salman, Asad and Levin, Dave and Mislove, Alan and Nita-Rotaru, Cristina. 2021. | |
| 632. | Ethereum Query Language Bragagnolo, Santiago and Rocha, Henrique and Denker, Marcus and Ducasse, St\'ephane. 2018. | |
| 633. | A Formal Treatment of Deterministic Wallets Das, Poulami and Faust, Sebastian and Loss, Julian. 2019. | |
| 634. | Randrunner: Distributed randomness from trapdoor vdfs with strong uniqueness Schindler, Philipp and Judmayer, Aljosha and Hittmeir, Markus and Stifter, Nicholas and Weippl, Edgar. 2021. | |
| 635. | Deconstructing the Blockchain to Approach Physical Limits Bagaria, Vivek and Kannan, Sreeram and Tse, David and Fanti, Giulia and Viswanath, Pramod. 2018. | |
| 636. | MixEth: efficient, trustless coin mixing service for Ethereum Istv\'an Andr'\as Seres and D ́aniel A. Nagy and Chris Buckland, and \'Peter Burcsi. 2019. | |
| 637. | Modeling bitcoin contracts by timed automata Andrychowicz, Marcin and Dziembowski, Stefan and Malinowski, Daniel and Mazurek, \Lukasz. 2014. | |
| 638. | The Chia Network Blockchain Cohen, Bram and Pietrzak, Krzysztof. 2019. | |
| 639. | ConCert: A Smart Contract Certification Framework in Coq Annenkov, Danil and Nielsen, Jakob Botsch and Spitters, Bas. 2020. | |
| 640. | GRANDPA: a Byzantine finality gadget Stewart, Alistair and Kokoris-Kogia, Eleftherios. 2020. | |
| 641. | ConCert: a smart contract certification framework in Coq Annenkov, Danil and Nielsen, Jakob Botsch and Spitters, Bas. 2020. | |
| 642. | A non-interactive range proof with constant communication Chaabouni, Rafik and Lipmaa, Helger and Zhang, Bingsheng. 2012. | |
| 643. | Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS Golovnev, Alexander and Lee, Jonathan and Setty, Srinath and Thaler, Justin and Wahby, Riad S. 2023. | |
| 644. | A Composable Security Treatment of the Lightning Network Aggelos Kiayias and Orfeas Stefanos Thyfronitis Litos. 2019. | |
| 645. | LockDown: Balance Availability Attack against Lightning Network Channels Cristina Pérez-Solà and Alejandro Ranchal-Pedrosa and Jordi Herrera-Joancomartí and Guillermo Navarro-Arribas and Joaquin Garcia-Alfaro. 2019. | |
| 646. | 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. | |
| 647. | Fraud Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities Al-Bassam, Mustafa and Sonnino, Alberto and Buterin, Vitalik. 2018. | |
| 648. | Counterfactual: Generalized state channels Coleman, Jeff and Horne, Liam and Xuanji, Li. 2018. | |
| 649. | Marlowe: Financial contracts on blockchain Seijas, Pablo Lamela and Thompson, Simon. 2018. | |
| 650. | Privacy Aspects and Subliminal Channels in Zcash Biryukov, Alex and Feher, Daniel and Vitto, Giuseppe. 2019. | |
| 651. | Interactive oracle proofs with constant rate and query complexity Ben-Sasson, Eli and Chiesa, Alessandro and Gabizon, Ariel and Riabzev, Michael and Spooner, Nicholas. 2017. | |
| 652. | EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode Contro, Filippo and Crosara, Marco and Ceccato, Mariano and Preda, Mila Dalla. 2021. | |
| 653. | Multi-Threshold Byzantine Fault Tolerance Atsuki Momose and Ling Ren. 2021. | |
| 654. | 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. | |
| 655. | Fraud Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities Mustafa Al-Bassam and Alberto Sonnino and Vitalik Buterin. 2018. | |
| 656. | Additive combinatorics and discrete logarithm based range protocols Chaabouni, Rafik and Lipmaa, Helger and Shelat, Abhi. 2010. | |
| 657. | SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks Sung-Shine Lee and Alexandr Murashkin and Martin Derka and Jan Gorzny. 2022. | |
| 658. | Refund attacks on Bitcoin’s payment protocol McCorry, Patrick and Shahandashti, Siamak F and Hao, Feng. 2016. | |
| 659. | Empirically Analyzing Ethereum's Gas Mechanism Yang, Renlord and Murray, Toby and Rimba, Paul and Parampalli, Udaya. 2019. | |
| 660. | Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR Naor, Oded and Keidar, Idit. 2020. | |
| 661. | Cogsworth: Byzantine View Synchronization Naor, Oded and Baudet, Mathieu and Malkhi, Dahlia and Spiegelman, Alexander. 2019. | |
| 662. | Bitcoin Transaction Networks: an overview of recent results Vallarano, Nicol\`o and Tessone, Claudio and Squartini, Tiziano. 2020. | |
| 663. | KVaC: Key-Value Commitments for Blockchains and Beyond Shashank Agrawal and Srinivasan Raghuraman. 2020. | |
| 664. | SoK: MEV Countermeasures: Theory and Practice Sen Yang and Fan Zhang and Ken Huang and Xi Chen and Youwei Yang and Feng Zhu. 2022. | |
| 665. | PoReps: Proofs of Space on Useful Data Ben Fisch. 2018. | |
| 666. | Teechain: Reducing storage costs on the blockchain with offline payment channels Lind, Joshua and Naor, Oded and Eyal, Ittay and Kelbert, Florian and Pietzuch, Peter and Sirer, Emin G\"un. 2018. | |
| 667. | On Sharding Permissioned Blockchains. Amiri, Mohammad Javad and Agrawal, Divyakant. 2019. | |
| 668. | Generalized Bitcoin-Compatible Channels Lukas Aumayr and Oguzhan Ersoy and Andreas Erwig and Sebastian Faust and Kristina Hostakova and Matteo Maffei and Pedro Moreno-Sanchez and Siavash Riahi. 2020. | |
| 669. | SoK: Exploring Blockchains Interoperability Gang Wang. 2021. | |
| 670. | Strategic Liquidity Provision in Uniswap v3 Michael Neuder and Rithvik Rao and Daniel J. Moroz and David C. Parkes. 2021. | |
| 671. | TARDIS: A Foundation of Time-Lock Puzzles in UC Baum, Carsten and David, Bernardo and Dowsley, Rafael and Nielsen12, Jesper Buus and Oechsner, Sabine. 2020. | |
| 672. | SuperNova: Proving universal machine executions without universal circuits Abhiram Kothapalli and Srinath Setty. 2022. | |
| 673. | Bootstrapping the Blockchain, with Applications to Consensus and Fast PKI Setup Garay, Juan A and Kiayias, Aggelos and Leonardos, Nikos and Panagiotakos, Giorgos. 2018. | |
| 674. | ETHDKG: Distributed Key Generation with Ethereum Smart Contracts Philipp Schindler and Aljosha Judmayer and Nicholas Stifter and Edgar Weippl. 2019. | |
| 675. | Formal Specification and Verification of Smart Contracts for Azure Blockchain Lahiri, Shuvendu K and Chen, Shuo and Wang, Yuepeng and Dillig, Isil. 2018. | |
| 676. | Lift-and-Shift: Obtaining Simulation Extractable Subversion and Updatable SNARKs Generically Bezhad Abdolmaleki and Sebastian Ramacher and Daniel Slamanig. 2020. | |
| 677. | SoK: Validating Bridges as a Scaling Solution for Blockchains McCorry, Patrick and Buckland, Chris and Yee, Bennet and Song, Dawn. 2021. | |
| 678. | Internet Computer Consensus Jan Camenisch and Manu Drijvers and Timo Hanke and Yvonne-Anne Pignolet and Victor Shoup and Dominic Williams. 2021. | |
| 679. | Making Groth's zk-SNARK Simulation Extractable in the Random Oracle Model Sean Bowe and Ariel Gabizon. 2018. | |
| 680. | Quasi-linear size zero knowledge from linear-algebraic PCPs Ben-Sasson, Eli and Chiesa, Alessandro and Gabizon, Ariel and Virza, Madars. 2016. | |
| 681. | Kachina--Foundations of Private Smart Contracts Kerber, Thomas and Kiayias, Aggelos and Kohlweiss, Markulf. 2020. | |
| 682. | Diogenes: Lightweight Scalable RSA Modulus Generation with a Dishonest Majority Megan Chen and Carmit Hazay and Yuval Ishai and Yuriy Kashnikov and Daniele Micciancio and Tarik Riviere and abhi shelat and Muthu Venkitasubramaniam and Ruihan Wang. 2020. | |
| 683. | 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. | |
| 684. | Indifferentiable hashing to Barreto--Naehrig curves Fouque, Pierre-Alain and Tibouchi, Mehdi. 2012. | |
| 685. | Deviant: A Mutation Testing Tool for Solidity Smart Contracts Chapman, Patrick. 2019. | |
| 686. | Utreexo: A dynamic hash-based accumulator optimized for the Bitcoin UTXO set Dryja, Thaddeus. 2019. | |
| 687. | Bulletproofs+: Shorter Proofs for Privacy-Enhanced Distributed Ledger Heewon Chung and Kyoohyung Han and Chanyang Ju and Myungsun Kim and Jae Hong Seo. 2020. | |
| 688. | A Survey of ECDSA Threshold Signing Jean-Philippe Aumasson and Adrian Hamelink and Omer Shlomovits. 2020. | |
| 689. | Practical Smart Contract Sharding with Ownership and Commutativity Analysis P\^\irlea, George and Kumar, Amrit and Sergey, Ilya. 2021. | |
| 690. | Efficient zero-knowledge arguments in the discrete log setting, revisited Max Hoffmann and Michael Klooß and Andy Rupp. 2019. | |
| 691. | Hijacking Routes in Payment Channel Networks: A Predictability Tradeoff Saar Tochner and Stefan Schmid and Aviv Zohar. 2019. | |
| 692. | MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKs Ahmed Kosba and Dimitrios Papadopoulos and Charalampos Papamanthou and Dawn Song. 2020. | |
| 693. | Compressing Proofs of $k$-Out-Of-$n$ Partial Knowledge Thomas Attema and Ronald Cramer and Serge Fehr. 2020. | |
| 694. | Liquidity Provider Returns in Geometric Mean Markets Evans, Alex. 2020. | |
| 695. | Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments Shravan Srinivasan and Alex Chepurnoy and Charalampos Papamanthou and Alin Tomescu and Yupeng Zhang. 2021. | |
| 696. | Privacy and cryptocurrencies—A systematic literature review Herskind, Lasse and Katsikouli, Panagiota and Dragoni, Nicola. 2020. | |
| 697. | On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy Wang, Zhipeng and Chaliasos, Stefanos and Qin, Kaihua and Zhou, Liyi and Gao, Lifeng and Berrang, Pascal and Livshits, Ben and Gervais, Arthur. 2022. | |
| 698. | A Review of zk-SNARKs Chen, Thomas and Lu, Hui and Kunpittaya, Teeramet and Luo, Alan. 2022. | |
| 699. | Powers-of-Tau to the People: Decentralizing Setup Ceremonies Nikolaenko, Valeria and Ragsdale, Sam and Bonneau, Joseph and Boneh, Dan. 2022. | |
| 700. | Ethereum's Proposer-Builder Separation: Promises and Realities Heimbach, Lioba and Kiffer, Lucianna and Torres, Christof Ferreira and Wattenhofer, Roger. 2023. | |
| 701. | An incentive analysis of some Bitcoin fee designs Yao, Andrew Chi-Chih. 2018. | |
| 702. | MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract Zhang, William and Banescu, Sebastian and Pasos, Leodardo and Stewart, Steven and Ganesh, Vijay. 2019. | |
| 703. | On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work Kai-Min Chung and Serge Fehr and Yu-Hsuan Huang and Tai-Ning Liao. 2020. | |
| 704. | Efficient Range Proofs with Transparent Setup from Bounded Integer Commitments Couteau, Geoffroy and Kloo\ss, Michael and Lin, Huang and Reichle, Michael. 2021. | |
| 705. | cq: Cached quotients for fast lookups Liam Eagen and Dario Fiore and Ariel Gabizon. 2022. | |
| 706. | Z-Channel: Scalable and Efficient Scheme in Zerocash Yuncong Zhang and Yu Long and Zhen Liu and Zhiqiang Liu and Dawu Gu. 2017. | |
| 707. | SNARKpack: Practical SNARK Aggregation Nicolas Gailly and Mary Maller and Anca Nitulescu. 2021. | |
| 708. | hbACSS: How to Robustly Share Many Secrets Thomas Yurek and Licheng Luo and Jaiden Fairoze and Aniket Kate and Andrew Miller. 2021. | |
| 709. | A survey of elliptic curves for proof systems Aranha, Diego F and El Housni, Youssef and Guillevic, Aurore. 2022. | |
| 710. | Agreement with Satoshi – On the Formalization of Nakamoto Consensus Nicholas Stifter and Aljosha Judmayer and Philipp Schindler and Alexei Zamyatin and Edgar Weippl. 2018. | |
| 711. | Constant-deposit multiparty lotteries on Bitcoin Bartoletti, Massimo and Zunino, Roberto. 2017. | |
| 712. | Cryptanalysis of Curl-P and Other Attacks on the IOTA Cryptocurrency. Heilman, Ethan and Narula, Neha and Tanzer, Garrett and Lovejoy, James and Colavita, Michael and Virza, Madars and Dryja, Tadge. 2019. | |
| 713. | Private Key Recovery Combination Attacks: On Extreme Fragility of Popular Bitcoin Key Management, Wallet and Cold Storage Solutions in Presence of Poor RNG Events. Courtois, Nicolas T and Valsorda, Filippo and Emirdag, Pinar. 2014. | |
| 714. | On the feasibility of decentralized derivatives markets Eskandari, Shayan and Clark, Jeremy and Sundaresan, Vignesh and Adham, Moe. 2017. | |
| 715. | Prover-efficient commit-and-prove zero-knowledge SNARKs Lipmaa, Helger. 2016. | |
| 716. | Jolt: SNARKs for Virtual Machines via Lookups Arasu Arun and Srinath Setty and Justin Thaler. 2023. | |
| 717. | SoK: Tools for Game Theoretic Models of Security for Cryptocurrencies Azouvi, Sarah and Hicks, Alexander. 2019. | |
| 718. | Smart contracts and opportunities for formal methods Miller, Andrew and Cai, Zhicheng and Jha, Somesh. 2018. | |
| 719. | Why Do Smart Contracts Self-Destruct? Investigating the Selfdestruct Function on Ethereum Chen, Jiachi and Xia, Xin and Lo, David and Grundy, John. 2020. | |
| 720. | Terra Money: Stability and Adoption Kereiakes, Evan and Do Kwon, Marco Di Maggio and Platias, Nicholas. 2019. | |
| 721. | Halo Infinite: Recursive zk-SNARKs from any Additive Polynomial Commitment Scheme Dan Boneh and Justin Drake and Ben Fisch and Ariel Gabizon. 2020. | |
| 722. | Formal Analysis of Composable DeFi Protocols Tolmach, Palina and Li, Yi and Lin, Shang-Wei and Liu, Yang. 2021. | |
| 723. | SoK: Privacy-Preserving Computing in the Blockchain Era Ghada Almashaqbeh and Ravital Solomon. 2021. | |
| 724. | COBRA: Dynamic Proactive Secret Sharing for Confidential BFT Services Vassantlal, Robin and Alchieri, Eduardo and Ferreira, Bernardo and Bessani, Alysson. 2022. | |
| 725. | Spacecoin : A Cryptocurrency Based on Proofs of Space Park, Sunoo and Pietrzak, Krzysztof and Alwen, Joel and Fuchsbauer, Georg and Gazi, Peter. 2015. | |
| 726. | Blockmania: from Block DAGs to Consensus Danezis, George and Hrycyszyn, David. 2018. | |
| 727. | Mind your credit: Assessing the health of the ripple credit network Moreno-Sanchez, Pedro and Modi, Navin and Songhela, Raghuvir and Kate, Aniket and Fahmy, Sonia. 2017. | |
| 728. | Ouroboros-BFT: A Simple Byzantine Fault Tolerant Consensus Protocol Kiayias, Aggelos and Russell, Alexander. 2018. | |
| 729. | Split payments in payment networks Piatkivskyi, Dmytro and Nowostawski, Mariusz. 2018. | |
| 730. | What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? Groce, Alex and Feist, Josselin and Grieco, Gustavo and Colburn, Michael. 2019. | |
| 731. | UTxO-vs account-based smart contract blockchain programming paradigms Brunjes, Lars and Gabbay, Murdoch J. 2020. | |
| 732. | Replicated state machines without replicated execution Lee, Jonathan and Nikitin, Kirill and Setty, Srinath. 2020. | |
| 733. | Block-STM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance Blessing Gelashvili, Rati and Spiegelman, Alexander and Xiang, Zhuolun and Danezis, George and Li, Zekun and Xia, Yu and Zhou, Runtian and Malkhi, Dahlia. 2022. | |
| 734. | HydRand: Practical Continuous Distributed Randomness Philipp Schindler and Aljosha Judmayer and Nicholas Stifter and Edgar Weippl. 2018. | |
| 735. | Multivariate lookups based on logarithmic derivatives Ulrich Haböck. 2022. | |
| 736. | An efficient pairing-based shuffle argument Fauzi, Prastudy and Lipmaa, Helger and Siim, Janno and Zaj\kac, Micha\l. 2017. | |
| 737. | On the specification and verification of atomic swap smart contracts⋆ van der Meyden, Ron. 2018. | |
| 738. | SAFEVM: A Safety Verifier for Ethereum Smart Contracts Albert, Elvira and Correas, Jes\'us and Gordillo, Pablo and Rom\'an-D\'\iez, Guillermo and Rubio, Albert. 2019. | |
| 739. | RedShift: Transparent SNARKs from List Polynomial Commitment IOPs Assimakis Kattis and Konstantin Panarin and Alexander Vlasov. 2019. | |
| 740. | Just the Tip of the Iceberg: Internet-Scale Exploitation of Routers for Cryptojacking Bijmans, Hugo LJ and Booij, Tim M and Doerr, Christian. 2019. | |
| 741. | Expected Constant Round Byzantine Broadcast under Dishonest Majority Jun Wan and Hanshen Xiao and Elaine Shi and Srinivas Devadas. 2020. | |
| 742. | Optimized and secure pairing-friendly elliptic curves suitable for one layer proof composition Youssef El Housni and Aurore Guillevic. 2020. | |
| 743. | Compositional Security for Reentrant Applications Cecchetti, Ethan and Yao, Siqiu and Ni, Haobin and Myers, Andrew C. 2021. | |
| 744. | Verifiable Fully Homomorphic Encryption Viand, Alexander and Knabenhans, Christian and Hithnawi, Anwar. 2023. | |
| 745. | Towards a theory of maximal extractable value i: Constant function market makers Kulkarni, Kshitij and Diamandis, Theo and Chitra, Tarun. 2022. | |
| 746. | Monero - Privacy in the Blockchain Kurt M. Alonso and Jordi Herrera Joancomartí. 2018. | |
| 747. | A Formal Treatment of Hardware Wallets Arapinis, Myrto and Gkaniatsou, Andriana and Karakostas, Dimitris and Kiayias, Aggelos. 2019. | |
| 748. | The Aztec Protocol Zachary J., Williamson. 2018. | |
| 749. | Ride the lightning: The game theory of payment channels Avarikioti, Zeta and Heimbach, Lioba and Wang, Yuyi and Wattenhofer, Roger. 2020. | |
| 750. | (In) Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks Klages-Mundt, Ariah and Minca, Andreea. 2019. | |
| 751. | Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing Yang, Youngseok and Kim, Taesoo and Chun, Byung-Gon. 2021. | |
| 752. | How to Use SNARKs in Universally Composable Protocols. Kosba, Ahmed E and Zhao, Zhichao and Miller, Andrew and Qian, Yi and Chan, T-H Hubert and Papamanthou, Charalampos and Pass, Rafael and Shelat, Abhi and Shi, Elaine. 2015. | |
| 753. | A Treasury System for Cryptocurrencies: Enabling Better Collaborative Intelligence Bingsheng Zhang and Roman Oliynykov and Hamed Balogun. 2018. | |
| 754. | Service-Oriented Sharding with Aspen Gencer, Adem Efe and van Renesse, Robbert and Sirer, Emin G\"un. 2016. | |
| 755. | Balance: Dynamic Adjustment of Cryptocurrency Deposits Harz, Dominik and Gudgeon, Lewis and Gervais, Arthur and Knottenbelt, William J. 2019. | |
| 756. | Simulation-Extractable SNARKs Revisited Lipmaa, Helger. 2019. | |
| 757. | On the (in) security of SNARKs in the presence of oracles Fiore, Dario and Nitulescu, Anca. 2016. | |
| 758. | Rescue-Prime: a Standard Specification (SoK) Alan Szepieniec and Tomer Ashur and Siemen Dhooghe. 2020. | |
| 759. | Optimal Fees for Geometric Mean Market Makers Evans, Alex and Angeris, Guillermo and Chitra, Tarun. 2021. | |
| 760. | MiniLedger: Compact-sized Anonymous and Auditable Distributed Payments Panagiotis Chatzigiannis and Foteini Baldimtsi. 2021. | |
| 761. | Shorter and Faster Post-Quantum Designated-Verifier zkSNARKs from Lattices Yuval Ishai and Hang Su and David J. Wu. 2021. | |
| 762. | Darkcoin : Peer to Peer Crypto Currency with Anonymous Blockchain Transactions and an Improved Proof of Work System Duffield, Evan and Hagan, Kyle. 2014. | |
| 763. | The Arwen Trading Protocols Heilman, Ethan and Lipmann, Sebastien and Goldberg, Sharon. 2018. | |
| 764. | TEX - A Securely Scalable Trustless Exchange Rami Khalil and Arthur Gervais and Guillaume Felley. 2019. | |
| 765. | WI Is Not Enough: Zero-Knowledge Contingent (Service) Payments Revisited Georg Fuchsbauer. 2019. | |
| 766. | ZETH: On Integrating Zerocash on Ethereum Rondelet, Antoine and Zajac, Michal. 2019. | |
| 767. | Afgjort: A Partially Synchronous Finality Layer for Blockchains Bernardo Magri and Christian Matt and Jesper Buus Nielsen and Daniel Tschudi. 2019. | |
| 768. | Securing Proof-of-Work Ledgers via Checkpointing Dimitris Karakostas and Aggelos Kiayias. 2020. | |
| 769. | smartFHE: Privacy-Preserving Smart Contracts from Fully Homomorphic Encryption Ravital Solomon and Ghada Almashaqbeh. 2021. | |
| 770. | Practical Asynchronous High-threshold Distributed Key Generation and Distributed Polynomial Sampling Das, Sourav and Xiang, Zhuolun and Kokoris-Kogias, Lefteris and Ren, Ling. 2022. | |
| 771. | Betting on Blockchain Consensus with Fantomette Azouvi, Sarah and McCorry, Patrick and Meiklejohn, Sarah. 2018. | |
| 772. | Verifying liquidity of Bitcoin contracts Bartoletti, Massimo and Zunino, Roberto. 2018. | |
| 773. | DLSAG: Non-Interactive Refund Transactions For Interoperable Payment Channels in Monero Moreno-Sanchez, Pedro and Le, Duc V and Noether, Sarang and Goodell, Brandon and Kate, Aniket. 2019. | |
| 774. | Tight Verifiable Delay Functions D\"ottling, Nico and Garg, Sanjam and Malavolta, Giulio and Nalini, Prashant. 2019. | |
| 775. | Celer network: Bring internet scale to every blockchain Dong, Mo and Liang, Qingkai and Li, Xiaozhou and Liu, Junda. 2018. | |
| 776. | Practical Mutation Testing for Smart Contracts Honig, Joran J and Everts, Maarten H and Huisman, Marieke. 2019. | |
| 777. | Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts Bernardo, Bruno and Cauderlier, Rapha\"el and Hu, Zhenlei and Pesin, Basile and Tesson, Julien. 2019. | |
| 778. | An empirical analysis of monero cross-chain traceability Hinteregger, Abraham and Haslhofer, Bernhard. 2018. | |
| 779. | Threshold ECDSA for Decentralized Asset Custody Adam Gągol and Damian Straszak. 2020. | |
| 780. | Bitcoin-Monero Cross-chain Atomic Swap Joël Gugger. 2020. | |
| 781. | $$\backslash$mathsf $\{$PEReDi$\}$ $: Privacy-Enhanced, Regulated and Distributed Central Bank Digital Currencies Kiayias, Aggelos and Kohlweiss, Markulf and Sarencheh, Amirreza. 2022. | |
| 782. | Succinct Vector, Polynomial, and Functional Commitments from Lattices Hoeteck Wee and David J. Wu. 2022. | |
| 783. | Decentralized Blacklistable Anonymous Credentials with Reputation Yang, Rupeng and Au, Man Ho and Xu, Qiuliang and Yu, Zuoxia. 2017. | |
| 784. | Towards atomic cross-chain token transfers: State of the art and open questions within tast Borkowski, Michael and McDonald, Daniel and Ritzer, Christoph and Schulte, Stefan. 2018. | |
| 785. | A percolation model for the emergence of the Bitcoin Lightning Network Bartolucci, Silvia and Caccioli, Fabio and Vivo, Pierpaolo. 2019. | |
| 786. | Scalable Open-Vote Network on Ethereum Mohamed Seifelnasr and Hisham S. Galal and Amr M. Youssef. 2020. | |
| 787. | Reducing Participation Costs via Incremental Verification for Ledger Systems Weikeng Chen and Alessandro Chiesa and Emma Dauterman and Nicholas P. Ward. 2020. | |
| 788. | Flashot: A Snapshot of Flash Loan Attack on DeFi Ecosystem Cao, Yixin and Zou, Chuanwei and Cheng, Xianfeng. 2021. | |
| 789. | Information Dispersal with Provable Retrievability for Rollups Nazirkhanova, Kamilla and Neu, Joachim and Tse, David. 2021. | |
| 790. | Efficient asynchronous byzantine agreement without private setups Gao, Yingzi and Lu, Yuan and Lu, Zhenliang and Tang, Qiang and Xu, Jing and Zhang, Zhenfeng. 2022. | |
| 791. | A more efficient computationally sound non-interactive zero-knowledge shuffle argument Lipmaa, Helger and Zhang, Bingsheng. 2013. | |
| 792. | 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. | |
| 793. | Distributed Cryptography Based on the Proofs of Work. Andrychowicz, Marcin and Dziembowski, Stefan. 2014. | |
| 794. | A Proof-of-Stake protocol for consensus on Bitcoin subchains Bartoletti, Massimo and Lande, Stefano and Podda, Alessandro Sebastian. 2017. | |
| 795. | Toward Active and Passive Confidentiality Attacks On Cryptocurrency Off-Chain Networks Nisslmueller, Utz and Foerster, Klaus-Tycho and Schmid, Stefan and Decker, Christian. 2020. | |
| 796. | STARK Friendly Hash -- Survey and Recommendation Eli Ben-Sasson and Lior Goldberg and David Levit. 2020. | |
| 797. | Decentralized Cross-Blockchain Asset Transfers Sigwart, Marten and Frauenthaler, Philipp and Spanring, Christof and Schulte, Stefan. 2020. | |
| 798. | Integration of Blockchain and Auction Models: A Survey, Some Applications, and Challenges Shi, Zeshun and de Laat, Cees and Grosso, Paola and Zhao, Zhiming. 2022. | |
| 799. | Homomorphic Encryption Random Beacon Alisa Cherniaeva and Ilia Shirobokov and Omer Shlomovits. 2019. | |
| 800. | Shoal: Improving DAG-BFT Latency And Robustness Alexander Spiegelman and Balaji Aurn and Rati Gelashvili and Zekun Li. 2023. | |
| 801. | Temporal Properties of Smart Contracts Sergey, Ilya and Kumar, Amrit and Hobor, Aquinas. 2018. | |
| 802. | Developing secure Bitcoin contracts with BitML Atzei, Nicola and Bartoletti, Massimo and Lande, Stefano and Yoshida, Nobuko and Zunino, Roberto. 2019. | |
| 803. | Updateable Inner Product Argument with Logarithmic Verifier and Applications Daza, Vanesa and R\`afols, Carla and Zacharakis, Alexandros. 2020. | |
| 804. | Verkle trees Kuszmaul, John. 2019. | |
| 805. | Public Accountability vs. Secret Laws: Can They Coexist?: A Cryptographic Proposal Goldwasser, Shafi and Park, Sunoo. 2017. | |
| 806. | Dispute Resolution for Smart Contract-based Two-Party Protocols Wagner, Eric and V\"olker, Achim and Fuhrmann, Frederik and Matzutt, Roman and Wehrle, Klaus. 2019. | |
| 807. | Proofs of Replicated Storage Without Timing Assumptions. Damg\aard, Ivan and Ganesh, Chaya and Orlandi, Claudio. 2018. | |
| 808. | Brick: Asynchronous State Channels Avarikioti, Georgia and Kogias, Eleftherios Kokoris and Wattenhofer, Roger. 2019. | |
| 809. | Correctness and fairness of tendermint-core blockchains Amoussou-Guenou, Yackolley and Del Pozzo, Antonella and Potop-Butucaru, Maria and Tucci-Piergiovanni, Sara. 2018. | |
| 810. | Refresh When You Wake Up: Proactive Threshold Wallets with Offline Devices Yashvanth Kondi and Bernardo Magri and Claudio Orlandi and Omer Shlomovits. 2019. | |
| 811. | Anonymous Tokens with Private Metadata Bit Ben Kreuter and Tancrede Lepoint and Michele Orru and Mariana Raykova. 2020. | |
| 812. | Full Analysis of Nakamoto Consensus in Bounded-Delay Networks Juan Garay and Aggelos Kiayias and Nikos Leonardos. 2020. | |
| 813. | Efficient Post-quantum SNARKs for RSIS and RLWE and Their Applications to Privacy Boschini, Cecilia and Camenisch, Jan and Ovsiankin, Max and Spooner, Nicholas. 2020. | |
| 814. | Practical Post-Quantum Few-Time Verifiable Random Function with Applications to Algorand Esgin, Muhammed F and Kuchta, Veronika and Sakzad, Amin and Steinfeld, Ron and Zhang, Zhenfei and Sun, Shifeng and Chu, Shumo. 2020. | |
| 815. | An Analysis of the Market Risk to Participants in the Compound Protocol Kao, Hsien-Tang and Chitra, Tarun and Chiang, Rei and Morrow, John. 2020. | |
| 816. | Baloo: Nearly Optimal Lookup Arguments Zapico, Arantxa and Gabizon, Ariel and Khovratovich, Dmitry and Maller, Mary and R\`afols, Carla. 2022. | |
| 817. | VERI-ZEXE: Decentralized private computation with universal setup Xiong, Alex Luoyuan and Chen, Binyi and Zhang, Zhenfei and B\"unz, Benedikt and Fisch, Ben and Krell, Fernando and Camacho, Philippe. 2022. | |
| 818. | Credible, Truthful, and Two-Round (Optimal) Auctions via Cryptographic Commitments Matheus V. X. Ferreira and S. Matthew Weinberg. 2020. | |
| 819. | On the security of the BCTV Pinocchio zk-SNARK variant Gabizon, Ariel. 2019. | |
| 820. | LazyLedger: A Distributed Data Availability Ledger With Client-Side Smart Contracts Al-Bassam, Mustafa. 2019. | |
| 821. | A true concurrent model of smart contracts executions Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019. | |
| 822. | Simulation Extractable Versions of Groth’s zk-SNARK Revisited Karim Baghery and Zaira Pindado and Carla Ràfols. 2020. | |
| 823. | Blockchain Gateways, Bridges and Delegated Hash-Locks Hardjono, Thomas. 2021. | |
| 824. | On Elapsed Time Consensus Protocols Mic Bowman and Debajyoti Das and Avradip Mandal and Hart Montgomery. 2021. | |
| 825. | An Algebraic Framework for Universal and Updatable SNARKs Carla Ràfols and Arantxa Zapico. 2021. | |
| 826. | On the security of ECDSA with additive key derivation and presignatures Jens Groth and Victor Shoup. 2021. | |
| 827. | Families of SNARK-friendly 2-chains of elliptic curves El Housni, Youssef and Guillevic, Aurore. 2021. | |
| 828. | You sank my battleship! A case study to evaluate state channels as a scaling solution for cryptocurrencies McCorry, Patrick and Buckland, Chris and Bakshi, Surya and W\"ust, Karl and Miller, Andrew. 2018. | |
| 829. | On the Profitability of Selfish Mining Against Multiple Difficulty Adjustment Algorithms Michael Davidson and Tyler Diamond. 2020. | |
| 830. | Splitting Payments Locally While Routing Interdimensionally Lisa Eckey and Sebastian Faust and Kristina Hostáková and Stefanie Roos. 2020. | |
| 831. | Round-Efficient Byzantine Broadcast under Strongly Adaptive and Majority Corruptions Wan, Jun and Xiao, Hanshen and Devadas, Srinivas and Shi, Elaine. 2020. | |
| 832. | zk-SNARKs: A Gentle Introduction Nitulescu, Anca. 2019. | |
| 833. | 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. | |
| 834. | SoK: Auditability and Accountability in Distributed Payment Systems Panagiotis Chatzigiannis and Foteini Baldimtsi and Konstantinos Chalkias. 2021. | |
| 835. | Cryptography and the economics of supervisory information: Balancing transparency and confidentiality Flood, Mark D and Katz, Jonathan and Ong, Stephen J and Smith, Adam. 2013. | |
| 836. | Zlite: Lightweight clients for shielded zcash transactions using trusted execution W\"ust, Karl and Matetic, Sinisa and Schneider, Moritz and Miers, Ian and Kostiainen, Kari and \vCapkun, Srdjan. 2019. | |
| 837. | SoK: Decentralized Randomness Beacon Protocols Raikwar, Mayank and Gligoroski, Danilo. 2022. | |
| 838. | 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. | |
| 839. | Why Preventing a Cryptocurrency Exchange Heist Isn't Good Enough Patrick McCorry and Malte M\"oser and Syed Taha Ali. 2018. | |
| 840. | Enhancing Bitcoin transactions with covenants O’Connor, Russell and Piekarska, Marta. 2017. | |
| 841. | A minimal core calculus for Solidity contracts Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019. | |
| 842. | Anonymous Transactions with Revocation and Auditing in Hyperledger Fabric Dmytro Bogatov and Angelo De Caro and Kaoutar Elkhiyaoui and Björn Tackmann. 2019. | |
| 843. | Proof of Necessary Work: Succinct State Verification with Fairness Guarantees Assimakis Kattis and Joseph Bonneau. 2020. | |
| 844. | Mind the Middle Layer: The HADES Design Strategy Revisited Nathan Keller and Asaf Rosemarin. 2020. | |
| 845. | Empirical Measurements on Pricing Oracles and Decentralized Governance for Stablecoins Gu, Wanyun and Raghuvanshi, Anika and Boneh, Dan. 2020. | |
| 846. | From Tether to Libra: Stablecoins, Digital Currency and the Future of Money Lipton, Alexander and Sardon, Aetienne and Sch\"ar, Fabian and Sch\"upbach, Christian. 2020. | |
| 847. | A minimal core calculus for Solidity contracts Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019. | |
| 848. | Threshold Schnorr with Stateless Deterministic Signing from Standard Assumptions François Garillot and Yashvanth Kondi and Payman Mohassel and Valeria Nikolaenko. 2021. | |
| 849. | Scalable distributed random number generation based on homomorphic encryption Nguyen-Van, Thanh and Nguyen-Anh, Tuan and Le, Tien-Dat and Nguyen-Ho, Minh-Phuoc and Nguyen-Van, Tuong and Le, Nhat-Quang and Nguyen-An, Khuong. 2019. | |
| 850. | Blockchain-Free Cryptocurrencies: A Framework for Truly Decentralised Fast Transactions Boyen, Xavier and Carr, Christopher and Haines, Thomas. 2016. | |
| 851. | Retrofitting a two-way peg between blockchains Teutsch, Jason and Straka, Michael and Boneh, Dan. 2018. | |
| 852. | Transparent Polynomial Commitment Scheme with Polylogarithmic Communication Complexity Alexander Vlasov and Konstantin Panarin. 2019. | |
| 853. | Audita: A Blockchain-based Auditing Framework for Off-chain Storage Francati, Danilo and Ateniese, Giuseppe and Faye, Abdoulaye and Milazzo, Andrea Maria and Perillo, Angelo Massimo and Schiatti, Luca and Giordano, Giuseppe. 2019. | |
| 854. | Generic-Group Delay Functions Require Hidden-Order Groups Lior Rotem and Gil Segev and Ido Shahaf. 2020. | |
| 855. | Proof of Storage-Time: Efficiently Checking Continuous Data Availability Ateniese, Giuseppe and Chen, Long and Etemad, Mohammad and Tang, Qiang. 2020. | |
| 856. | Liquid: A Bitcoin Sidechain Nick, Jonas and Poelstra, Andrew and Sanders, Gregory. 2020. | |
| 857. | UC-Secure CRS Generation for SNARKs Behzad Abdolmaleki and Karim Baghery and Helger Lipmaa and Janno Siim and Michal Zajac. 2019. | |
| 858. | Authenticated Dictionaries with Cross-Incremental Proof (Dis)aggregation Alin Tomescu and Yu Xia and Zachary Newman. 2020. | |
| 859. | Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments Erkan Tairi and Pedro Moreno-Sanchez and Matteo Maffei. 2020. | |
| 860. | How to Charge Lightning Br\^anzei, Simina and Segal-Halevi, Erel and Zohar, Aviv. 2017. | |
| 861. | Atomically Trading with Roger: Gambling on the success of a hardfork Patrick McCorry and Ethan Heilman and Andrew Miller. 2017. | |
| 862. | Contracts over Smart Contracts: Recovering from Violations Dynamically Colombo, Christian and Ellul, Joshua and Pace, Gordon J. 2018. | |
| 863. | Resource-Restricted Cryptography: Revisiting MPC Bounds in the Proof-of-Work Era Garay, Juan and Kiayias, Aggelos and Ostrovsky, Rafail M and Panagiotakos, Giorgos and Zikas, Vassilis. 2020. | |
| 864. | The scalability of trustless trust Harz, Dominik and Boman, Magnus. 2018. | |
| 865. | 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. | |
| 866. | 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. | |
| 867. | FairTraDEX: A Decentralised Exchange Preventing Value Extraction McMenamin, Conor and Daza, Vanesa and Fitzi, Matthias. 2022. | |
| 868. | A shuffle argument secure in the generic model Fauzi, Prastudy and Lipmaa, Helger and Zaj\kac, Micha\l. 2016. | |
| 869. | Incremental proofs of sequential work D\"ottling, Nico and Lai, Russell WF and Malavolta, Giulio. 2019. | |
| 870. | Effective Cryptocurrency Regulation Through Blacklisting M\"oser, Malte and Narayanan, Arvind. 2019. | |
| 871. | Winkle: Foiling Long-Range Attacks in Proof-of-Stake Systems Sarah Azouvi and George Danezis and Valeria Nikolaenko. 2019. | |
| 872. | On cycles of pairing-friendly elliptic curves Chiesa, Alessandro and Chua, Lynn and Weidner, Matthew. 2019. | |
| 873. | On QA-NIZK in the BPK model Abdolmaleki, Behzad and Lipmaa, Helger and Siim, Janno and Zaj\kac, Micha\l. 2020. | |
| 874. | Caulk+: Table-independent lookup arguments Jim Posen and Assimakis A. Kattis. 2022. | |
| 875. | Towards a Smart Contract-based, Decentralized, Public-Key Infrastructure Patsonakis, Christos and Samari, Katerina and Roussopoulos, Mema and Kiayias, Aggelos. 2017. | |
| 876. | Anonymous Post-Quantum Cryptocash. Zhang, Huang and Zhang, Fangguo and Tian, Haibo and Au, Man Ho. 2017. | |
| 877. | Selfish Behavior in the Tezos Proof-of-Stake Protocol Neuder, Michael and Moroz, Daniel J and Rao, Rithvik and Parkes, David C. 2019. | |
| 878. | Proof-of-Prestige: A Useful Work Reward System for Unverifiable Tasks Kr\'ol, Micha\l and Sonnino, Alberto and Al-Bassam, Mustafa and Tasiopoulos, Argyrios and Psaras, Ioannis. 2019. | |
| 879. | zkHawk: Practical Private Smart Contracts from MPC-based Hawk Aritra Banerjee and Michael Clear and Hitesh Tewari. 2021. | |
| 880. | Practical Settlement Bounds for Proof-of-Work Blockchains Peter Gaži and Ling Ren and Alexander Russell. 2021. | |
| 881. | Oblivious Message Retrieval Liu, Zeyu and Tromer, Eran. 2021. | |
| 882. | Efficient culpably sound NIZK shuffle argument without random oracles Fauzi, Prastudy and Lipmaa, Helger. 2016. | |
| 883. | Sui Lutris: A Blockchain Combining Broadcast and Consensus Blackshear, Sam and Chursin, Andrey and Danezis, George and Kichidis, Anastasios and Kokoris-Kogias, Lefteris and Li, Xun and Logan, Mark and Menon, Ashok and Nowacki, Todd and Sonnino, Alberto and others. 2023. | |
| 884. | Lattice-based succinct arguments from vanishing polynomials Cini, Valerio and Lai, Russell WF and Malavolta, Giulio. 2023. | |
| 885. | The Transaction Graph for Modeling Blockchain Semantics Christian Cachin and Angelo De Caro and Pedro Moreno-Sanchez and Bj\"orn Tackmann and Marko Vukoli\'c. 2017. | |
| 886. | Bancor Protocol Hertzog, Eyal and Benartzi, Guy and Benartzi, Galia. 2017. | |
| 887. | The Combinatorics of the Longest-Chain Rule: Linear Consistency for Proof-of-Stake Blockchains Blum, Erica and Kiayias, Aggelos and Moore, Cristopher and Quader, Saad and Russell, Alexander. 2019. | |
| 888. | SAVER: Snark-friendly, Additively-homomorphic, and Verifiable Encryption and decryption with Rerandomization Jiwon Lee and Jaekyoung Choi and Jihye Kim and Hyunok Oh. 2019. | |
| 889. | AuroraLight: Improved prover efficiency and SRS size in a Sonic-like system Gabizon, Ariel. 2019. | |
| 890. | Simulation Extractability in Groth’s zk-SNARK Atapoor, Shahla and Baghery, Karim. 2019. | |
| 891. | Native Custom Tokens in the Extended UTXO Model Chakravarty, Manuel MT and Chapman, James and MacKenzie, Kenneth and Melkonian, Orestis and M\"uller, Jann and Jones, Michael Peyton and Vinogradova, Polina and Wadler, Philip. 2020. | |
| 892. | Elipmoc: Advanced Decompilation of Ethereum Smart Contracts GRECH, NEVILLE and LAGOUVARDOS, SIFIS and TSATIRIS, ILIAS and SMARAGDAKIS, YANNIS. 2022. | |
| 893. | Batching, Aggregation, and Zero-Knowledge Proofs in Bilinear Accumulators Srinivasan, Shravan and Karantaidou, Ioanna and Baldimtsi, Foteini and Papamanthou, Charalampos. 2022. | |
| 894. | BeeGees: stayin' alive in chained BFT Abraham, Ittai and Crooks, Natacha and Giridharan, Neil and Howard, Heidi and Suri-Payer, Florian. 2023. | |
| 895. | Ethereum Proof-of-Stake Consensus Layer: Participation and Decentralization Dominic Grandjean and Lioba Heimbach and Roger Wattenhofer. 2023. | |
| 896. | Scalable lightning factories for Bitcoin Alejandro Ranchal Pedrosa and Maria Potop-Butucaru and Sara Tucci Piergiovanni. 2019. | |
| 897. | Lightning Factories Pedrosa, Alejandro Ranchal and Potop-Butucaru, Maria and Tucci-Piergiovanni, Sara. 2019. | |
| 898. | The Bitcoin brain drain: a short paper on the use and abuse of bitcoin brain wallets Vasek, Marie and Bonneau, Joseph and Castellucci, Ryan and Keith, Cameron and Moore, Tyler. 2016. | |
| 899. | Who Spent My EOS? On the (In) Security of Resource Management of EOS. IO Lee, Sangsup and Kim, Daejun and Kim, Dongkwan and Son, Sooel and Kim, Yongdae. 2019. | |
| 900. | Applying Private Information Retrieval to Lightweight Bitcoin Clients Qin, Kaihua and Hadass, Henryk and Gervais, Arthur and Reardon, Joel. 2019. | |
| 901. | SPARKs: Succinct Parallelizable Arguments of Knowledge Naomi Ephraim and Cody Freitag and Ilan Komargodski and Rafael Pass. 2020. | |
| 902. | Thresholdizing HashEdDSA: MPC to the rescue Bonte, Charlotte and Smart, Nigel P and Tanguy, Titouan. 2021. | |
| 903. | 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. | |
| 904. | Non-interactive half-aggregation of EdDSA and variants of Schnorr signatures Konstantinos Chalkias and Francois Garillot and Yashvanth Kondi and Valeria Nikolaenko. 2021. | |
| 905. | Round-Efficient Byzantine Agreement and Multi-Party Computation with Asynchronous Fallback Giovanni Deligios and Martin Hirt and Chen-Da Liu-Zhang. 2021. | |
| 906. | Thora: Atomic And Privacy-Preserving Multi-Channel Updates Aumayr, Lukas and Abbaszadeh, Kasra and Maffei, Matteo. 2022. | |
| 907. | Bitcoin's Latency--Security Analysis Made Simple Guo, Dongning and Ren, Ling. 2022. | |
| 908. | Eagle: Efficient Privacy Preserving Smart Contracts Carsten Baum and James Hsin-yu Chiang and Bernardo David and Tore Kasper Frederiksen. 2022. | |
| 909. | Time is Money: Strategic Timing Games in Proof-of-Stake Protocols Caspar Schwarz-Schilling and Fahad Saleh and Thomas Thiery and Jennifer Pan and Nihar Shah and Barnabé Monnot. 2023. | |
| 910. | $\mathsf{zkSaaS}$: Zero-Knowledge SNARKs as a Service Sanjam Garg and Aarushi Goel and Abhishek Jain and Guru-Vamsi Policharla and Sruthi Sekar. 2023. | |
| 911. | Uncle Maker: (Time)Stamping Out The Competition in Ethereum Aviv Yaish and Gilad Stern and Aviv Zohar. 2022. | |
| 912. | Plonkup: Reconciling plonk with plookup Pearson, Luke and Fitzgerald, Joshua and Masip, H\'ector and Bell\'es-Mu\~noz, Marta and Mu\~noz-Tapia, Jose Luis. 2022. | |
| 913. | Beigepaper: An Ethereum Technical Specification Dameron, Micah. 2017. | |
| 914. | SIMS : Self Sovereign Identity Management System with Preserving Privacy in Blockchain Jeonghyuk Lee and Jungyeon Hwang and Jaekyung Choi and Hyunok Oh and Jihye Kim. 2019. | |
| 915. | Prism Removes Consensus Bottleneck for Smart Contracts Wang, Gerui and Wang, Shuo and Bagaria, Vivek and Tse, David and Viswanath, Pramod. 2020. | |
| 916. | Formalizing Nakamoto-Style Proof of Stake Søren Eller Thomsen and Bas Spitters. 2020. | |
| 917. | Lightweight Virtual Payment Channels Maxim Jourenko and Mario Larangeira and Keisuke Tanaka. 2020. | |
| 918. | Constructive and computational aspects of cryptographic pairings Naehrig, Michael. 2009. | |
| 919. | VeRSA: Verifiable Registries with Efficient Client Audits from RSA Authenticated Dictionaries Tyagi, Nirvan and Fisch, Ben and Zitek, Andrew and Bonneau, Joseph and Tessaro, Stefano. 2022. | |
| 920. | Winning the caucus race: Continuous leader election via public randomness Azouvi, Sarah and McCorry, Patrick and Meiklejohn, Sarah. 2018. | |
| 921. | Generically Speeding-Up Repeated Squaring is Equivalent to Factoring: Sharp Thresholds for All Generic-Ring Delay Functions Lior Rotem and Gil Segev. 2020. | |
| 922. | An analysis of the algebraic group model Katz, Jonathan and Zhang, Cong and Zhou, Hong-Sheng. 2022. | |
| 923. | Verifiable computing applications in blockchain \vSimuni\'c, Silvio and Bernaca, Dalen and Lenac, Kristijan. 2021. | |
| 924. | PHANTOM: A Scalable BlockDAG Protocol Yonatan Sompolinsky and Aviv Zohar. 2018. | |
| 925. | Swap, Swear, and Swindle: Incentive System for Swarm Tr\'on, Viktor and Fischer, Aron and Nagy, D\'aniel A and Felf\"oldi, Zsolt and Johnson, Nick. 2016. | |
| 926. | Triptych: logarithmic-sized linkable ring signatures with applications Sarang Noether and Brandon Goodell. 2020. | |
| 927. | On the efficiency of privacy-preserving smart contract systems Baghery, Karim. 2019. | |
| 928. | Smart Contract modeling and verification techniques: A survey Imeri, Adnan and Agoulmine, Nazim and Khadraoui, Djamel. 2020. | |
| 929. | Building Scalable Decentralized Payment Systems Adler, John and Quintyne-Collins, Mikerah. 2019. | |
| 930. | AMR: Autonomous Coin Mixer with Privacy Preserving Reward Distribution Le, Duc V and Gervais, Arthur. 2020. | |
| 931. | 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. | |
| 932. | Threshold and Multi-Signature Schemes from Linear Hash Functions Stefano Tessaro and Chenzhi Zhu. 2023. | |
| 933. | Succinct Erasure Coding Proof Systems Nicolas Alhaddad and Sisi Duan and Mayank Varia and Haibin Zhang. 2021. | |
| 934. | On the Necessity of a Prescribed Block Validity Consensus: Analyzing Bitcoin Unlimited Mining Protocol Ren Zhang and Bart Preneel. 2017. | |
| 935. | Making bitcoin exchanges transparent Decker, Christian and Guthrie, James and Seidel, Jochen and Wattenhofer, Roger. 2015. | |
| 936. | Loopring: A decentralized token exchange protocol Wang, Daniel and Zhou, Jay and Wang, Alex and Finestone, Matthew. 2018. | |
| 937. | Streamlined Blockchains: A Simple and Elegant Approach (A Tutorial and Survey) Elaine Shi. 2020. | |
| 938. | Taming the many EdDSAs Konstantinos Chalkias and François Garillot and Valeria Nikolaenko. 2020. | |
| 939. | On the Routing-Aware Peering against Network-Eclipse Attacks in Bitcoin Tran, Muoi and Shenoi, Akshaye and Kang, Min Suk. 2021. | |
| 940. | Optimal Good-case Latency for Rotating Leader Synchronous BFT Ittai Abraham and Kartik Nayak and Nibesh Shrestha. 2021. | |
| 941. | Witness-Succinct Universally-Composable SNARKs Ganesh, Chaya and Kondi, Yashvanth and Orlandi, Claudio and Pancholi, Mahak and Takahashi, Akira and Tschudi, Daniel. 2022. | |
| 942. | Bingo: Adaptively Secure Packed Asynchronous Verifiable Secret Sharing and Asynchronous Distributed Key Generation Ittai Abraham and Philipp Jovanovic and Mary Maller and Sarah Meiklejohn and Gilad Stern. 2022. | |
| 943. | Secure protocols for accountable warrant execution Kroll, Joshua and Felten, Edward and Boneh, Dan. 2014. | |
| 944. | Spartan and Bulletproofs are simulation-extractable (for free!) Quang Dao and Paul Grubbs. 2023. | |
| 945. | Weak Fiat-Shamir Attacks on Modern Proof Systems Quang Dao and Jim Miller and Opal Wright and Paul Grubbs. 2023. | |
| 946. | (Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work Philip Daian and Ittay Eyal and Ari Juels and Emin G\"un Sirer. 2017. | |
| 947. | Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement Bernardo David and Rafael Dowsley and Mario Larangeira. 2017. | |
| 948. | Burning Zerocoins for Fun and for Profit: A Cryptographic Denial-of-Spending Attack on the Zerocoin Protocol Tim Ruffing and Sri Aravinda Thyagarajan and Viktoria Ronge and Dominique Schröder. 2018. | |
| 949. | Founding Secure Computation on Blockchains Choudhuri, Arka Rai and Goyal, Vipul and Jain, Abhishek. 2019. | |
| 950. | Rationality is Self-Defeating in Permissionless Systems Ford, Bryan and B\"ohme, Rainer. 2019. | |
| 951. | Lower Bounds for Off-Chain Protocols: Exploring the Limits of Plasma Stefan Dziembowski and Grzegorz Fabiański and Sebastian Faust and Siavash Riahi. 2020. | |
| 952. | The mathematics of Bitcoin Grunspan, Cyril and P\'erez-Marco, Ricardo. 2020. | |
| 953. | Ledger Combiners for Fast Settlement Matthias Fitzi and Peter Gazi and Aggelos Kiayias and Alexander Russell. 2020. | |
| 954. | PayMo: Payment Channels For Monero Sri Aravinda Krishnan Thyagarajan and Giulio Malavolta and Fritz Schmidt and Dominique Schröder. 2020. | |
| 955. | Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper) Braithwaite, Sean and Buchman, Ethan and Konnov, Igor and Milosevic, Zarko and Stoilkovska, Ilina and Widder, Josef and Zamfir, Anca. 2020. | |
| 956. | While stability lasts: A stochastic model of stablecoins Klages-Mundt, Ariah and Minca, Andreea. 2020. | |
| 957. | Staking Pools on Blockchains Gersbach, Hans and Mamageishvili, Akaki and Schneider, Manvir. 2022. | |
| 958. | Multi-Party Timed Commitments Yael Doweck and Ittay Eyal. 2020. | |
| 959. | FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation Zhiyang Chen and Sidi Mohamed Beillahi and Fan Long. 2022. | |
| 960. | The centralizing effects of private order flow on proposer-builder separation Tivas Gupta and Mallesh M Pai and Max Resnick. 2023. | |
| 961. | Smart Contract Interactions in Coq Nielsen, Jakob Botsch and Spitters, Bas. 2019. | |
| 962. | Subversion-Resistant Simulation (Knowledge) Sound NIZKs Karim Baghery. 2019. | |
| 963. | PoSAT: Proof-of-Work Availability andUnpredictability, without the Work Deb, Soubhik and Kannan, Sreeram and Tse, David. 2020. | |
| 964. | Extracting Smart Contracts Tested and Verified in Coq Annenkov, Danil and Milo, Mikkel and Nielsen, Jakob Botsch and Spitters, Bas. 2020. | |
| 965. | Timelocked Bribing Nadahalli, Tejaswi and Khabbazian, Majid and Wattenhofer, Roger. 2021. | |
| 966. | 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. | |
| 967. | Multi-instance Publicly Verifiable Time-lock Puzzle and its Applications Abadi, Aydin and Kiayias, Aggelos. 2021. | |
| 968. | Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK Helger Lipmaa and Janno Siim and Michal Zajac. 2022. | |
| 969. | Byzantine Consensus is$\backslash$Theta (n\^{} 2): The Dolev-Reischuk Bound is Tight even in Partial Synchrony![Extended Version] Civit, Pierre and Dzulfikar, Muhammad Ayaz and Gilbert, Seth and Gramoli, Vincent and Guerraoui, Rachid and Komatovic, Jovan and Vidigueira, Manuel. 2022. | |
| 970. | flookup: Fractional decomposition-based lookups in quasi-linear time independent of table size Ariel Gabizon and Dmitry Khovratovich. 2022. | |
| 971. | A Systematic Approach To Cryptocurrency Fees Alexander Chepurnoy and Vasily Kharin and Dmitry Meshkov. 2018. | |
| 972. | Rational zero: Economic security for zerocoin with everlasting anonymity Garman, Christina and Green, Matthew and Miers, Ian and Rubin, Aviel D. 2014. | |
| 973. | Reversible Proofs of Sequential Work Abusalah, Hamza and Kamath, Chethan and Klein, Karen and Pietrzak, Krzysztof and Walter, Michael. 2019. | |
| 974. | Anonymous Lottery in the Proof-of-Stake Setting Foteini Baldimtsi and Varun Madathil and Alessandra Scafuro and Linfeng Zhou. 2020. | |
| 975. | NC-Max: Breaking the Security-Performance Tradeoff in Nakamoto Consensus Ren Zhang and Dingwei Zhang and Quake Wang and Shichen Wu and Jan Xie and Bart Preneel. 2020. | |
| 976. | Automated market making: Theory and practice Othman, Abraham M. 2012. | |
| 977. | 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. | |
| 978. | Generalized Proof of Liabilities Yan Ji and Konstantinos Chalkias. 2021. | |
| 979. | 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. | |
| 980. | MinRoot: Candidate Sequential Function for Ethereum VDF Dmitry Khovratovich and Mary Maller and Pratyush Ranjan Tiwari. 2022. | |
| 981. | Improving Proof of Stake Economic Security via MEV Redistribution Chitra, Tarun and Kulkarni, Kshitij. 2022. | |
| 982. | Fun with Bitcoin smart contracts Massimo Bartoletti and Tiziana Cimoli and Roberto Zunino. 2018. | |
| 983. | Flux: Revisting Near Blocks for Proof-of-Work Blockchains Alexei Zamyatin and Nicholas Stifter and Philipp Schindler and Edgar Weippl and William J. Knottenbelt. 2018. | |
| 984. | Analysis of Deterministic Longest-Chain Protocols Shi, Elaine. 2018. | |
| 985. | On the (In)security of Kilian-Based SNARGs James Bartusek and Liron Bronfman and Justin Holmgren and Fermi Ma and Ron Rothblum. 2019. | |
| 986. | Compact Storage of Superblocks for NIPoPoW Applications Kostis Karantias and Aggelos Kiayias and Nikos Leonardos and Dionysis Zindros. 2019. | |
| 987. | Short Selling Attack: A Self-Destructive But Profitable 51% Attack On PoS Blockchains Suhyeon Lee and Seungjoo Kim. 2020. | |
| 988. | Formal security analysis of MPC-in-the-head zero-knowledge protocols Nikolaj Sidorenco and Sabine Oechsner and Bas Spitters. 2021. | |
| 989. | Synchronous Distributed Key Generation without Broadcasts Nibesh Shrestha and Adithya Bhat and Aniket Kate and Kartik Nayak. 2021. | |
| 990. | CRAFT: Composable Randomness Beacons and Output-Independent Abort MPC From Time-Lock Puzzles Carsten Baum and Bernardo David and Rafael Dowsley and Jesper Buus Nielsen and Sabine Oechsner. 2020. | |
| 991. | Linear-map Vector Commitments and their Practical Applications Matteo Campanelli and Anca Nitulescu and Carla Ràfols and Alexandros Zacharakis and Arantxa Zapico. 2022. | |
| 992. | Ace: Abstract consensus encapsulation for liveness boosting of state machine replication Spiegelman, Alexander and Rinberg, Arik. 2019. | |
| 993. | Bicorn: An optimistically efficient distributed randomness beacon Kevin Choi and Arasu Arun and Nirvan Tyagi and Joseph Bonneau. 2023. | |
| 994. | Practical Schnorr Threshold Signatures Without the Algebraic Group Model Hien Chu and Paul Gerhart and Tim Ruffing and Dominique Schröder. 2023. | |
| 995. | Snowblind: A Threshold Blind Signature in Pairing-Free Groups Crites, Elizabeth and Komlo, Chelsea and Maller, Mary and Tessaro, Stefano and Zhu, Chenzhi. 2023. | |
| 996. | ABC: Asynchronous Blockchain without Consensus Sliwinski, Jakub and Wattenhofer, Roger. 2019. | |
| 997. | SoK: Blockchain Technology and Its Potential Use Cases Ruoti, Scott and Kaiser, Ben and Yerukhimovich, Arkady and Clark, Jeremy and Cunningham, Robert. 2019. | |
| 998. | Proof-of-Stake Blockchain Protocols with Near-Optimal Throughput Matthias Fitzi and Peter Gaži and Aggelos Kiayias and Alexander Russell. 2020. | |
| 999. | Collisions on Feistel-MiMC and univariate GMiMC Bonnetain, Xavier. 2019. | |
| 1000. | EthScope: A Transaction-centric Security Analytics Framework to Detect Malicious Smart Contracts on Ethereum Wu, Lei and Wu, Siwei and Zhou, Yajin and Li, Runhuai and Wang, Zhi and Luo, Xiapu and Wang, Cong and Ren, Kui. 2020. | |
| 1001. | Distributed Auditing Proofs of Liabilities Konstantinos Chalkias and Kevin Lewi and Payman Mohassel and Valeria Nikolaenko. 2020. | |
| 1002. | Dynamic Universal Accumulator with Batch Update over Bilinear Groups Giuseppe Vitto and Alex Biryukov. 2020. | |
| 1003. | A Gas-Efficient Superlight Bitcoin Client in Solidity Stelios Daveas and Kostis Karantias and Aggelos Kiayias and Dionysis Zindros. 2020. | |
| 1004. | Information Theoretic HotStuff Abraham, Ittai and Stern, Gilad. 2020. | |
| 1005. | A Direct Construction for Asymptotically Optimal zkSNARKs Abhiram Kothapalli and Elisaweta Masserova and Bryan Parno. 2020. | |
| 1006. | PERIMETER: A network-layer attack on the anonymity of cryptocurrencies Maire, Maria Apostolaki Cedric and Vanbever, Laurent. 2020. | |
| 1007. | Competitive equilibria between staking and on-chain lending Chitra, Tarun. 2019. | |
| 1008. | Succinct functional commitment for a large class of arithmetic circuits Lipmaa, Helger and Pavlyk, Kateryna. 2020. | |
| 1009. | FPPW: A Fair and Privacy Preserving Watchtower For Bitcoin Arash Mirzaei and Amin Sakzad and Jiangshan Yu and Ron Steinfeld. 2021. | |
| 1010. | Analysis and Probing of Parallel Channels in the Lightning Network Alex Biryukov and Gleb Naumenko and Sergei Tikhomirov. 2021. | |
| 1011. | 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. | |
| 1012. | Fuzzy Message Detection Gabrielle Beck and Julia Len and Ian Miers and Matthew Green. 2021. | |
| 1013. | Short-lived zero-knowledge proofs and signatures Arasu Arun and Joseph Bonneau and Jeremy Clark. 2022. | |
| 1014. | Cerberus: Minimalistic multi-shard byzantine-resilient transaction processing Hellings, Jelle and Hughes, Daniel P and Primero, Joshua and Sadoghi, Mohammad. 2020. | |
| 1015. | MIR-BFT: SCALABLE AND ROBUST BFT FOR DECENTRALIZED NETWORKS STATHAKOPOULOU, CHRYSOULA and DAVID, TUDOR and PAVLOVIC, MATEJ and VUKOLI, MARKO. 2022. | |
| 1016. | Transparent Batchable Time-lock Puzzles and Applications to Byzantine Consensus Shravan Srinivasan and Julian Loss and Giulio Malavolta and Kartik Nayak and Charalampos Papamanthou and Sri AravindaKrishnan Thyagarajan. 2022. | |
| 1017. | BalanceProofs: Maintainable Vector Commitments with Fast Aggregation Weijie Wang and Annie Ulichney and Charalampos Papamanthou. 2022. | |
| 1018. | Revisiting the Nova Proof System on a Cycle of Curves Wilson Nguyen and Dan Boneh and Srinath Setty. 2023. | |
| 1019. | Consensus through Herding Chan, TH Hubert and Pass, Rafael and Shi, Elaine. 2019. | |
| 1020. | A Tale of Three Signatures: practical attack of ECDSA with wNAF Gabrielle De Micheli and Rémi Piau and Cécile Pierrot. 2019. | |
| 1021. | Refinement and Verification of CBC Casper Nakamura, Ryuya and Jimba, Takayuki and Harz, Dominik. 2019. | |
| 1022. | A Note on the Unsoundness of vnTinyRAM's SNARK. Parno, Bryan. 2015. | |
| 1023. | Lattice-Based Zero-Knowledge SNARGs for Arithmetic Circuits Nitulescu, Anca. 2019. | |
| 1024. | Consistency in Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders Aggelos Kiayias and Saad Quader and Alexander Russell. 2020. | |
| 1025. | A Tale of Two Trees: One Writes, and Other Reads Le, Duc V and Hurtado, Lizzy Tengana and Ahmad, Adil and Minaei, Mohsen and Lee, Byoungyoung and Kate, Aniket. 2019. | |
| 1026. | Tiramisu: Black-Box Simulation Extractable NIZKs in the Updatable CRS Model Karim Baghery and Mahdi Sedaghat. 2020. | |
| 1027. | LOVE a pairing Diego F. Aranha and Elena Pagnin and Francisco Rodríguez-Henríquez. 2021. | |
| 1028. | Flash Crash for Cash: Cyber Threats in Decentralized Finance Oosthoek, Kris. 2021. | |
| 1029. | 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. | |
| 1030. | Efficient modular NIZK arguments from shift and product Fauzi, Prastudy and Lipmaa, Helger and Zhang, Bingsheng. 2013. | |
| 1031. | zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs Jens Ernstberger and Stefanos Chaliasos and George Kadianakis and Sebastian Steinhorst and Philipp Jovanovic and Arthur Gervais and Benjamin Livshits and Michele Orrù. 2023. | |
| 1032. | Pies: Public incompressible encodings for decentralized storage Cecchetti, Ethan and Miers, Ian and Juels, Ari. 2018. | |
| 1033. | Proof-Carrying Smart Contracts Dickerson, Thomas and Gazzillo, Paul and Herlihy, Maurice and Saraph, Vikram and Koskinen, Eric. 2018. | |
| 1034. | COMIT-Cryptographically-secure Off-chain Multi-asset Instant Transaction Network Hosp, Dr and Hoenisch, Toby and Kittiwongsunthorn, Paul and others. 2018. | |
| 1035. | Efficient Non-Interactive Zero-Knowledge Proofs in Cross-Domains Without Trusted Setup Backes, Michael and Hanzlik, Lucjan and Herzberg, Amir and Kate, Aniket and Pryvalov, Ivan. 2019. | |
| 1036. | On Profitability of Nakamoto double spend Grunspan, Cyril and P\'erez-Marco, Ricardo. 2019. | |
| 1037. | Arcula: A Secure Hierarchical Deterministic Wallet for Multi-asset Blockchains Di Luzio, Adriano and Francati, Danilo and Ateniese, Giuseppe. 2019. | |
| 1038. | Albert, an intermediate smart-contract language for the Tezos blockchain Bernardo, Bruno and Cauderlier, Rapha\"el and Pesin, Basile and Tesson, Julien. 2020. | |
| 1039. | Termination of Ethereum's Smart Contracts Genet, Thomas and Jensen, Thomas and Sauvage, Justine. 2020. | |
| 1040. | Updatable Blockchains⋆ Ciampi, Michele and Karayannidis, Nikos and Kiayias, Aggelos and Zindros, Dionysis. 2020. | |
| 1041. | Consensus Redux: Distributed Ledgers in the Face of Adversarial Supremacy Badertscher, Christian and Gazi, Peter and Kiayias, Aggelos and Russell, Alexander and Zikas, Vassilis. 2020. | |
| 1042. | A note on the low order assumption in class group of an imaginary quadratic number fields Karim Belabas and Thorsten Kleinjung and Antonio Sanso and Benjamin Wesolowski. 2020. | |
| 1043. | Payment Trees: Low Collateral Payments for Payment Channel Networks Maxim Jourenko and Mario Larangeira and Keisuke Tanaka. 2020. | |
| 1044. | Zero-Knowledge Succinct Arguments with a Linear-Time Prover Jonathan Bootle and Alessandro Chiesa and Siqi Liu. 2020. | |
| 1045. | 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. | |
| 1046. | Guessing Bits: Improved Lattice Attacks on (EC)DSA Chao Sun and Thomas Espitau and Mehdi Tibouchi and Masayuki Abe. 2021. | |
| 1047. | Practical Witness-Key-Agreement for Blockchain-based Dark Pools Financial Trading Ngo, Chan Nam and Massacci, Fabio and Kerschbaum, Florian and Williams, Julian. 2021. | |
| 1048. | Keeping Time-Release Secrets through Smart Contracts Jianting Ning and Hung Dang and Ruomu Hou and Ee-Chien Chang. 2018. | |
| 1049. | ZPiE: Zero-knowledge Proofs in Embedded systems Xavier Salleras and Vanesa Daza. 2021. | |
| 1050. | Curve Trees: Practical and Transparent Zero-Knowledge Accumulators Matteo Campanelli and Mathias Hall-Andersen and Simon Holmgaard Kamp. 2022. | |
| 1051. | Statistical model checking of RANDAO’s resilience to pre-computed reveal strategies Alturki, Musab A and Ro\csu, Grigore. 2019. | |
| 1052. | Proof of Availability & Retrieval in a Modular Blockchain Architecture Shir Cohen and Guy Goren and Lefteris Kokoris-Kogias and Alberto Sonnino and Alexander Spiegelman. 2022. | |
| 1053. | An Axiomatic Characterization of CFMMs and Equivalence to Prediction Markets Frongillo, Rafael and Papireddygari, Maneesha and Waggoner, Bo. 2023. | |
| 1054. | Speculative Denial-of-Service Attacks in Ethereum Aviv Yaish and Kaihua Qin and Liyi Zhou and Aviv Zohar and Arthur Gervais. 2023. | |
| 1055. | Dew: Transparent Constant-sized {zkSNARKs} Arasu Arun and Chaya Ganesh and Satya Lokam and Tushar Mopuri and Sriram Sridhar. 2022. | |
| 1056. | Automated Verification of Electrum Wallet Mathieu Turuani and Thomas Voegtlin and Micha\"el Rusinowitch. 2016. | |
| 1057. | Proofs of Work for Blockchain Protocols Garay, Juan A and Kiayias, Aggelos and Panagiotakos, Giorgos. 2017. | |
| 1058. | Pitchforks in Cryptocurrencies: Enforcing Rule Changes Through Offensive Weippl, Edgar. 2018. | |
| 1059. | Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol Betarte, Gustavo and Cristi\'a, Maximiliano and Luna, Carlos and Silveira, Adri\'an and Zanarini, Dante. 2019. | |
| 1060. | Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity Antonino, Pedro and Roscoe, AW. 2020. | |
| 1061. | Mining for Privacy: How to Bootstrap a Snarky Blockchain Thomas Kerber and Aggelos Kiayias and Markulf Kohlweiss. 2020. | |
| 1062. | Plumo: Towards Scalable Interoperable Blockchains Using Ultra Light Validation Systems Gabizon, Ariel and Gurkan, Kobi and Jovanovic, Philipp and Konstantopoulos, Georgios and Oines, Asa and Olszewski, Marek and Straka, Michael and Tromer, Eran. 2020. | |
| 1063. | Game theoretical framework for analyzing Blockchains Robustness Paolo Zappalà and Marianna Belotti and Maria Potop-Butucaru and Stefano Secci. 2020. | |
| 1064. | Time-release Cryptography from Minimal Circuit Assumptions Samuel Jaques and Hart Montgomery and Arnab Roy. 2020. | |
| 1065. | Polynomial IOPs for Linear Algebra Relations Alan Szepieniec. 2020. | |
| 1066. | A formal model of Algorand smart contracts Bartoletti, Massimo and Bracciali, Andrea and Lepore, Cristian and Scalas, Alceste and Zunino, Roberto. 2020. | |
| 1067. | WI is Almost Enough: Contingent Payment All Over Again Nguyen, Ky and Ambrona, Miguel and Abe, Masayuki. 2020. | |
| 1068. | Embedding a Deterministic BFT Protocol in a Block DAG Schett, Maria A and Danezis, George. 2021. | |
| 1069. | Assessing Smart Contracts Security Technical Debts Ahmadjee, Sabreen and Mera-G\'omez, Carlos and Bahsoon, Rami. 2021. | |
| 1070. | A Note on Privacy in Constant Function Market Makers Angeris, Guillermo and Evans, Alex and Chitra, Tarun. 2021. | |
| 1071. | Proof of Assets in the Diem Blockchain Panagiotis Chatzigiannis and Konstantinos Chalkias. 2021. | |
| 1072. | Private Signaling Varun Madathil and Alessandra Scafuro and István András Seres and Omer Shlomovits and Denis Varlakov. 2021. | |
| 1073. | Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions Aarushi Goel and Mathias Hall-Andersen and Gabriel Kaptchuk and Nicholas Spooner. 2022. | |
| 1074. | Credible, Optimal Auctions via Blockchains Tarun Chitra and Matheus V. X. Ferreira and Kshitij Kulkarni. 2023. | |
| 1075. | Zeromorph: Zero-Knowledge Multilinear-Evaluation Proofs from Homomorphic Univariate Commitments Tohru Kohrita and Patrick Towa. 2023. | |
| 1076. | Decentralized Finance (DeFi): A Survey Erya Jiang and Bo Qin and Qin Wang and Zhipeng Wang and Qianhong Wu and Jian Weng and Xinyu Li and Chenyang Wang and Yuhang Ding and Yanran Zhang. 2023. | |
| 1077. | Bandwidth-Efficient Transaction Relay for Bitcoin Naumenko, Gleb and Maxwell, Gregory and Wuille, Pieter and Fedorova, Sasha and Beschastnikh, Ivan. 2019. | |
| 1078. | Smartanvil: Open-source tool suite for smart contract analysis Ducasse, St\'ephane and Rocha, Henrique and Bragagnolo, Santiago and Denker, Marcus and Francomme, Cl\'ement. 2019. | |
| 1079. | Coalition-Safe Equilibria with Virtual Payoffs Kiayias, Aggelos and Stouka, Aikaterini-Panagiota. 2019. | |
| 1080. | An airdrop that preserves recipient privacy⋆ Wahby, Riad S and Boneh, Dan and Jeffrey, Christopher and Poon, Joseph. 2020. | |
| 1081. | TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation Alexei Zamyatin and Zeta Avarikioti and Daniel Perez and William J. Knottenbelt. 2020. | |
| 1082. | Fast amortized KZG proofs Dankrad Feist and Dmitry Khovratovich. 2023. | |
| 1083. | Decentralized reputation Tassos Dimitriou. 2020. | |
| 1084. | FileBounty: Fair Data Exchange Janin, Simon and Qin, Kaihua and Mamageishvili, Akaki and Gervais, Arthur. 2020. | |
| 1085. | Attacking Threshold Wallets Jean-Philippe Aumasson and Omer Shlomovits. 2020. | |
| 1086. | SodsMPC: FSM based Anonymous and Private Quantum-safe Smart Contracts Shlomi Dolev and Ziyu Wang. 2020. | |
| 1087. | SodsMPC: FSM based Anonymous and Private Quantum-safe Smart Contracts Shlomi Dolev and Ziyu Wang. 2020. | |
| 1088. | Efficient and Universally Composable Single Secret Leader Election from Pairings Dario Catalano and Dario Fiore and Emanuele Giunta. 2021. | |
| 1089. | A New Way to Achieve Round-Efficient Byzantine Agreement Matthias Fitzi and Chen-Da Liu-Zhang and Julian Loss. 2021. | |
| 1090. | Mithril: Stake-based Threshold Multisignatures Pyrros Chaidos and Aggelos Kiayias. 2021. | |
| 1091. | Bandersnatch: a fast elliptic curve built over the BLS12-381 scalar field Simon Masson and Antonio Sanso and Zhenfei Zhang. 2021. | |
| 1092. | How Do Smart Contracts Benefit Security Protocols? Li, Rujia and Wang, Qin and Wang, Qi and Galindo, David. 2022. | |
| 1093. | OptRand: Optimistically responsive distributed random beacons Adithya Bhat and Aniket Kate and Kartik Nayak and Nibesh Shrestha. 2022. | |
| 1094. | Longest Chain Consensus Under Bandwidth Constraint Neu, Joachim and Sridhar, Srivatsan and Yang, Lei and Tse, David and Alizadeh, Mohammad. 2021. | |
| 1095. | Complexity-Approximation Trade-offs in Exchange Mechanisms: AMMs vs. LOBs Milionis, Jason and Moallemi, Ciamac C. and Roughgarden, Tim. 2023. | |
| 1096. | ROYALE: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement Bernardo David and Rafael Dowsley and Mario Larangeira. 2018. | |
| 1097. | MProve: A Proof of Reserves Protocol for Monero Exchanges Dutta, Arijit and Vijayakumaran, Saravanan. 2019. | |
| 1098. | Self-reproducing coins as universal turing machine Chepurnoy, Alexander and Kharin, Vasily and Meshkov, Dmitry. 2018. | |
| 1099. | Characterizing Orphan Transactions in the Bitcoin Network Imtiaz, Muhammad Anas and Starobinski, David and Trachtenberg, Ari. 2019. | |
| 1100. | Network-Agnostic State Machine Replication Blum, Erica and Katz, Jonathan and Loss, Julian. 2020. | |
| 1101. | How to Keep a Secret and Share a Public Key (Using Polynomial Commitments) Nicolescu, Ioan Alin Tomescu. 2020. | |
| 1102. | CommiTEE: An Efficient and Secure Commit-Chain Protocol using TEEs Andreas Erwig and Sebastian Faust and Siavash Riahi and Tobias Stöckert. 2020. | |
| 1103. | On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols Markulf Kohlweiss and Varun Madathil and Kartik Nayak and Alessandra Scafuro. 2021. | |
| 1104. | Scalable and privacy-preserving off-chain computations Eberhardt, Jacob. 2021. | |
| 1105. | Differential Privacy in Constant Function Market Makers Tarun Chitra and Guillermo Angeris and Alex Evans. 2021. | |
| 1106. | 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. | |
| 1107. | Large-Scale Non-Interactive Threshold Cryptosystems in the YOSO Model Andreas Erwig and Sebastian Faust and Siavash Riahi. 2021. | |
| 1108. | Adaptively Secure Single Secret Leader Election from DDH Dario Catalano and Dario Fiore and Emanuele Giunta. 2022. | |
| 1109. | PAPR: Publicly Auditable Privacy Revocation for Anonymous Credentials Joakim Brorsson and Bernardo David and Lorenzo Gentile and Elena Pagnin and Paul Stankovski Wagner. 2023. | |
| 1110. | Cryptographic Oracle-Based Conditional Payments Madathil, Varun and Thyagarajan, Sri AravindaKrishnan and Vasilopoulos, Dimitrios and Fournier, Lloyd and Malavolta, Giulio and Moreno-Sanchez, Pedro. 2023. | |
| 1111. | Simplex Consensus: A Simple and Fast Consensus Protocol Benjamin Y Chan and Rafael Pass. 2023. | |
| 1112. | Suboptimality in DeFi Aviv Yaish and Maya Dotan and Kaihua Qin and Aviv Zohar and Arthur Gervais. 2023. | |
| 1113. | Sublonk: Sublinear prover plonk Choudhuri, Arka Rai and Garg, Sanjam and Goel, Aarushi and Sekar, Sruthi and Sinha, Rohit. 2024. | |
| 1114. | {aPlonK} : Aggregated {PlonK} from Multi-Polynomial Commitment Schemes Miguel Ambrona and Marc Beunardeau and Anne-Laure Schmitt and Raphaël R. Toledo. 2022. | |
| 1115. | Switch Commitments: A Safety Switch for Confidential Transactions Ruffing, Tim and Malavolta, Giulio. 2017. | |
| 1116. | How perfect offline wallets can still leak bitcoin private keys Verb\"ucheln, Stephan. 2015. | |
| 1117. | Unraveling recursion: compiling an IR with recursion to system F Jones, Michael Peyton and Gkoumas, Vasilis and Kireev, Roman and MacKenzie, Kenneth and Nester, Chad and Wadler, Philip. 2019. | |
| 1118. | SAMPL: Scalable Auditability of Monitoring Processes using Public Ledgers Panwar, Gaurav and Vishwanathan, Roopa and Misra, Satyajayant and Bos, Austin. 2019. | |
| 1119. | WIP: Finding Bugs Automatically in Smart Contracts with Parameterized Invariants Bernardi, Thomas and Dor, Nurit and Fedotov, Anastasia and Grossman, Shelly and Immerman, Neil and Jackson, Daniel and Nutz, Alex and Oppenheim, Lior and Pistiner, Or and Rinetzky, Noam and others. 2020. | |
| 1120. | Vector Commitment Techniques and Applications to Verifiable Decentralized Storage Matteo Campanelli and Dario Fiore and Nicola Greco and Dimitris Kolonelos and Luca Nizzardo. 2020. | |
| 1121. | Account Management in Proof of Stake Ledgers Dimitris Karakostas and Aggelos Kiayias and Mario Larangeira. 2020. | |
| 1122. | The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts Schneidewind, Clara and Scherer, Markus and Maffei, Matteo. 2020. | |
| 1123. | Timed Signatures and Zero-Knowledge Proofs -Timestamping in the Blockchain Era- Aydin Abadi and Michele Ciampi and Aggelos Kiayias and Vassilis Zikas. 2019. | |
| 1124. | Atomic Swaps between Bitcoin and Monero Hoenisch, Philipp and del Pino, Lucas Soriano. 2021. | |
| 1125. | Efficient Functional Commitments: How to Commit to Private Functions Dan Boneh and Wilson Nguyen and Alex Ozdemir. 2021. | |
| 1126. | On Succinct Non-Interactive Arguments in Relativized Worlds Chen, Megan and Chiesa, Alessandro and Spooner, Nicholas. 2022. | |
| 1127. | Succinct Zero Knowledge for Floating Point Computations Garg, Sanjam and Jain, Abhishek and Jin, Zhengzhong and Zhang, Yinuo. 2022. | |
| 1128. | Quadratic worst-case message complexity for State Machine Replication in the partial synchrony model Lewis-Pye, Andrew. 2022. | |
| 1129. | Compact certificates of collective knowledge Micali, Silvio and Reyzin, Leonid and Vlachos, Georgios and Wahby, Riad S and Zeldovich, Nickolai. 2021. | |
| 1130. | A Survey of Secure Computation Using Trusted Execution Environments Li, Xiaoguo and Zhao, Bowen and Yang, Guomin and Xiang, Tao and Weng, Jian and Deng, Robert H.. 2023. | |
| 1131. | SPEEDEX: A Scalable, Parallelizable, and Economically Efficient Decentralized EXchange Geoffrey Ramseyer and Ashish Goel and David Mazières. 2023. | |
| 1132. | ParBFT: Faster Asynchronous BFT Consensus with a Parallel Optimistic Path Dai, Xiaohai and Zhang, Bolin and Jin, Hai and Ren, Ling. 2023. | |
| 1133. | Testudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup Matteo Campanelli and Nicolas Gailly and Rosario Gennaro and Philipp Jovanovic and Mara Mihali and Justin Thaler. 2023. | |
| 1134. | SublonK: Sublinear Prover PlonK Arka Rai Choudhuri and Sanjam Garg and Aarushi Goel and Sruthi Sekar and Rohit Sinha. 2023. | |
| 1135. | Lookup Arguments: Improvements, Extensions and Applications to Zero-Knowledge Decision Trees Matteo Campanelli and Antonio Faonio and Dario Fiore and Tianyu Li and Helger Lipmaa. 2023. | |
| 1136. | R3C3: Cryptographically secure Censorship Resistant Rendezvous using Cryptocurrencies Mohsen Minaei and Pedro Moreno-Sanchez and Aniket Kate. 2018. | |
| 1137. | MoneyMorph: Censorship Resistant Rendezvous using Permissionless Cryptocurrencies Minaei, Mohsen and Moreno-Sanchez, Pedro and Kate, Aniket. 2020. | |
| 1138. | Blockchain with Varying Number of Players T-H. Hubert Chan and Naomi Ephraim and Antonio Marcedone and Andrew Morgan and Rafael Pass and Elaine Shi. 2020. | |
| 1139. | The Velvet Path to Superlight Blockchain Clients Kiayias, Aggelos and Polydouri, Andrianna and Zindros, Dionysis. 2020. | |
| 1140. | Load Balancing for Sharded Blockchains Okanami, Naoya and Nakamura, Ryuya and Nishide, Takashi. 2020. | |
| 1141. | Composition with Knowledge Assumptions Thomas Kerber and Aggelos Kiayias and Markulf Kohlweiss. 2021. | |
| 1142. | BooLigero: Improved Sublinear Zero Knowledge Proofs for Boolean Circuits Yaron Gvili and Sarah Scheffler and Mayank Varia. 2021. | |
| 1143. | Temporal aspects of smart contracts for financial derivatives Clack, Christopher D and Vanca, Gabriel. 2018. | |
| 1144. | Financial intermediation and risk in decentralized lending protocols Castro-Iragorri, Carlos and Ramirez, Julian and Velez, Sebastian. 2021. | |
| 1145. | 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. | |
| 1146. | Cryptography with Weights: MPC, Encryption and Signatures Sanjam Garg and Abhishek Jain and Pratyay Mukherjee and Rohit Sinha and Mingyuan Wang and Yinuo Zhang. 2022. | |
| 1147. | Automated Market Makers: Mean-Variance Analysis of LPs Payoffs and Design of Pricing Functions Bergault, Philippe and Bertucci, Louis and Bouba, David and Gu\'eant, Olivier. 2022. | |
| 1148. | Scaling Blockchains with Error Correction Codes: A Survey on Coded Blockchains Yang, Changlin and Chin, Kwan-Wu and Wang, Jiguang and Wang, Xiaodong and Liu, Ying and Zheng, Zibin. 2022. | |
| 1149. | Scaling Blockchains with Error Correction Codes: A Survey on Coded Blockchains Yang, Changlin and Chin, Kwan-Wu and Wang, Jiguang and Wang, Xiaodong and Liu, Ying and Zheng, Zibin. 2022. | |
| 1150. | Efficient NIZK arguments via parallel verification of benes networks Lipmaa, Helger. 2014. | |
| 1151. | Threshold Signatures in the Multiverse Leemon Baird and Sanjam Garg and Abhishek Jain and Pratyay Mukherjee and Rohit Sinha and Mingyuan Wang and Yinuo Zhang. 2023. | |
| 1152. | Maximizing Miner Revenue in Transaction Fee Mechanism Design Ke Wu and Elaine Shi and Hao Chung. 2023. | |
| 1153. | Subset-optimized BLS Multi-signature with Key Aggregation Foteini Baldimtsi and Konstantinos Kryptos Chalkias and Francois Garillot and Jonas Lindstrom and Ben Riva and Arnab Roy and Alberto Sonnino and Pun Waiwitlikhit and Joy Wang. 2023. | |
| 1154. | Abraxas: Throughput-Efficient Hybrid Asynchronous Consensus Erica Blum and Jonathan Katz and Julian Loss and Kartik Nayak and Simon Ochsenreither. 2023. | |
| 1155. | Improving logarithmic derivative lookups using GKR Shahar Papini and Ulrich Haböck. 2023. | |
| 1156. | SLAP: Succinct Lattice-Based Polynomial Commitments from Standard Assumptions Martin R. Albrecht and Giacomo Fenzi and Oleksandra Lapiha and Ngoc Khanh Nguyen. 2023. | |
| 1157. | Database Perspectives on Blockchains Cohen, Sara and Zohar, Aviv. 2018. | |
| 1158. | Contingent payments on a public ledger: models and reductions for automated verification. Bursuc, Sergiu and Kremer, Steve. 2019. | |
| 1159. | Smart Contract Derivatives Kostis Karantias and Aggelos Kiayias and Dionysis Zindros. 2020. | |
| 1160. | Resources: A Safe Language Abstraction for Money Blackshear, Sam and Dill, David L and Qadeer, Shaz and Barrett, Clark W and Mitchell, John C and Padon, Oded and Zohar, Yoni. 2020. | |
| 1161. | Functional blockchain contracts Chakravarty, Manuel and Kireev, Roman and MacKenzie, Kenneth and McHale, Vanessa and M\"uller, Jann and Nemish, Alexander and Nester, Chad and Jones, Michael Peyton and Thompsona, Simon and Valentine, Rebecca and others. 2019. | |
| 1162. | Tracking Mixed Bitcoins Tironsakkul, Tin and Maarek, Manuel and Eross, Andrea and Just, Mike. 2020. | |
| 1163. | Lattice-Based Proof-of-Work for Post-Quantum Blockchains Rouzbeh Behnia and Eamonn W. Postlethwaite and Muslum Ozgur Ozmen and Attila Altay Yavuz. 2020. | |
| 1164. | Merkle Trees Optimized for Stateless Clients in Bitcoin Bailey, Bolton and Sankagiri, Suryanarayana. 2021. | |
| 1165. | Automated market makers that enable new settings: Extending constant-utility cost functions Othman, Abraham and Sandholm, Tuomas. 2011. | |
| 1166. | Private Liquidity Matching using MPC Shahla Atapoor and Nigel P. Smart and Younes Talibi Alaoui. 2021. | |
| 1167. | Flexible Anonymous Transactions (FLAX): Towards Privacy-Preserving and Composable Decentralized Finance Dai, Wei. 2021. | |
| 1168. | Co-factor clearing and subgroup membership testing on pairing-friendly curves Youssef El Housni and Aurore Guillevic and Thomas Piellard. 2022. | |
| 1169. | State Machine Replication under Changing Network Conditions Andreea B. Alexandru and Erica Blum and Jonathan Katz and Julian Loss. 2022. | |
| 1170. | SoK: Play-to-Earn Projects Yu, Jingfan and Zhang, Mengqian and Chen, Xi and Fang, Zhixuan. 2022. | |
| 1171. | Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets Kelkar, Mahimna and Babel, Kushal and Daian, Philip and Austgen, James and Buterin, Vitalik and Juels, Ari. 2023. | |
| 1172. | Mitigating Decentralized Finance Liquidations with Reversible Call Options Kaihua Qin and Jens Ernstberger and Liyi Zhou and Philipp Jovanovic and Arthur Gervais. 2023. | |
| 1173. | Algebraic Group Model with Oblivious Sampling Helger Lipmaa and Roberto Parisella and Janno Siim. 2023. | |
| 1174. | MARS: Monetized Ad-hoc Routing System (A Position Paper) David, Bernardo and Dowsley, Rafael and Larangeira, Mario. 2018. | |
| 1175. | Time-Memory Tradeoff Attacks on the MTP Proof-of-Work Scheme Itai Dinur and Niv Nadler. 2017. | |
| 1176. | Atomic Cross-Chain Swaps with Improved Space and Time Complexity Imoto, Soichiro and Sudo, Yuichi and Kakugawa, Hirotsugu and Masuzawa, Toshimitsu. 2019. | |
| 1177. | Bitcoin covenants unchained Bartoletti, Massimo and Lande, Stefano and Zunino, Roberto. 2020. | |
| 1178. | Aardvark: A Concurrent Authenticated Dictionary with Short Proofs Derek Leung and Yossi Gilad and Sergey Gorbunov and Leonid Reyzin and Nickolai Zeldovich. 2020. | |
| 1179. | Why Stake When You Can Borrow? Chitra, Tarun and Evans, Alex. 2020. | |
| 1180. | Securing Parallel-chain Protocols under Variable Mining Power Xuechao Wang and Viswa Virinchi Muppirala and Lei Yang and Sreeram Kannan and Pramod Viswanath. 2021. | |
| 1181. | Blockchains as kripke models: An analysis of atomic cross-chain swap Hirai, Yoichi. 2018. | |
| 1182. | Cryptoeconomic Security for Data Availability Committees Tas, Ertem Nusret and Boneh, Dan. 2022. | |
| 1183. | TrustBoost: Boosting Trust among Interoperable Blockchains Wang, Xuechao and Sheng, Peiyao and Kannan, Sreeram and Nayak, Kartik and Viswanath, Pramod. 2022. | |
| 1184. | Efficient Isogeny Proofs Using Generic Techniques Kelong Cong and Yi-Fu Lai and Shai Levin. 2023. | |
| 1185. | Fever: Optimal Responsive View Synchronisation Lewis-Pye, Andrew and Abraham, Ittai. 2023. | |
| 1186. | Elliptic Curve Fast Fourier Transform (ECFFT) Part I: Low-degree Extension in Time O (n log n) over all Finite Fields Ben-Sasson, Eli and Carmon, Dan and Kopparty, Swastik and Levit, David. 2023. | |
| 1187. | Universally Composable NIZKs: Circuit-Succinct, Non-Malleable and CRS-Updatable Behzad Abdolmaleki and Noemi Glaeser and Sebastian Ramacher and Daniel Slamanig. 2023. | |
| 1188. | Why Stake When You Can Borrow? Tarun Chitra and Alex Evans. 2020. | |
| 1189. | SoK: Decentralized Sequencers for Rollups Shashank Motepalli and Luciano Freitas and Benjamin Livshits. 2023. | |
| 1190. | Efficient Algorithms for Broadcast and Consensus Based on Proofs of Work Lisa Eckey and Sebastian Faust and Julian Loss. 2017. | |
| 1191. | Load Thresholds for Cuckoo Hashing with Overlapping Blocks Walzer, S.. 2017. | |
| 1192. | Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph Albert, Elvira and Correas, Jes\'us and Gordillo, Pablo and Rom\'an-D\'\iez, Guillermo and Rubio, Albert. 2020. | |
| 1193. | Proposal: The Turbo-PLONK program syntax for specifying SNARK programs Ariel Gabizon and Zachary J. Williamson. 2020. | |
| 1194. | Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts Santos Reis, Jo\~ao and Crocker, Paul and Melo de Sousa, Sim\~ao. 2020. | |
| 1195. | Design choices for Central Bank Digital Currency Allen, Sarah and Capkun, Srdjan and Eyal, Ittay and Fanti, Giulia and Ford, Bryan and Grimmelmann, James and Juels, Ari and Kostiainen, Kari and Meiklejohn, Sarah and Miller, Andrew and others. 2020. | |
| 1196. | A Tendermint Light Client Braithwaite, Sean and Buchman, Ethan and Khoffi, Ismail and Konnov, Igor and Milosevic, Zarko and Ruetschi, Romain and Widder, Josef. 2020. | |
| 1197. | Making Tezos Smart Contracts More Reliable with Coq Bernardo, Bruno and Cauderlier, Rapha\"el and Claret, Guillaume and Jakobsson, Arvid and Pesin, Basile and Tesson, Julien. 2020. | |
| 1198. | Formal Modelling and Security Analysis of Bitcoin's Payment Protocol Modesti, Paolo and Shahandashti, Siamak F and McCorry, Patrick and Hao, Feng. 2021. | |
| 1199. | On Time-Lock Cryptographic Assumptions in Abelian Hidden-Order Groups Aron van Baarsen and Marc Stevens. 2021. | |
| 1200. | Formalising Decentralised Exchanges in Coq Nielsen, Eske Hoy and Annenkov, Danil and Spitters, Bas. 2022. | |
| 1201. | Mt. Random: Multi-Tiered Randomness Beacons Ignacio Cascudo and Bernardo David and Omer Shlomovits and Denis Varlakov. 2021. | |
| 1202. | Revisiting cycles of pairing-friendly elliptic curves Marta Bellés-Muñoz and Jorge Jiménez Urroz and Javier Silva. 2022. | |
| 1203. | LightSwap: An Atomic Swap Does Not Require Timeouts At Both Blockchains Philipp Hoenisch and Subhra Mazumdar and Pedro Moreno-Sanchez and Sushmita Ruj. 2022. | |
| 1204. | Bulletproofs++: Next Generation Confidential Transactionsvia Reciprocal Set Membership Arguments Liam Eagen. 2022. | |
| 1205. | Simple, Fast, Efficient, and Tightly-Secure Non-Malleable Non-Interactive Timed Commitments Peter Chvojka and Tibor Jager. 2022. | |
| 1206. | Shades of Finality and Layer 2 Scaling Yee, Bennet and Song, Dawn and McCorry, Patrick and Buckland, Chris. 2022. | |
| 1207. | HoRStify: Sound Security Analysis of Smart Contracts Holler, Sebastian and Biewer, Sebastian and Schneidewind, Clara. 2023. | |
| 1208. | Derecho: Privacy Pools with Proof-Carrying Disclosures Josh Beal and Ben Fisch. 2023. | |
| 1209. | Lyra: Fast and Scalable Resilience to Reordering Attacks in Blockchains Zarbafian, Pouriya and Gramoli, Vincent. 2023. | |
| 1210. | Lyra: Fast and Scalable Resilience to Reordering Attacks in Blockchains Zarbafian, Pouriya and Gramoli, Vincent. 2023. | |
| 1211. | SoK: Delay-based Cryptography Liam Medley and Angelique Faye Loe and Elizabeth A. Quaglia. 2023. | |
| 1212. | VSS from Distributed ZK Proofs and Applications Shahla Atapoor and Karim Baghery and Daniele Cozzo and Robi Pedersen. 2023. | |
| 1213. | A primer on perpetuals Guillermo Angeris and Tarun Chitra and Alex Evans and Matthew Lorig. 2022. | |
| 1214. | Twinkle: Threshold Signatures from DDH with Full Adaptive Security Renas Bacho and Julian Loss and Stefano Tessaro and Benedikt Wagner and Chenzhi Zhu. 2023. | |
| 1215. | Two-Party State Channels with Assertions Corry, Patrick Buckland, Chris. 2019. | |
| 1216. | The Bitcoin Backbone Protocol Against Quantum Adversaries Alexandru Cojocaru and Juan Garay and Aggelos Kiayias and Fang Song and Petros Wallden. 2019. | |
| 1217. | Pricing ASICs for Cryptocurrency Mining Yaish, Aviv and Zohar, Aviv. 2020. | |
| 1218. | Formal Verification of Solidity contracts in Event-B Zhu, Jian and Hu, Kai and Filali, Mamoun and Bodeveix, Jean-Paul and Talpin, Jean-Pierre. 2020. | |
| 1219. | Timelocked Bribes Majid Khabbazian and Tejaswi Nadahalli and Roger Wattenhofer. 2020. | |
| 1220. | Flexible Formality Practical Experience with Agile Formal Methods Szamotulski, Marcin and Vinogradova, Polina. 2020. | |
| 1221. | Manta: Privacy Preserving Decentralized Exchange Shumo Chu and Qiudong Xia and Zhenfei Zhang. 2020. | |
| 1222. | An analysis of atomic swaps on and between ethereum blockchains using smart contracts Bennink, Peter and Gijtenbeek, Lennart van and Deventer, Oskar van and Everts, Maarten. 2018. | |
| 1223. | The Cryptographic Complexity of Anonymous Coins: A Systematic Exploration Niluka Amarasinghe and Xavier Boyen and Matthew McKague. 2021. | |
| 1224. | Elmo: Recursive Virtual Payment Channels for Bitcoin Aggelos Kiayias and Orfeas Stefanos Thyfronitis Litos. 2021. | |
| 1225. | Blockchain Layer Zero: Characterizing the Bitcoin Network through Measurements, Models, and Simulations Elias Rohrer and Florian Tschorsch. 2021. | |
| 1226. | Kadcast-NG: A Structured Broadcast Protocol for Blockchain Networks Elias Rohrer and Florian Tschorsch. 2021. | |
| 1227. | Dispute-free Scalable Open Vote Network using zk-SNARKs ElSheikh, Muhammad and Youssef, Amr M. 2022. | |
| 1228. | Light Clients for Lazy Blockchains Tas, Ertem Nusret and Zindros, Dionysis and Yang, Lei and Tse, David. 2022. | |
| 1229. | Sweep-UC: Swapping Coins Privately Hanzlik, Lucjan and Loss, Julian and Thyagarajan, Sri AravindaKrishnan and Wagner, Benedikt. 2022. | |
| 1230. | Practical Asynchronous Proactive Secret Sharing and Key Refresh G\"unther, Christoph U. and Das, Sourav and Kokoris-Kogias, Lefteris. 2022. | |
| 1231. | Proofs of discrete logarithm equality across groups Melissa Chase and Michele Orrù and Trevor Perrin and Greg Zaverucha. 2022. | |
| 1232. | Fiat-Shamir Bulletproofs are Non-Malleable (in the Random Oracle Model) Chaya Ganesh and Claudio Orlandi and Mahak Pancholi and Akira Takahashi and Daniel Tschudi. 2023. | |
| 1233. | Measuring miner decentralization in proof-of-work blockchains Long, Sishan and Basu, Soumya and Sirer, Emin G\"un. 2022. | |
| 1234. | Understanding BRC-20: Hope or Hype Wang, Qin and Yu, Guangsheng. 2023. | |
| 1235. | Echoes of the Past: Recovering Blockchain Metrics From Merged Mining Stifter, Nicholas and Schindler, Philipp and Judmayer, Aljosha and Zamyatin, Alexei and Kern, Andreas and Weippl, Edgar. 2018. | |
| 1236. | Thring Signatures and their Applications to Spender-Ambiguous Digital Currencies. Goodell, Brandon and Noether, Sarang. 2018. | |
| 1237. | Managing Secrets with Consensus Networks: Fairness, Ransomware and Access Control. Kaptchuk, Gabriel and Miers, Ian and Green, Matthew. 2017. | |
| 1238. | A Survey of Two Verifiable Delay Functions. Boneh, Dan and B\"unz, Benedikt and Fisch, Ben. 2018. | |
| 1239. | ShareLock: Mixing for Cryptocurrencies from Multiparty ECDSA Shlomovits, Omer and Seres, Istv\'an Andr\'as. 2019. | |
| 1240. | Continuous Space-Bounded Non-Malleable Codes from Stronger Proofs-of-Space Binyi Chen and Yilei Chen and Kristina Hostáková and Pratyay Mukherjee. 2019. | |
| 1241. | Towards declarative smart contracts Purnell, Kevin and Schwitter, Rolf. 2019. | |
| 1242. | The security of Groups of Unknown Order based on Jacobians of Hyperelliptic Curves Jonathan Lee. 2020. | |
| 1243. | Performance Overhead of Atomic Crosschain Transactions Robinson, Peter. 2020. | |
| 1244. | FloodXMR: Low-cost transaction flooding attack with Monero's bulletproof protocol. Chervinski, Joao Ot\'avio Massari and Kreutz, Diego and Yu, Jiangshan. 2019. | |
| 1245. | JugglingSwap: Scriptless Atomic Cross-Chain Swaps Shlomovits, Omer and Leiba, Oded. 2020. | |
| 1246. | Accumulators in (and Beyond) Generic Groups: Non-Trivial Batch Verification Requires Interaction Schul-Ganz, Gili and Segev, Gil. 2020. | |
| 1247. | Achieving privacy and accountability in traceable digital currency Amira Barki and Aline Gouget. 2020. | |
| 1248. | 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. | |
| 1249. | Analysis of CryptoNote Transaction Graphs using the Dulmage-Mendelsohn Decomposition Saravanan Vijayakumaran. 2021. | |
| 1250. | CollaChain: A BFT Collaborative Middleware for Decentralized Applications Tennakoon, Deepal and Hua, Yiding and Gramoli, Vincent. 2022. | |
| 1251. | More Efficient Zero-Knowledge Protocols over $\mathbb{Z}_{2^k}$ via Galois Rings Fuchun Lin and Chaoping Xing and Yizhou Yao. 2023. | |
| 1252. | Decentralizing Custodial Wallets with MFKDF Vivek Nair and Dawn Song. 2023. | |
| 1253. | Multi-block MEV Johannes Rude Jensen and Victor von Wachter and Omri Ross. 2023. | |
| 1254. | Practical Key-Extraction Attacks in Leading MPC Wallets Nikolaos Makriyannis and Oren Yomtov. 2023. | |
| 1255. | SoK: Cross-Domain MEV Conor McMenamin. 2023. | |
| 1256. | The Proof is in the Pudding: Proofs of Work for Solving Discrete Logarithms Marcella Hastings and Nadia Heninger and Eric Wustrow. 2018. | |
| 1257. | piChain: When a Blockchain meets Paxos Burchert, Conrad and Wattenhofer, Roger. 2018. | |
| 1258. | On decentralized oracles for data availability Teutsch, Jason. 2017. | |
| 1259. | Digital Signatures for Consensus. Gorbunov, Sergey and Wee, Hoeteck. 2019. | |
| 1260. | Deterministic witnesses for claim-first transactions Borkowski, Michael and Ritzer, Christoph and Schulte, Stefan. 2018. | |
| 1261. | Faster Subgroup Checks for BLS12-381 Bowe, Sean. 2019. | |
| 1262. | Platypus: a Partially Synchronous Offchain Protocol for Blockchains Ranchal-Pedrosa, Alejandro and Gramoli, Vincent. 2019. | |
| 1263. | Cross-Chain Payment Protocols with Success Guarantees van Glabbeek, Rob and Gramoli, Vincent and Tholoniat, Pierre. 2019. | |
| 1264. | Linear consistency for proof-of-stake blockchains Blum, Erica and Kiayias, Aggelos and Moore, Cristopher and Quader, Saad and Russell, Alexander. 2019. | |
| 1265. | Bypassing Non-Outsourceable Proof-of-Work Schemes Using Collateralized Smart Contracts Alexander Chepurnoy and Amitabh Saxena. 2020. | |
| 1266. | Committing to Quantum Resistance, Better: A Speed–and–Risk–Configurable Defence for Bitcoin against a Fast Quantum Computing Attack Dragos Ioan Ilie and William J. Knottenbelt and Iain Stewart. 2020. | |
| 1267. | Incentives Don't Solve Blockchain's Problems Ketsdever, Shea and Fischer, Michael J. 2019. | |
| 1268. | ChainLink:A Decentralized Oracle Network Ellis ,Steve and Juels , Ari and Nazarov, Sergey. 2017. | |
| 1269. | Barriers for Succinct Arguments in the Random Oracle Model Alessandro Chiesa and Eylon Yogev. 2020. | |
| 1270. | Lower bounds for the depth of modular squaring Benjamin Wesolowski and Ryan Williams. 2020. | |
| 1271. | Secret Network: A Privacy-Preserving Secret Contract \& Decentralized Application Platform Woetzel, Carter. 2021. | |
| 1272. | Manta: a Plug and Play Private DeFi Stack Shumo Chu and Yu Xia and Zhenfei Zhang. 2021. | |
| 1273. | Zero Knowledge Proofs and Applications to Financial Regulation Gowravaram, Nihal R. 2018. | |
| 1274. | 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. | |
| 1275. | DeFi liquidity management via Optimal Control: Ohm as a case study Chitra, Tarun and Kulkarni, Kshitij and Angeris, Guillermo and Evans, Alex and Xu, Victor. 2022. | |
| 1276. | RandChain: A Scalable and Fair Decentralised Randomness Beacon Runchao Han and Haoyu Lin and Jiangshan Yu. 2020. | |
| 1277. | PESCA: A Privacy-Enhancing Smart-Contract Architecture Wei Dai. 2022. | |
| 1278. | Chainlink: A decentralized oracle network Ellis, Steve and Juels, Ari and Nazarov, Sergey. 2017. | |
| 1279. | A Formal Treatment of Distributed Key Generation, and New Constructions Chelsea Komlo and Ian Goldberg and Douglas Stebila. 2023. | |
| 1280. | LURK: Lambda, the Ultimate Recursive Knowledge Amin, Nada and Burnham, John and Garillot, Fran\ccois and Gennaro, Rosario and Rogozin, Daniel and Wong, Cameron and others. 2023. | |
| 1281. | A survey of data transfer and storage techniques in prevalent cryptocurrencies and suggested improvements Sunny Katkuri. 2018. | |
| 1282. | PIEChain--A Practical Blockchain Interoperability Framework Reijsbergen, Dani\"el and Maw, Aung and Zhang, Jingchi and Dinh, Tien Tuan Anh and Datta, Anwitaman. 2023. | |
| 1283. | MUXProofs: Succinct Arguments for Machine Computation from Tuple Lookups Zijing Di and Lucas Xia and Wilson Nguyen and Nirvan Tyagi. 2023. | |
| 1284. | SoK: Privacy-Preserving Smart Contract Huayi Qi and Minghui Xu and Dongxiao Yu and Xiuzhen Cheng. 2023. | |
| 1285. | Cicada: A framework for private non-interactive on-chain auctions and voting Noemi Glaeser and István András Seres and Michael Zhu and Joseph Bonneau. 2023. | |
| 1286. | FastSwap: Concretely Efficient Contingent Payments for Complex Predicates Mathias Hall-Andersen. 2019. | |
| 1287. | A Note on Low Order Assumptions in RSA groups István András Seres and Péter Burcsi. 2020. | |
| 1288. | WhylSon: Proving your Michelson Smart Contracts in Why3 da Horta, Lu\'\is Pedro Arrojado and Reis, Jo\~ao Santos and Pereira, M\'ario and de Sousa, Sim\~ao Melo. 2020. | |
| 1289. | Verifiable state machines: Proofs that untrusted services operate correctly Srinath Setty and Sebastian Angel and Jonathan Lee. 2020. | |
| 1290. | Model Checking Bitcoin and other Proof-of-Work Consensus Protocols DiGiacomo-Castillo, Max and Liang, Yiyun and Pal, Advay and Mitchell, John C. 2020. | |
| 1291. | TaiJi: Longest Chain Availability with BFT Fast Confirmation Songze Li and David Tse. 2020. | |
| 1292. | Selfish Mining Attacks Exacerbated by Elastic Hash Supply Shibuya, Yoko and Yamamoto, Go and Kojima, Fuhito and Shi, Elaine and Matsuo, Shin’ichiro and Laszka, Aron. 2020. | |
| 1293. | Efficient Verification of Optimized Code: Correct High-speed X25519 Marc Schoolderman and Jonathan Moerman and Sjaak Smetsers and Marko van Eekelen. 2021. | |
| 1294. | Cryptocurrencies with Security Policies and Two-Factor Authentication Florian Breuer and Vipul Goyal and Giulio Malavolta. 2021. | |
| 1295. | Dynamic Ad Hoc Clock Synchronization Badertscher, Christian and Gazi, Peter and Kiayias, Aggelos and Russell, Alexander and Zikas, Vassilis. 2021. | |
| 1296. | Extending the anonymity of zcash Kappos, George and Piotrowska, Ania M. 2019. | |
| 1297. | How Byzantine is a Send Corruption? Karim Eldefrawy and Julian Loss and Ben Terner. 2021. | |
| 1298. | fflonk: a Fast-Fourier inspired verifier efficient version of PlonK Ariel Gabizon and Zachary J. Williamson. 2021. | |
| 1299. | Folding Schemes with Selective Verification Carla Ràfols and Alexandros Zacharakis. 2022. | |
| 1300. | Optimistic and Validity Rollups: Analysis and Comparison between Optimism and StarkNet Donno, Luca. 2022. | |
| 1301. | Accountable Safety for Rollups Tas, Ertem Nusret and Adler, John and Al-Bassam, Mustafa and Khoffi, Ismail and Tse, David and Vaziri, Nima. 2022. | |
| 1302. | Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words Cohen, Shir and Keidar, Idit and Spiegelman, Alexander. 2023. | |
| 1303. | Chop Chop: Byzantine Atomic Broadcast to the Network Limit Camaioni, Martina and Guerraoui, Rachid and Monti, Matteo and Roman, Pierre-Louis and Vidigueira, Manuel and Voron, Gauthier. 2023. | |
| 1304. | Security Analysis of Filecoin's Expected Consensus in the Byzantine vs Honest Model Xuechao Wang and Sarah Azouvi and Marko Vukolić. 2023. | |
| 1305. | Why Trick Me: The Honeypot Traps on Decentralized Exchanges Gan, Rundong and Wang, Le and Lin, Xiaodong. 2023. | |
| 1306. | cqlin: Efficient linear operations on {KZG} commitments with cached quotients Liam Eagen and Ariel Gabizon. 2023. | |
| 1307. | 21-bringing down the complexity: fast composable protocols for card games without secret state David, Bernardo and Dowsley, Rafael and Larangeira, Mario. 2018. | |
| 1308. | Developing a K-ary malware using Blockchain Moubarak, Joanna and Filiol, Eric and Chamoun, Maroun. 2018. | |
| 1309. | Paralysis Proofs: Safe Access-Structure Updates for Cryptocurrencies and More Fan Zhang and Philip Daian and Iddo Bentov and Ari Juels. 2018. | |
| 1310. | A New Look at the Refund Mechanism in the Bitcoin Payment Protocol Avizheh, Sepideh and Safavi-Naini, Reihaneh and Shahandashti, Siamak F. 2018. | |
| 1311. | Efficient fair multiparty protocols using Blockchain and trusted hardware Paul, Souradyuti and Shrivastava, Ananya. 2019. | |
| 1312. | An Alternative Paradigm for Developing and Pricing Storage on Smart Contract Platforms Patsonakis, Christos and Roussopoulos, Mema. 2019. | |
| 1313. | SoK: Lifting Transformations for Simulation Extractable Subversion and Updatable SNARKs⋆ Abdolmaleki, Behzad and Ramacher, Sebastian and Slamanig, Daniel. 2020. | |
| 1314. | Alt-Coin Traceability Claire Ye and Chinedu Ojukwu and Anthony Hsu and Ruiqi Hu. 2020. | |
| 1315. | Layer 2 Atomic Cross-Blockchain Function Calls Robinson, Peter and Ramesh, Raghavendra. 2020. | |
| 1316. | Formal Specification and Verification of Solidity Contracts with Events Hajdu, Akos and Jovanovic, Dejan and Ciocarlie, Gabriela. 2020. | |
| 1317. | Towards Smart Hybrid Fuzzing for Smart Contracts Torres, Christof Ferreira and Iannillo, Antonio Ken and Gervais, Arthur and State, Radu. 2020. | |
| 1318. | Uniswap v2 Core Adams, Hayden and Robinson, Dan. 2020. | |
| 1319. | Tendermint blockchain synchronization: formal specification and model checking Braithwaite, Sean and Buchman, Ethan and Konnov, Igor and Milosevic, Zarko and Stoilkovska, Ilina and Widder, Josef and Zamfir, Anca. 2020. | |
| 1320. | On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger Christian Badertscher and Julia Hesse and Vassilis Zikas. 2020. | |
| 1321. | Balancing Privacy and Accountability in Blockchain Transactions Damgard, Ivan and Ganesh, Chaya and Khoshakhlagh, Hamidreza and Orlandi, Claudio and Siniscalchi, Luisa. 2020. | |
| 1322. | Towards Accountability in CRS Generation Ananth, Prabhanjan and Asharov, Gilad and Dahari, Hila and Goyal, Vipul. 2021. | |
| 1323. | Towards Accountability in CRS Generation Prabhanjan Ananth and Gilad Asharov and Hila Dahari and Vipul Goyal. 2021. | |
| 1324. | Aggregating hash-based signatures using STARKs Irakliy Khaburzaniya and Konstantinos Chalkias and Kevin Lewi and Harjasleen Malvai. 2021. | |
| 1325. | Colordag: An Incentive-Compatible Blockchain Abraham, Ittai and Dolev, Danny and Eyal, Ittay and Halpern, Joseph Y. 2022. | |
| 1326. | Efficient Algorithms for Large Prime Characteristic Fields and Their Application to Bilinear Pairings and Supersingular Isogeny-Based Protocols Patrick Longa. 2022. | |
| 1327. | 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. | |
| 1328. | Compute, but Verify: Efficient Multiparty Computation over Authenticated Inputs Moumita Dutta and Chaya Ganesh and Sikhar Patranabis and Nitin Singh. 2022. | |
| 1329. | Competitive Decentralized Randomness Beacon Protocols Raikwar, Mayank. 2022. | |
| 1330. | CycloneNTT: An NTT/FFT Architecture Using Quasi-Streaming of Large Datasets on DDR- and HBM-based FPGA Platforms Kaveh Aasaraai and Emanuele Cesena and Rahul Maganti and Nicolas Stalder and Javier Varela and Kevin Bowers. 2022. | |
| 1331. | Randao: Verifiable random number generation Qian, Youcai. 2017. | |
| 1332. | Last Mile of Blockchains: RPC and Node-as-a-service Luo, Zhongtang and Murukutla, Rohan and Kate, Aniket. 2022. | |
| 1333. | Homomorphic Sortition – Single Secret Leader Election for PoS Blockchains Luciano Freitas and Andrei Tonkikh and Adda-Akram Bendoukha and Sara Tucci-Piergiovanni and Renaud Sirdey and Oana Stan and Petr Kuznetsov. 2023. | |
| 1334. | Beyond the Blockchain Address: Zero-Knowledge Address Abstraction Sanghyeon Park and Jeong Hyuk Lee and Seunghwa Lee and Jung Hyun Chun and Hyeonmyeong Cho and MinGi Kim and Hyun Ki Cho and Soo-Mook Moon. 2023. | |
| 1335. | 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. | |
| 1336. | eSTARK: Extending STARKs with Arguments Héctor Masip-Ardevol and Marc Guzmán-Albiol and Jordi Baylina-Melé and Jose Luis Muñoz-Tapia. 2023. | |
| 1337. | On the Amortized Communication Complexity of Byzantine Broadcast Atsuki Momose and Ling Ren and Elaine Shi and Jun Wan and Zhuolun Xiang. 2023. | |
| 1338. | Breaking the Chains of Rationality: Understanding the Limitations to and Obtaining Order Policy Enforcement Sarisht Wadhwa and Luca Zanolini and Francesco D'Amato and Aditya Asgaonkar and Fan Zhang and Kartik Nayak. 2023. | |
| 1339. | Ordering Transactions with Bounded Unfairness: Definitions, Complexity and Constructions Aggelos Kiayias and Nikos Leonardos and Yu Shen. 2023. | |
| 1340. | Incentive Schemes for Rollup Validators Akaki Mamageishvili and Edward W. Felten. 2023. | |
| 1341. | Compositional Formal Verification of Zero-Knowledge Circuits Alessandro Coglio and Eric McCarthy and Eric Smith and Collin Chin and Pranav Gaddamadugu and Michel Dellepere. 2023. | |
| 1342. | Proof-Carrying Data from Multi-folding Schemes Zibo Zhou and Zongyang Zhang and Jin Dong. 2023. | |
| 1343. | Incentives in casper the friendly finality gadget Buterin, Vitalik. 2017. | |
| 1344. | P4PCN: Privacy-Preserving Path Probing for Payment Channel Networks Yu, Ruozhou and Wan, Yinxin and Kilari, Vishnu Teja and Xue, Guoliang and Tang, Jian and Yang, Dejun and Zhang, Xiang and Li, Dan and Song, Yaozhong and Yau, Stephen S and others. 2018. | |
| 1345. | Number of confirmation blocks for Bitcoin and GHOST consensus protocols on networks with delayed message delivery Kovalchuk, Lyudmila and Kaidalov, Dmytro and Nastenko, Andrii and Shevtsov, Oleksiy and Rodinko, Mariia and Oliynykov, Roman. 2018. | |
| 1346. | The Arwen Trading Protocols (Full Version) Ethan Heilman and Sebastien Lipmann and Sharon Goldberg. 2020. | |
| 1347. | Baby SNARK (do do dodo dodo) Andrew Miller and Ye Zhang and Sanket Kanjalkar. 2020. | |
| 1348. | Renegotiation and recursion in Bitcoin contracts Bartoletti, Massimo and Murgia, Maurizio and Zunino, Roberto. 2020. | |
| 1349. | A PoR/PoS-Hybrid Blockchain: Proof of Reputation with Nakamoto Fallback Leonard Kleinrock and Rafail Ostrovsky and Vassilis Zikas. 2020. | |
| 1350. | Promise: Leveraging Future Gains for Collateral Reduction Dominik Harz and Lewis Gudgeon and Rami Khalil and Alexei Zamyatin. 2020. | |
| 1351. | Permissionless Consensus in the Resource Model Benjamin Terner. 2020. | |
| 1352. | Zecale: Reconciling Privacy and Scalability on Ethereum Rondelet, Antoine. 2020. | |
| 1353. | Impossibility on the Schnorr Signature from the One-more DL Assumption in the Non-programmable Random Oracle Model Masayuki Fukumitsu and Shingo Hasegawa. 2020. | |
| 1354. | Publicly Verifiable Zero Knowledge from (Collapsing) Blockchains Scafuro, Alessandra and Siniscalchi, Luisa and Visconti, Ivan. 2020. | |
| 1355. | Unifying Compilers for SNARKs, SMT, and More Alex Ozdemir and Fraser Brown and Riad S. Wahby. 2020. | |
| 1356. | Analysing Mining Machine Shutdown Price Shange Fu and Jiangshan Yu and Rafael Dowsley and Joseph Liu. 2020. | |
| 1357. | "Act natural!": Having a Private Chat on a Public Blockchain Thore Tiemann and Sebastian Berndt and Thomas Eisenbarth and Maciej Liskiewicz. 2021. | |
| 1358. | Interhead Hydra Two Heads are Better than One Maxim Jourenko and Mario Larangeira and Keisuke Tanaka. 2021. | |
| 1359. | ACon $\^{} 2$: Adaptive Conformal Consensus for Provable Blockchain Oracles Park, Sangdon and Bastani, Osbert and Kim, Taesoo. 2022. | |
| 1360. | Efficient Dynamic Proof of Retrievability for Cold Storage Tung Le and Pengzhi Huang and Attila A. Yavuz and Elaine Shi and Thang Hoang. 2022. | |
| 1361. | CryptoConcurrency:(Almost) Consensusless Asset Transfer with Shared Accounts Kuznetsov, Petr and Pignolet, Yvonne-Anne and Ponomarev, Pavel and Tonkikh, Andrei. 2022. | |
| 1362. | PoRt: Non-Interactive Continuous Availability Proof of Replicated Storage Reyhaneh Rabaninejad and Bin Liu and Antonis Michalas. 2022. | |
| 1363. | A theoretical basis for Blockchain Extractable Value Bartoletti, Massimo and Zunino, Roberto. 2023. | |
| 1364. | Proactive Refresh for Accountable Threshold Signatures Dan Boneh and Aditi Partap and Lior Rotem. 2022. | |
| 1365. | Formalizing Soundness Proofs of SNARKs Bolton Bailey and Andrew Miller. 2023. | |
| 1366. | PriFHEte: Achieving Full-Privacy in Account-based Cryptocurrencies is Possible Varun Madathil and Alessandra Scafuro. 2023. | |
| 1367. | Limits in the Provable Security of ECDSA Signatures Dominik Hartmann and Eike Kiltz. 2023. | |
| 1368. | Limits in the Provable Security of ECDSA Signatures Dominik Hartmann and Eike Kiltz. 2023. | |
| 1369. | Zombies and Ghosts: Optimal Byzantine Agreement in the Presence of Omission Faults Loss, Julian and Stern, Gilad. 2023. | |
| 1370. | DeFi Auditing: Mechanisms, Effectiveness, and User Perceptions Ding Feng and Rupert Hitsch and Kaihua Qin and Arthur Gervais and Roger Wattenhofer and Yaxing Yao and Ye Wang. 2023. | |
| 1371. | Optimal Flexible Consensus and its Application to Ethereum Joachim Neu and Srivatsan Sridhar and Lei Yang and David Tse. 2023. | |
| 1372. | On Soundness Notions for Interactive Oracle Proofs Alexander R. Block and Albert Garreta and Pratyush Ranjan Tiwari and Michał Zając. 2023. | |
| 1373. | Transaction fee mechanism for Proof-of-Stake protocol Wenpin Tang and David D. Yao. 2023. | |
| 1374. | Batching-Efficient {RAM} using Updatable Lookup Arguments Moumita Dutta and Chaya Ganesh and Sikhar Patranabis and Shubh Prakash and Nitin Singh. 2024. | |
| 1375. | Bitcontracts: Adding Expressive Smart Contracts to Legacy Cryptocurrencies Karl Wüst and Loris Diana and Kari Kostiainen and Ghassan Karame and Sinisa Matetic and Srdjan Capkun. 2019. | |
| 1376. | Cosmos: A network of distributed ledgers Kwon, Jae and Buchman, Ethan. 2016. | |
| 1377. | Running on Fumes Albert, Elvira and Gordillo, Pablo and Rubio, Albert and Sergey, Ilya. 2019. | |
| 1378. | A Smart Contract Refereed Data Retrieval Protocol with a Provably Low Collateral Requirement James Shook and Scott Simon and Peter Mell. 2019. | |
| 1379. | Ethna: Channel Network with Dynamic Internal Payment Splitting Stefan Dziembowski and Paweł Kędzior. 2020. | |
| 1380. | ZeroJoin: Combining ZeroCoin and CoinJoin Alexander Chepurnoy and Amitabh Saxena. 2020. | |
| 1381. | Community Proposal: A Benchmarking Framework for (Zero-Knowledge) Proof Systems Benarroch, Daniel and Nicolas, Aur\'elien and Thaler, Justin and Tromer, Eran. 2020. | |
| 1382. | Unbounded Simulation-Sound Subversion Resistant Quasi-Adaptive NIZK Proofs and Applications to Modular zk-SNARKs Behzad Abdolmaleki and Daniel Slamanig. 2020. | |
| 1383. | Custody Protocols Using Bitcoin Vaults Swambo, Jacob and Hommel, Spencer and McElrath, Bob and Bishop, Bryan. 2020. | |
| 1384. | Parsec: a state channel for the Internet of Value Jaiswal, Amit Kumar. 2018. | |
| 1385. | Anonymous probabilistic payment in payment hub Tatsuo Mitani and Akira Otsuka. 2020. | |
| 1386. | How to compute all Pointproofs Alin Tomescu. 2020. | |
| 1387. | Smart Derivatives: On-Chain Forwards for Digital Assets Rius, Alfonso DDM and Gashier, Eamonn. 2020. | |
| 1388. | 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. | |
| 1389. | On-Chain Smart Contract Verification over Tendermint⋆ Olivieri, Luca and Spoto, Fausto and Tagliaferro, Fabio. 2021. | |
| 1390. | Survey on Cryptocurrency Networking: Context, State-of-the-Art, Challenges Dotan, Maya and Pignolet, Yvonne-Anne and Schmid, Stefan and Tochner, Saar and Zohar, Aviv. 2020. | |
| 1391. | Etherless Ethereum Tokens: Simulating Native Tokens in Ethereum John Andrews and Michele Ciampi and Vassilis Zikas. 2021. | |
| 1392. | Phoenix: A Formally Verified Regenerating Vault Kirstein, Uri and Grossman, Shelly and Mirkin, Michael and Wilcox, James and Eyal, Ittay and Sagiv, Mooly. 2021. | |
| 1393. | Verification of a Merkle Patricia Tree Library Using F Sato, Sota and Banno, Ryotaro and Furuse, Jun and Suenaga, Kohei and Igarashi, Atsushi. 2021. | |
| 1394. | Hours of Horus: Keyless Cryptocurrency Wallets Dionysis Zindros. 2021. | |
| 1395. | Translation Certification for Smart Contracts Krijnen, Jacco and Chakravarty, Manuel MT and Keller, Gabriele and Swierstra, Wouter. 2021. | |
| 1396. | Reputation at Stake! A Trust Layer over Decentralized Ledger for Multiparty Computation and Reputation-Fair Lottery Mario Larangeira. 2021. | |
| 1397. | A specification for a ZK-EVM B\'egassat, Olivier and Belling, Alexandre and Chapuis-Chkaiban, Th\'eodore and Liochon, Nicolas. 2021. | |
| 1398. | ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs Bogdanov, Dan and J\"a\"ager, Joosep and Laud, Peeter and Nestra, H\"armel and Pettai, Martin and Randmets, Jaak and Sokk, Ville and Tali, Kert and Valdma, Sandhra-Mirella. 2022. | |
| 1399. | Auditable, Available and Resilient Private Computation on the Blockchain via MPC Cordi, Christopher and Frank, Michael P and Gabert, Kasimir and Helinski, Carollan and Kao, Ryan C and Kolesnikov, Vladimir and Ladha, Abrahim and Pattengale, Nicholas. 2022. | |
| 1400. | Vortex : Building a Lattice-based SNARK scheme with Transparent Setup Alexandre Belling and Azam Soleimanian. 2022. | |
| 1401. | FairPoS: Input Fairness in Proof-of-Stake with Adaptive Security James Hsin-yu Chiang and Bernardo David and Ittay Eyal and Tiantian Gong. 2022. | |
| 1402. | SoK: Vector Commitments Nitulescu, Anca. 2021. | |
| 1403. | The Cost of Sybils, Credible Commitments, and False-Name Proof Mechanisms Mazorra, Bruno and Della Penna, Nicolás. 2023. | |
| 1404. | Zero-Knowledge Mechanisms Canetti, Ran and Fiat, Amos and Gonczarowski, Yannai A.. 2023. | |
| 1405. | UniPlonk: Plonk with Universal Verifier Shumo Chu and Brandon H. Gomes and Francisco Hernandez Iglesias and Todd Norton and Duncan Tebbs. 2023. | |
| 1406. | Private Proof-of-Stake Blockchains using Differentially-private Stake Distortion Chenghong Wang and David Pujo and Kartik Nayak and Ashwin Machanavajjhala. 2023. | |
| 1407. | On the Impossibility of Algebraic NIZK In Pairing-Free Groups Emanuele Giunta. 2023. | |
| 1408. | Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers Ankit Kumar and Max von Hippel and Pete Manolios and Cristina Nita-Rotaru. 2022. | |
| 1409. | The Specter (and Spectra) of Miner Extractable Value Angeris, Guillermo and Chitra, Tarun and Diamandis, Theo and Kulkarni, Kshitij. 2023. | |
| 1410. | Post-Quantum Single Secret Leader Election (SSLE) From Publicly Re-randomizable Commitments Dan Boneh and Aditi Partap and Lior Rotem. 2023. | |
| 1411. | Gorilla: Safe Permissionless Byzantine Consensus Pu, Youer and Farahbakhsh, Ali and Alvisi, Lorenzo and Eyal, Ittay. 2023. | |
| 1412. | Aion: Secure Transaction Ordering using TEEs Zarbafian, Pouriya and Gramoli, Vincent. 2023. | |
| 1413. | The Specter (and Spectra) of Miner Extractable Value Angeris, Guillermo and Chitra, Tarun and Diamandis, Theo and Kulkarni, Kshitij. 2023. | |
| 1414. | Towards Optimal Prior-Free Permissionless Rebate Mechanisms, with applications to Automated Market Makers & Combinatorial Orderflow Auctions Bruno Mazorra and Nicolás Della Penna. 2023. | |
| 1415. | EIP-4844 Economics and Rollup Strategies Davide Crapis and Edward W. Felten and Akaki Mamageishvili. 2023. | |
| 1416. | Succinct Proofs and Linear Algebra Alex Evans and Guillermo Angeris. 2023. | |
| 1417. | On Space-Scarce Economy In Blockchain Systems Alexander Chepurnoy and Dmitry Meshkov. 2017. | |
| 1418. | Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems Girault, Alain and G\"ossler, Gregor and Guerraoui, Rachid and Hamza, Jad and Seredinschi, Dragos-Adrian. 2017. | |
| 1419. | The Thunder Protocol Pass, Rafael and Shi, Elaine. 2018. | |
| 1420. | Nummatus: A Privacy Preserving Proof of Reserves Protocol for Quisquis Dutta, Arijit and Jana, Arnab and Vijayakumaran, Saravanan. 2019. | |
| 1421. | zkInterface, a standard tool for zero-knowledge interoperability Daniel Benarroch and Kobi Gurkan and Ron Kahat and Aurélien Nicolas 1 and Eran Tromer. 2020. | |
| 1422. | Succinct Diophantine-Satisfiability Arguments Patrick Towa and Damien Vergnaud. 2020. | |
| 1423. | Economic Principles of PoPCoin, a Democratic Time-based Cryptocurrency Zhang, Haoqian and Basescu, Cristina and Ford, Bryan. 2020. | |
| 1424. | Succinct Publicly Verifiable Computation Alonso González and Alexandros Zacharakis. 2021. | |
| 1425. | Latus Incentive Scheme: Enabling Decentralization in Blockchains based on Recursive SNARKs Alberto Garoffolo and Dmytro Kaidalov and Roman Oliynykov. 2021. | |
| 1426. | Babel Fees via Limited Liabilities Chakravarty, Manuel MT and Karayannidis, Nikos and Kiayias, Aggelos and Jones, Michael Peyton and Vinogradova, Polina. 2021. | |
| 1427. | Filling the Tax Gap via Programmable Money Karakostas, Dimitris and Kiayias, Aggelos. 2021. | |
| 1428. | Censorship-Resilient and Confidential Collateralized Second-Layer Payments Kostiainen, Kari and Gnap, Sven and Karame, Ghassan. 2022. | |
| 1429. | Less is more: refinement proofs for probabilistic proofs Jiang, Kunming and Chait-Roth, Devora and DeStefano, Zachary and Walfish, Michael and Wies, Thomas. 2022. | |
| 1430. | Executing and Proving over Dirty Ledgers Stefo, Christos and Xiang, Zhuolun and Kokoris-Kogias, Lefteris. 2022. | |
| 1431. | Accountable Threshold Signatures with Proactive Refresh Dan Boneh and Aditi Partap and Lior Rotem. 2022. | |
| 1432. | $\mu$Cash: Transparent Anonymous Transactions Liam Eagen. 2022. | |
| 1433. | Dynamic Pricing for Non-fungible Resources: Designing Multidimensional Blockchain Fee Markets Diamandis, Theo and Evans, Alex and Chitra, Tarun and Angeris, Guillermo. 2022. | |
| 1434. | Scaling Zero-Knowledge to Verifiable Databases Derei, Tal and Aulenbach, Benjamin and Carolino, Victor and Geren, Caleb and Kaufman, Michael and Klein, Jonathan and Islam Shanto, Rishad and Korth, Henry F. 2023. | |
| 1435. | BBSF: Blockchain Benchmarking Standardized Framework Ren, Kunpeng and Van Buskirk, Jefferson FB and Ang, Zheng Yong and Hou, Shizheng and Cable, Nathaniel R and Monares, Miguel and Korth, Henry F and Loghin, Dumitrel. 2023. | |
| 1436. | The Arithmetic of Pairing-Based Proof Systems El Housni, Youssef. 2022. | |
| 1437. | Security of Nakamoto Consensus under Congestion Lucianna Kiffer and Joachim Neu and Srivatsan Sridhar and Aviv Zohar and David Tse. 2023. | |
| 1438. | The curious case of the half-half Bitcoin ECDSA nonces Dylan Rowe and Joachim Breitner and Nadia Heninger. 2023. | |
| 1439. | Pay Less for Your Privacy: Towards Cost-Effective On-Chain Mixers Zhipeng Wang and Marko Cirkovic and Duc V. Le and William Knottenbelt and Christian Cachin. 2023. | |
| 1440. | Decentralized Threshold Signatures for Blockchains with Non-Interactive and Transparent Setup Kwangsu Lee. 2023. | |
| 1441. | Ponyta: Foundations of Side-Contract-Resilient Fair Exchange Hao Chung and Elisaweta Masserova and Elaine Shi and Sri AravindaKrishnan Thyagarajan. 2022. | |
| 1442. | Simulation-Extractable {KZG} Polynomial Commitments and Applications to {HyperPlonk} Benoit Libert. 2024. | |
| 1443. | Accelerating the PlonK zkSNARK Proving System using GPU Architectures Derei, Tal. 2023. | |
| 1444. | RapidUp: Multi-domain permutation protocol for lookup tables Ardevol, H\'ector Masip and Mel\'e, Jordi Baylina and Lubarov, Daniel and Mu\~noz-Tapia, Jos\'e L. 2022. | |
| 1445. | The Rush Dilemma: Attacking and Repairing Smart Contracts on Forking Blockchains Vincenzo Botta and Daniele Friolo and Daniele Venturi and Ivan Visconti. 2019. | |
| 1446. | State of the Art in Verifiable Computation Khovratovich, Dmitry. 2018. | |
| 1447. | PING and REJECT:The Impact of Side-Channels on Zcash Privacy Florian Tramèr and Dan Boneh and Kenneth G. Paterson. 2019. | |
| 1448. | Mapping finite state machines to zk-SNARKS Using Category Theory Genovese, Fabrizio and Knispel, Andre and Fitzgerald, Joshua. 2019. | |
| 1449. | Starkad and Poseidon: New Hash Functions for Zero Knowledge Proof Systems. Grassi, Lorenzo and Kales, Daniel and Khovratovich, Dmitry and Roy, Arnab and Rechberger, Christian and Schofnegger, Markus. 2019. | |
| 1450. | ZKProof Community Reference ZKProofStandards. 2019. | |
| 1451. | AAVE: Protocol Whitepaper V1.0 Usal, Ernesto. 2020. | |
| 1452. | SoK: Cyber-Attack Taxonomy of Distributed Ledger- and Legacy Systems-based Financial Infrastructures Ralph Ankele and Kai Nahrgang and Branka Stojanovic and Atta Badii. 2020. | |
| 1453. | Game-Theoretically Fair Leader Election in O(log log n) Rounds under Majority Coalitions Kai-Min Chung and T-H. Hubert Chan and Ting Wen and Elaine Shi (random author ordering). 2020. | |
| 1454. | HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix and Chain Quality Muhammad Saad and Afsah Anwar and Srivatsan Ravi and David Mohaisen. 2021. | |
| 1455. | N-for-1 Auth: N-wise Decentralized Authentication via One Authentication Weikeng Chen and Ryan Deng and Raluca Ada Popa. 2021. | |
| 1456. | Attacking (EC)DSA With Partially Known Multiples of Nonces Marios Adamoudis and Konstantinos A. Draziotis and Dimitrios Poulakis. 2021. | |
| 1457. | Security of the Poseidon Hash Function Against Non-Binary Differential and Linear Attacks Kovalchuk, L and Oliynykov, R and Rodinko, M. 2021. | |
| 1458. | Chain Reductions for Multi-Signatures Mihir Bellare and Wei Dai. 2021. | |
| 1459. | Conclave: A Collective Stake Pool Protocol Dimitris Karakostas and Aggelos Kiayias and Mario Larangeira. 2021. | |
| 1460. | On the deployment of FlyClient as a velvet fork: chain-sewing attacks and countermeasures Tristan Nemoz and Alexei Zamyatin. 2021. | |
| 1461. | Elysium: Automagically Healing Vulnerable Smart Contracts Using Context-Aware Patching Torres, Christof Ferreira and Jonker, Hugo and State, Radu. 2021. | |
| 1462. | Musings on the HashGraph Protocol: Its Security and Its Limitations Sridhar, Vinesh and Blum, Erica and Katz, Jonathan. 2022. | |
| 1463. | Citadel: Self-Sovereign Identities on Dusk Network Salleras, Xavier. 2023. | |
| 1464. | Transaction Fee Mining and Mechanism Design Tang, Michael and Zhang, Alex. 2023. | |
| 1465. | IRS: An Incentive-compatible Reward Scheme for Algorand Liao, Maizi and Golab, Wojciech and Zahedi, Seyed Majid. 2023. | |
| 1466. | Zero-Knowledge Arguments for Subverted RSA Groups Dimitris Kolonelos and Mary Maller and Mikhail Volkhov. 2023. | |
| 1467. | Replicating Portfolios: Constructing Permissionless Derivatives Sterrett, Estelle and Jepsen, Waylon and Kim, Evan. 2022. | |
| 1468. | CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model Simon Jeanteur and Laura Kovács and Matteo Maffei and Michael Rawson. 2023. | |
| 1469. | State Machine Replication and Consensus with Byzantine Adversaries Davidson, Michael. 2023. | |
| 1470. | Musketeer: Incentive-Compatible Rebalancing for Payment Channel Networks Zeta Avarikioti and Stefan Schmid and Samarth Tiwari. 2023. | |
| 1471. | A First Study of MEV on an Up-and-Coming Blockchain: Algorand Burak Öz and Jonas Gebele and Filip Rezabek and Felix Hoops and Florian Matthes. 2023. | |
| 1472. | State of the Art Report: Verified Computation Woodcock, Jim and Andersen, Mikkel Schimdt and Aranha, Diego F and Hallerstede, Stefan and Hansen, Simon Thrane and Jakobsen, Nikolaj Kuhne and Kulik, Tomas and Larsen, Peter Gorm and Macedo, Hugo Daniel and Martin, Carlos Ignacio Isasa and others. 2023. | |
| 1473. | Shared Sequencing and Latency Competition as a Noisy Contest Mamageishvili, Akaki and Schlegel, Jan Christoph. 2023. | |
| 1474. | Field-Agnostic {SNARKs} from Expand-Accumulate Codes Alexander R. Block and Zhiyong Fang and Jonathan Katz and Justin Thaler and Hendrik Waldner and Yupeng Zhang. 2024. | |
| 1475. | How (not) to simulate PLONK Sefranek, Marek. 2024. | |
| 1476. | Practical Zero-Knowledge Arguments from Structured Reference Strings Maller, Mary. 2019. | |
| 1477. | Bootstrapping a stable computation token Teutsch, Jason and M\"akel\"a, Sami and Bakshi, Surya. 2019. | |
| 1478. | 12 Angry Miners Eghbali, Aryaz and Wattenhofer, Roger. 2019. | |
| 1479. | A Formal Analysis of Blockchain Consensus Laneve, Cosimo and Veschetti, Adele. 2019. | |
| 1480. | Hydra: A Multiple Blockchain Protocol for Improving Transaction Throughput G\"undlach, Rowel and Hoepman, Jaap-Henk and van der Hofstad, Remco and Koens, Tommy and Meijer, Stijn. 2019. | |
| 1481. | Formal specification of a security framework for smart contracts Mandrykin, Mikhail and O'Shannessy, Jake and Payne, Jacob and Shchepetkov, Ilya. 2020. | |
| 1482. | Multichain-MWPoW: A $p/2$ Adversary Power Resistant Blockchain Sharding Approach to a Decentralised Autonomous Organisation Architecture Yibin Xu and Yangyu Huang and Jianhua Shao and George Theodorakopoulos. 2020. | |
| 1483. | Performance Trade-offs in Design of MimbleWimble Proofs of Reserves Suyash Bagad and Saravanan Vijayakumaran. 2020. | |
| 1484. | Compiling a Higher-Order Smart Contract Language to LLVM Nagaraj, Vaivaswatha and Johannsen, Jacob and Trunov, Anton and P\^\irlea, George and Kumar, Amrit and Sergey, Ilya. 2020. | |
| 1485. | Multi-Shard Private Transactions for Permissioned Blockchains Androulaki, Elli and De Caro, Angelo and Elkhiyaoui, Kaoutar and Gorenflo, Christian and Sorniotti, Alessandro and Vukolic, Marko. 2020. | |
| 1486. | Adaptive layer-two dispute periods in blockchains Rami Khalil and Naranker Dulay. 2020. | |
| 1487. | Optimal Communication Complexity of Byzantine Agreement, Revisited Atsuki Momose and Ling Ren. 2020. | |
| 1488. | Scaling Distributed Ledgers and Privacy-Preserving Applications Sonnino, Alberto. 2021. | |
| 1489. | A Theoretical Treatment of Blockchain Scaling Protocols Avarikioti, Georgia. 2021. | |
| 1490. | History Binding Signature Shlomi Dolev and Matan Liber. 2021. | |
| 1491. | Analyzing the Blockchain Attack Surface: A Top-down Approach Saad, Muhammad. 2021. | |
| 1492. | What is an EUTxO blockchain? Gabbay, Murdoch J. 2020. | |
| 1493. | Cob: a Multidimensional Byzantine Agreement Protocol for Asynchronous Incomplete Networks Flamini, Andrea and Longo, Riccardo and Meneghetti, Alessio. 2021. | |
| 1494. | The Power of Random Symmetry-Breaking in Nakamoto Consensus Su, Lili and Liu, Quanquan C and Narula, Neha. 2021. | |
| 1495. | A concurrent DEX on Cardano Bruhwiler, Peter and Cachin, Christian and Zanolini, Luca and Micic, Jovana. 2021. | |
| 1496. | TontineCoin: Survivor-based Proof-of-Stake Pollett, Chris and Austin, Thomas H and Potika, Katerina and Rietz, Justin and Pardeshi, Prashant. 2022. | |
| 1497. | How much is the fork? Fast Probability and Profitability Calculation during Temporary Forks Judmayer, Aljosha and Stifter, Nicholas and Schindler, Philipp and Weippel, Edgar. 2022. | |
| 1498. | Glimpse: On-Demand, Cross-Chain Communication for Efficient DeFi Applications on Bitcoin-based Blockchains Giulia Scaffino and Lukas Aumayr and Zeta Avarikioti and Matteo Maffei. 2022. | |
| 1499. | Plonkup scheme with multiple queries Alexandr Bulkin and Tim Dokchitser. 2023. | |
| 1500. | Dynamic, Private, Anonymous, Collateralizable Commitments vs. MEV Conor McMenamin and Vanesa Daza. 2023. | |
| 1501. | Oracle Counterpoint: Relationships between On-chain and Off-chain Market Data Zhimeng Yang and Ariah Klages-Mundt and Lewis Gudgeon. 2023. | |
| 1502. | TENET : Sublogarithmic Proof, Sublinear Verifier Inner Product Argument without a Trusted Setup Hyeonbum Lee and Jae Hong Seo. 2023. | |
| 1503. | Proof of history: what is it good for? Shoup, Victor. 2022. | |
| 1504. | Speeding up elliptic computations for Ethereum Account Abstraction Renaud Dubois. 2023. | |
| 1505. | CHAUSSETTE: A Symbolic Verification of Bitcoin Scripts Jacquot, Vincent and Donnet, Beno\^\it. 2023. | |
| 1506. | MEV on L2 Ha, Vlachou and Kilbourn, De Michellis. 2021. | |
| 1507. | Masquerade: Simple and Lightweight Transaction Reordering Mitigation in Blockchains Arti Vedula and Shaileshh Bojja Venkatakrishnan and Abhishek Gupta. 2023. | |
| 1508. | A Subversion-Resistant SNARK Behzad Abdolmaleki and Karim Baghery and Helger Lipmaa and Michal Zajac. 2017. | |
| 1509. | Sharding PoW-based Blockchains via Proofs of Knowledge Frederik Armknecht and Jens-Matthias Bohli and Ghassan O. Karame and Wenting Li. 2017. | |
| 1510. | Contractvm: decentralized applications on Bitcoin Bartoletti, Massimo and Gessa, Davide and Podda, Alessandro Sebastian. 2018. | |
| 1511. | Graphchain: a Blockchain-Free Scalable Decentralised Ledger Boyen, Xavier and Carr, Christopher and Haines, Thomas. 2018. | |
| 1512. | Obsidian: a safer blockchain programming language Coblenz, Michael. 2017. | |
| 1513. | ZeroLedge: Proving Solvency with Privacy Doerner, Jack and Shelat, Abhi and Evans, David. 2018. | |
| 1514. | Foundations of State Channel Networks Stefan Dziembowski and Sebastian Faust and Kristina Hostakova. 2018. | |
| 1515. | Blockclique: scaling blockchains through transaction sharding in a multithreaded block graph Forestier, S\'ebastien. 2018. | |
| 1516. | A Practical De-mixing Algorithm for Bitcoin Mixing Services Hong, Younggee and Kwon, Hyunsoo and Lee, Jihwan and Hur, Junbeom. 2018. | |
| 1517. | Executable Operational Semantics of Solidity Jiao, Jiao and Kan, Shuanglong and Lin, Shang-Wei and Sanan, David and Liu, Yang and Sun, Jun. 2018. | |
| 1518. | Proofs of Proofs of Work with Sublinear Complexity Kiayias, Aggelos and Lamprou, Nikolaos and Stouka, Aikaterini-Panagiota. 2016. | |
| 1519. | Multi-Hop Locks for Secure, Privacy-Preserving and Interoperable Payment-Channel Networks Giulio Malavolta and Pedro Moreno-Sanchez and Clara Schneidewind and Aniket Kate and Matteo Maffei. 2018. | |
| 1520. | Ring Signature Confidential Transactions for Monero Shen Noether. 2015. | |
| 1521. | A Non Outsourceable Puzzle under GHOST Rule Zeng, Gongxian and Yiu, Siu Ming and Zhang, Jun and Kuzuno, Hiroki and Au, Man Ho. 2017. | |
| 1522. | Rational proofs of space-time Moran, Tal and Orlov, Ilan. 2017. | |
| 1523. | Privacy Preserving Verifiable Key Directories. Chase, Melissa and Deshpande, Apoorvaa and Ghosh, Esha. 2018. | |
| 1524. | Forkable Strings are Rare. Russell, Alexander and Moore, Cristopher and Kiayias, Aggelos and Quader, Saad. 2017. | |
| 1525. | NOCUST--A Non-Custodial 2 nd-Layer Financial Intermediary Khalil, Rami and Gervais, Arthur. 2018. | |
| 1526. | Mimblewimble Poelstra, Andrew. 2016. | |
| 1527. | Mixing Confidential Transactions: Comprehensive Transaction Privacy for Bitcoin. Ruffing, Tim and Moreno-Sanchez, Pedro. 2017. | |
| 1528. | Pathshuffle: Mixing credit paths for anonymous transactions in ripple Moreno-Sanchez, Pedro and Ruffing, Tim and Kate, Aniket. 2017. | |
| 1529. | Xclaim: Interoperability with cryptocurrency-backed tokens Zamyatin, Alexei and Harz, Dominik and Lind, Joshua and Panayiotou, Panayiotis and Gervais, Arthur and Knottenbelt, William J. 2018. | |
| 1530. | Insured MPC: Efficient Secure Multiparty Computation with Punishable Abort Baum, Carsten and David, Bernardo and Dowsley, Rafael. 2018. | |
| 1531. | Mastering Bitcoin: unlocking digital cryptocurrencies Antonopoulos, Andreas M. 2014. | |
| 1532. | Bitcoin and cryptocurrency technologies: a comprehensive introduction Narayanan, Arvind and Bonneau, Joseph and Felten, Edward and Miller, Andrew and Goldfeder, Steven. 2016. | |
| 1533. | GASTAP: A Gas Analyzer for Smart Contracts Albert, Elvira and Gordillo, Pablo and Rubio, Albert and Sergey, Ilya. 2018. | |
| 1534. | Formal verification of Deed contract in Ethereum name service Hirai, Yoichi. 2016. | |
| 1535. | Iterated Search Problems and Blockchain Security under Falsifiable Assumptions Garay, Juan A and Kiayias, Aggelos and Panagiotakos, Giorgos. 2019. | |
| 1536. | Pay-To-Win: Incentive Attacks on Proof-of-Work Cryptocurrencies Aljosha Judmayer and Nicholas Stifter and Alexei Zamyatin and Itay Tsabary and Ittay Eyal and Peter Gazi and Sarah Meiklejohn and Edgar Weippl. 2019. | |
| 1537. | Extending the Anonymity of Zcash George Kappos and Ania M. Piotrowska. 2019. | |
| 1538. | Hostile blockchain takeovers (short paper) Joseph Bonneau. 2018. | |
| 1539. | Toychain: Formally Verified Blockchain Consensus George P\^ırlea. 2019. | |
| 1540. | Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability Giulio Malavolta and Pedro Moreno-Sanchez and Clara Schneidewind and Aniket Kate and Matteo Maffei. 2019. | |
| 1541. | Tezos -- a self-amending crypto-ledger Goodman, L.M.. 2014. | |
| 1542. | ON DEPLOYING SUCCINCT ZERO-KNOWLEDGE PROOFS Madars Virza. 2017. | |
| 1543. | Ostraka: Secure Blockchain Scaling by Node Sharding Alex Manuskin and Michael Mirkin and Ittay Eyal. 2019. | |
| 1544. | Proofs-of-delay and randomness beacons in ethereum B\"unz, Benedikt and Goldfeder, Steven and Bonneau, Joseph. 2017. | |
| 1545. | ZoKrates - Scalable Privacy-Preserving Off-Chain Computations Jacob Eberhardt and Stefan Tai. 2018. | |
| 1546. | Bulletproofs: Efficient range proofs for confidential transactions B\"unz, Benedikt and Bootle, Jonathan and Boneh, Dan and Poelstra, Andrew and Wuille, Pieter and Maxwell, Greg. 2017. | |
| 1547. | ACE: Asynchronous and Concurrent Execution of Complex Smart Contracts Karl Wüst and Sinisa Matetic and Silvan Egli and Kari Kostiainen and Srdjan Capkun. 2019. | |
| 1548. | Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake Christian Badertscher and Peter Gaži and Aggelos Kiayias and Alexander Russell and Vassilis Zikas. 2019. | |
| 1549. | Evaluating user privacy in bitcoin Androulaki, Elli and Karame, Ghassan O and Roeschlin, Marc and Scherer, Tobias and Capkun, Srdjan. 2013. | |
| 1550. | Fractal: A New Paradigm for High-Performance Proof-of-Stake Blockchains Zhou, Hong-Sheng. 2019. | |
| 1551. | A Scalable Proof-of-Stake Blockchain in the Open Setting Fan, Lei and Zhou, Hong-Sheng and Katz, Jonathan. 2018. | |
| 1552. | Hidden in Plain Sight: Storing and Managing Secrets on a Public Ledger. Kokoris-Kogias, Eleftherios and Alp, Enis Ceyhun and Siby, Sandra Deepthy and Gailly, Nicolas and Jovanovic, Philipp and Gasser, Linus and Ford, Bryan. 2018. | |
| 1553. | NOCUST--A Securely Scalable Commit-Chain Khalil, Rami and Gervais, Arthur and Felley, Guillaume. 2019. | |
| 1554. | Rootstock: Bitcoin powered smart contracts Lerner, S Demian. 2015. | |
| 1555. | Casper the friendly ghost: A correct by construction blockchain consensus protocol Zamfir, Vlad. 2017. | |
| 1556. | Alt chains and atomic transfers Tier Nolan. 2013. | |
| 1557. | Drivechains, sidechains and hybrid 2-way peg designs Lerner, Sergio Damian. 2016. | |
| 1558. | Drivechain-the simple two way peg, November 2015 Sztorc, Paul. 2015. | |
| 1559. | Calypso: Auditable sharing of private data over blockchains Kokoris-Kogias, Eleftherios and Alp, Enis Ceyhun and Siby, Sandra Deepthy and Gailly, Nicolas and Gasser, Linus and Jovanovic, Philipp and Syta, Ewa and Ford, Bryan. 2018. | |
| 1560. | Filecoin: A decentralized storage network Benet, J and Greco, N. 2018. | |
| 1561. | OCEAN: A Built-In Replacement for Mining Pools Raymond Chee and Kartik Chitturi and Edouard Dufour-Sans and Kyle Soska. 2019. | |
| 1562. | Afgjort--A Semi-Synchronous Finality Layer for Blockchains Magri, Bernardo and Matt, Christian and Nielsen, Jesper Buus and Tschudi, Daniel. 2019. | |
| 1563. | IELE: a rigorously designed language and tool ecosystem for the blockchain Kasampalis, Theodoros and Guth, Dwight and Moore, Brandon and Șerb\uanuț\ua, Traian Florin and Zhang, Yi and Filaretti, Daniele and Șerb\uanuț\ua, Virgil and Johnson, Ralph and Ro\csu, Grigore. 2019. | |
| 1564. | Short Paper: Towards Characterizing Sybil Attacks in Cryptocurrency Mixers Mikerah Quintyne-Collins. 2019. | |
| 1565. | Prism: Scaling Bitcoin by 10,000 x Yang, Lei and Bagaria, Vivek and Wang, Gerui and Alizadeh, Mohammad and Tse, David and Fanti, Giulia and Viswanath, Pramod. 2019. | |
| 1566. | Gas limit aware mutation testing of smart contracts at scale Hartel, Pieter and Schumi, Richard. 2019. | |
| 1567. | Smashing ethereum smart contracts for fun and real profit Mueller, Bernhard. 2018. | |
| 1568. | TULIP: A Fully Incentive Compatible Blockchain Framework Amortizing Redundant Communication Ersoy, Oguzhan and Zekeriya, Erkin and Lagendijk, Reginald L. 2019. | |
| 1569. | Barracuda: The Power of $$\backslash$ell $-polling in Proof-of-Stake Blockchains Fanti, Giulia and Jiao, Jiantao and Makkuva, Ashok and Oh, Sewoong and Rana, Ranvir and Viswanath, Pramod. 2019. | |
| 1570. | Avoiding deadlocks in payment channel networks Werman, Shira and Zohar, Aviv. 2018. | |
| 1571. | A Large-Scale Proof-of-Stake Blockchain in the Open Setting Fan, Lei and Katz, Jonathan and Zhou, Hong-Sheng. 2019. | |
| 1572. | BackPackers: A New Network Paradigm for Secure and High-performance Blockchains Thai, Phuc D and Zhou, Hong-sheng and Katz, Jonathan and Fan, Lei and Dinh, Thang N. 2019. | |
| 1573. | Divide and Scale: Formalization of Distributed Ledger Sharding Protocols Avarikioti, Georgia and Kokoris-Kogias, Eleftherios and Wattenhofer, Roger. 2019. | |
| 1574. | Pricing via processing or combatting junk mail Dwork, Cynthia and Naor, Moni. 1992. | |
| 1575. | Updatable CRS Simulation-Extractable zk-SNARKs with a Single Verification Kim, Jihye and Lee, Jiwon and Oh, Hyunok. 2019. | |
| 1576. | WaterCarver: Anonymous Confidential Blockchain System based on Account Model Jiajun Xin and Pei Huang and Lei Chen and Xin Lai and Xiao Zhang and Wulu Li and Yongcan Wang. 2019. | |
| 1577. | Just Enough Security: Reducing Proof-of-Work Ecological Footprint Tsabary, Itay and Spiegelman, Alexander and Eyal, Ittay. 2019. | |
| 1578. | Verifiable Computation using Smart Contracts Avizheh, Sepideh and Nabi, Mahmudun and Safavi-Naini, Reihaneh and Venkateswarlu K, Muni. 2019. | |
| 1579. | {\AE}GIS: Smart Shielding of Smart Contracts Ferreira Torres, Christof and Baden, Mathis and Norvill, Robert and Jonker, Hugo. 2019. | |
| 1580. | On Privacy Preserving Blockchains and zk-SNARKs Atapoor, Shahla. 2019. | |
| 1581. | Compact linkable ring signatures and applications Goodell, Brandon and Noether, Sarang and Blue, Arthur. 2019. | |
| 1582. | A 2 L: Anonymous Atomic Locks for Scalability and Interoperability in Payment Channel Hubs Tairi, Erkan and Moreno-Sanchez, Pedro and Maffei, Matteo. 2019. | |
| 1583. | Reparo: Publicly Verifiable Layer to Repair Blockchains Thyagarajan, Sri Aravinda Krishnan and Bhat, Adithya and Magri, Bernardo and Tschudi, Daniel and Kate, Aniket. 2020. | |
| 1584. | Lattice RingCT v2.0 with Multiple Input and Output Wallets Wilson Alberto Torres and Veronika Kuchta and Ron Steinfeld and Amin Sakzad and Joseph K. Liu and Jacob Cheng. 2019. | |
| 1585. | Bitcoin Crypto–Bounties for Quantum Capable Adversaries Dragos Ioan Ilie and Kostis Karantias and William J. Knottenbelt. 2020. | |
| 1586. | Trustless Groups of Unknown Order with Hyperelliptic Curves Samuel Dobson and Steven D. Galbraith. 2020. | |
| 1587. | Lightweight delegatable proofs of storage Xu, Jia and Yang, Anjia and Zhou, Jianying and Wong, Duncan S. 2016. | |
| 1588. | "Many-out-of-Many" Proofs with Applications to Anonymous Zether Benjamin E. Diamond. 2020. | |
| 1589. | Optimized Collision Search for STARK-Friendly Hash Challenge Candidates Udovenko, Aleksei. 2020. | |
| 1590. | Hydra: Fast Isomorphic State Channels Chakravarty, Manuel MT and Coretti, Sandro and Fitzi, Matthias and Gazi, Peter and Kant, Philipp and Kiayias, Aggelos and Russell, Alexander. 2020. | |
| 1591. | Triptych-2: efficient proofs for confidential transactions Noether, Sarang. 2020. | |
| 1592. | Efficient polynomial commitment schemes for multiple points and polynomials Dan Boneh and Justin Drake and Ben Fisch and Ariel Gabizon. 2020. | |
| 1593. | Constructing hidden order groups using genus three Jacobians Steve Thakur. 2020. | |
| 1594. | A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network Sergei Tikhomirov and Pedro Moreno-Sanchez and Matteo Maffei. 2020. | |
| 1595. | zkRelay: Facilitating Sidechains using zkSNARK-based Chain-Relays Martin Westerkamp and Jacob Eberhardt. 2020. | |
| 1596. | Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric Ralf Kuesters and Daniel Rausch and Mike Simon. 2020. | |
| 1597. | Fast, Private, Flexible Blockchain Contracts ZkVM Oleg Andreev and Bob Glickstein and Vicki Niu and Tess Rinearson and Debnil Sur and Cathie Yun. 2019. | |
| 1598. | Optimal Good-case Latency for Byzantine Broadcast and State Machine Replication Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2020. | |
| 1599. | Implementing a Smart Contract PKI Patsonakis, Christos and Samari, Katerina and Kiayias, Aggelos and Roussopoulos, Mema. 2020. | |
| 1600. | Smart Contract With Secret Parameters Thiercelin, Marin and Cheng, Chen-Mou and Miyaji, Atsuko and Vaudenay, Serge. 2020. | |
| 1601. | TinyRAM Architecture Specification v2. 000 Chiesa, Eli Ben-Sasson Alessandro and Genkin, Daniel and Tromer, Eran and Virza, Madars. 2020. | |
| 1602. | On the Confidentiality of Amounts in Grin Suyash Bagad and Saravanan Vijayakumaran. 2020. | |
| 1603. | Reputable List Curation from Decentralized Voting Elizabeth C. Crites and Mary Maller and Sarah Meiklejohn and Rebekah Mercer. 2020. | |
| 1604. | Rational Behavior in Committee-Based Blockchains Yackolley Amoussou-Guenou and Bruno Biais and Maria Potop-Butucaru and Sara Tucci-Piergiovanni. 2020. | |
| 1605. | Leveraging Weight Functions for Optimistic Responsiveness in Blockchains Simon Holmgaard Kamp and Bernardo Magri and Christian Matt and Jesper Buus Nielsen and Søren Eller Thomsen and Daniel Tschudi. 2020. | |
| 1606. | MAD-HTLC: Because HTLC is Crazy-Cheap to Attack Itay Tsabary and Matan Yechieli and Ittay Eyal. 2020. | |
| 1607. | Dynamic proofs of retrievability with low server storage Anthoine, Gaspard and Dumas, Jean-Guillaume and Hanling, Michael and de Jonghe, M\'elanie and Maignan, Aude and Pernet, Cl\'ement and Roche, Daniel S. 2020. | |
| 1608. | Solida: A Blockchain Protocol Based on Reconfigurable Byzantine Consensus Abraham, Ittai and Malkhi, Dahlia and Nayak, Kartik and Spiegelman, Alexander. 2020. | |
| 1609. | Stablecoins 2.0: Economic Foundations and Risk-based Models Ariah Klages-Mundt and Dominik Harz and Lewis Gudgeon and Jun-You Liu and Andreea Minca. 2020. | |
| 1610. | A Simple Range Proof From Polynomial Commitments Dan Boneh and Ben Fisch and Ariel Gabizon and Zac Williamson. 2020. | |
| 1611. | An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language Coblenz, Michael and Aldrich, Jonathan and Sunshine, Joshua and Myers, Brad. 2020. | |
| 1612. | Groth16 SNARKs are Randomizable and (Weakly) Simulation Extractable Mikhail Volkhov and Markulf Kohlweiss. 2020. | |
| 1613. | PayPlace: A Scalable Sidechain Protocol for Flexible Payment Mechanisms in Blockchain-based Marketplaces Harishankar, Madhumitha and Iyer, Sriram V and Laszka, Aron and Joe-Wong, Carlee and Tague, Patrick. 2020. | |
| 1614. | DEEP-FRI: Sampling Outside the Box Improves Soundness Eli Ben-Sasson and Lior Goldberg and Swastik Kopparty and Shubhangi Saraf. 2019. | |
| 1615. | Computation Verification for Noobs Riabzev, Michael and Ben-Sasson, Eli and Ishai, Yuval. 2019. | |
| 1616. | An empirical study of availability and reliability properties of the Bitcoin Lightning Network Waugh, Finnegan and Holz, Ralph. 2020. | |
| 1617. | Flood \& Loot: A Systemic Attack On The Lightning Network Harris, Jona and Zohar, Aviv. 2020. | |
| 1618. | Virtual ASICs: Generalized Proof-of-Stake Mining in Cryptocurrencies Chaya Ganesh and Claudio Orlandi and Daniel Tschudi and Aviv Zohar. 2020. | |
| 1619. | Proofs of Useless Work--Positive and Negative Results for Wasteless Mining Systems Dotan, Maya and Tochner, Saar. 2020. | |
| 1620. | Cross-Layer Deanonymization Methods in the Lightning Protocol Romiti, Matteo and Victor, Friedhelm and Moreno-Sanchez, Pedro and Haslhofer, Bernhard and Maffei, Matteo. 2020. | |
| 1621. | On the linkability of Zcash transactions Quesnelle, Jeffrey. 2017. | |
| 1622. | Privacy and linkability of mining in zcash Biryukov, Alex and Feher, Daniel. 2019. | |
| 1623. | zk-SNARKs Analysis and Implementation on Ethereum Ballesteros Rodr\'\iguez, Alberto. 2020. | |
| 1624. | Threshold ECDSA with an Offline Recovery Party Battagliola, Michele and Longo, Riccardo and Meneghetti, Alessio and Sala, Massimiliano. 2020. | |
| 1625. | Non-Atomic Payment Splitting in Channel Networks Dziembowski, Stefan and Kedzior, Pawe\l. 2020. | |
| 1626. | Undercutting Bitcoin Is Not Profitable Tiantian Gong and Mohsen Minaei and Wenhai Sun and Aniket Kate. 2020. | |
| 1627. | UTXOma: UTXO with Multi-Asset Support Chakravarty, Manuel MT and Chapman, James and MacKenzie, Kenneth and Melkonian, Orestis and M\"uller, Jann and Jones, Michael Peyton and Vinogradova, Polina and Wadler, Philip and Zahnentferner, Joachim. 2020. | |
| 1628. | The Maker Protocol:MakerDAO’s Multi-Collateral Dai(MCD) System Makerdao. 2017. | |
| 1629. | Synthetix Synthetix. 2020. | |
| 1630. | Foundations of Distributed Consensus and Blockchains Elaine Shi. 2020. | |
| 1631. | GasMet: Profiling Gas Leaks in the Deployment of Solidity Smart Contracts Canfora, Gerardo and Di Sorbo, Andrea and Laudanna, Sonia and Vacca, Anna and Visaggio, Corrado A. 2020. | |
| 1632. | Kyber: An On-Chain Liquidity Protocol Kyber. 2019. | |
| 1633. | Platypus: Offchain protocol without synchrony Ranchal-Pedrosa, Alejandro and Gramoli, Vincent. 2019. | |
| 1634. | Smart Contract Languages: A Thorough Comparison Gramlich, Benjamin. 2020. | |
| 1635. | Succinct Non-Interactive Arguments for Arithmetic Circuits Spooner, Nicholas. 2020. | |
| 1636. | Off-chain protocols for cryptocurrencies Goldfeder, Steven Andrew and others. 2018. | |
| 1637. | Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL Ribeiro, Maria and Adao, Pedro and Mateus, Paulo. 2020. | |
| 1638. | The Checkpointed Longest Chain: User-dependent Adaptivity and Finality Sankagiri, Suryanarayana and Wang, Xuechao and Kannan, Sreeram and Viswanath, Pramod. 2020. | |
| 1639. | On Succinct Non-InteractiveZero-Knowledge Protocols UnderWeaker Trust Assumptions Behzad Abdolmaleki. 2020. | |
| 1640. | Ethereum Smart Contracts Optimization Margherita Renieri. 2020. | |
| 1641. | Verification of recursive Bitcoin contracts Bartoletti, Massimo and Lande, Stefano and Murgia, Maurizio and Zunino, Roberto. 2020. | |
| 1642. | BDoS: Blockchain Denial-of-Service Attacks Mirkin, Michael and Ji, Yan and Pang, Jonathan and Klages-Mundt, Ariah and Eyal, Ittay and Juels, Ari. 2020. | |
| 1643. | The Bitcoin Hunter: Detecting Bitcoin Traffic over Encrypted Channels Rezaei, Fatemeh and Naseri, Shahrzad and Eyal, Ittay and Houmansadr, Amir. 2020. | |
| 1644. | Functional Verification of Smart Contracts via Strong Data Integrity Ahrendt, Wolfgang and Bubel, Richard. 2020. | |
| 1645. | Specifying Framing Conditions for Smart Contracts Beckert, Bernhard and Schiffl, Jonas. 2020. | |
| 1646. | Zero-Knowledge Proofs applied to finance S\'anchez Ortiz, Elvira. 2020. | |
| 1647. | Achieving State Machine Replication without Honesty Assumptions McMenamin, Conor and Daza, Vanesa and Pontecorvi, Matteo. 2020. | |
| 1648. | Efficient Verification of Optimized Code: Correct High-speed Curve25519 Schoolderman, Marc and Moerman, Jonathan and Smetsers, Sjaak and van Eekelen, Marko. 2020. | |
| 1649. | A tool for proving Michelson Smart Contracts in WHY3 da Horta, Lu\'\is Pedro Arrojado and Reis, Jo\~ao Santos and de Sousa, Sim\~ao Melo and Pereira, M\'ario. 2020. | |
| 1650. | Halo 0.9: A Halo Protocol with Fully-Succinctness Lira Wang. 2020. | |
| 1651. | Post-Quantum Security of the Bitcoin Backbone and Quantum Multi-Solution Bernoulli Search Cojocaru, Alexandru and Garay, Juan and Kiayias, Aggelos and Song, Fang and Wallden, Petros. 2020. | |
| 1652. | SoK: Algorithmic Incentive Manipulation Attacks on Permissionless PoW Cryptocurrencies Aljosha Judmayer and Nicholas Stifter and Alexei Zamyatin and Itay Tsabary and Ittay Eyal and Peter Gaži and Sarah Meiklejohn and Edgar Weippl. 2020. | |
| 1653. | Privacy-Enhancing Cryptography in Distributed Ledgers Angelo De Caro and Michele Ciampi and Berry Schoenmakers and Toon Segers and Mikhail Volkhov and Markulf Kohlweiss and Ahto Truu and Henri Lakk. 2020. | |
| 1654. | Qredo Network McCusker, Kealan and Spector, Brian. 2020. | |
| 1655. | Nexus Mutual: A peer-to-peer discretionary mutual on the Ethereum blockchain Karp, H and Melbardis, R. 2020. | |
| 1656. | The Bitcoin Cash Backbone Protocol Juan Garay and Yu Shen. 2021. | |
| 1657. | Fast-HotStuff: A Fast and Resilient BFT protocol for Blockchains Jalalzai, Mohammad M and Niu, Jianyu and Feng, Chen and Gai, Fangyu. 2021. | |
| 1658. | Fast Validated Byzantine Broadcast Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2021. | |
| 1659. | When Nakamoto Meets Nash: Blockchain Breakthrough Through the Lens of Game Theory (Invited Talk) Abraham, Ittai. 2021. | |
| 1660. | Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper) Danos, Vincent and Krivine, Jean and Prat, Julien. 2021. | |
| 1661. | Absentia: secure function evaluation on Ethereum Demirag, Didem and Clark, Jeremy. 2021. | |
| 1662. | EthVer: Formal verification of randomized Ethereum smart contracts Mazurek, \Lukasz. 2021. | |
| 1663. | Property-based testing of ERC-721 Ethereum smart contracts de Figueiredo Novo, Isac Daniel. 2021. | |
| 1664. | On (Weak) Simulation-Extractability of Universal zkSNARKs Markulf Kohlweiss and Michał Zając. 2021. | |
| 1665. | ZK Contingent Payments for Trained Neural Networks Zhelei Zhou and Xinlei Cao and Jian Liu and Bingsheng Zhang and Kui Ren. 2021. | |
| 1666. | 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. | |
| 1667. | Blockchains+ Network Privacy= A Nightmare Kate, Aniket. 2021. | |
| 1668. | Payment Does Not Imply Consensus (For Distributed Payment Systems) Orton, Thomas. 2021. | |
| 1669. | A Permissionless Proof-of-Stake Blockchain with Best-Possible Unpredictability Lei Fan and Jonathan Katz and Phuc Thai and Hong-Sheng Zhou. 2021. | |
| 1670. | Semantics and complexity of bitcoin script Reisenegger Butr\'on, Thomas. 2021. | |
| 1671. | IPFS-FAN: A Function-Addressable Computation Network de la Rocha, Alfonso and Psaras, Yiannis and Dias, David. 2021. | |
| 1672. | The cost of immortality: A Time To Live for smart contracts Saingre, Dimitri and Ledoux, Thomas and Menaud, Jean-Marc. 2021. | |
| 1673. | Sn{\aa}rkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell Stewart, Gordon and Merten, Samuel and Leland, Logan. 2018. | |
| 1674. | 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. | |
| 1675. | VESPo: Verified Evaluation of Secret Polynomials Dumas, Jean-Guillaume and Maignan, Aude and Pernet, Cl\'ement and Roche, Daniel S. 2021. | |
| 1676. | PriBank: Confidential Blockchain Scaling Using Short Commit-and-Proof NIZK Argument Gj\osteen, Kristian and Raikwar, Mayank and Wu, Shuang. 2022. | |
| 1677. | Spats: user-defined confidential assets for the Spark transaction protocol Feickert, Aaron and Jivanyan, Aram. 2022. | |
| 1678. | Two More Attacks on Proof-of-Stake GHOST/Ethereum Neu, Joachim and Tas, Ertem Nusret and Tse, David. 2022. | |
| 1679. | Eth 2.0 Randomness Ben Edgington. 2022. | |
| 1680. | Understanding rollup economics from first principles Monnot, Barnabé. 2022. | |
| 1681. | Ping-Pong Swaps Grunspan, Cyril and Perez-Marco, Ricardo. 2022. | |
| 1682. | Selfish mining in ethereum Grunspan, Cyril and P\'erez-Marco, Ricardo. 2020. | |
| 1683. | Leveraging Democracy to Optimize Distributed Random Beacons Ranchal-Pedrosa, Alejandro and Gramoli, Vincent. 2022. | |
| 1684. | EdMSM: Multi-Scalar-Multiplication for recursive SNARKs and more Youssef EL Housni and Gautam Botrel. 2022. | |
| 1685. | Specular: Towards Trust-minimized Blockchain Execution Scalability with EVM-native Fraud Proofs Ye, Zhe and Misra, Ujval and Song, Dawn. 2022. | |
| 1686. | Fraud and data availability proofs: Detecting invalid blocks in light clients Al-Bassam, Mustafa and Sonnino, Alberto and Buterin, Vitalik and Khoffi, Ismail. 2021. | |
| 1687. | A zk-evm specification B\'egassat, Olivier and Belling, Alexandre and Chapuis-Chkaiban, Th\'eodore and Delehelle, Franklin and Kolad, Blazej and Liochon, Nicolas. 2022. | |
| 1688. | CRS-Updatable Asymmetric Quasi-Adaptive NIZK Arguments Behzad Abdolmaleki and Daniel Slamanig. 2022. | |
| 1689. | Side Contract Commitment Attacks on Blockchains Landis, Daji and Schwartzbach, Nikolaj I.. 2023. | |
| 1690. | Flyover: A Repayment Protocol for Fast Bitcoin Transfers over Federated Pegs Javier Álvarez Cid-Fuentes and Diego Angel Masini and Sergio Demian Lerner. 2023. | |
| 1691. | A Universally Composable Non-interactive Aggregate Cash System Jia, Yanxue and Sun, Shi-Feng and Zhou, Hong-Sheng and Gu, Dawu. 2023. | |
| 1692. | Fair Delivery of Decentralised Randomness Beacon Runchao Han and Jiangshan Yu. 2023. | |
| 1693. | Extended Abstract: HotStuff-2: Optimal Two-Phase Responsive BFT Dahlia Malkhi and Kartik Nayak. 2023. | |
| 1694. | FRED: A Frontrunning Resistant Darkpool Chudnovsky, Jacob and Friedlander, Henry and Vasisht, Ajay and Zalcberg, Federico. 2022. | |
| 1695. | No-commit proofs: Defeating livelock in bft Giridharan, Neil and Howard, Heidi and Abraham, Ittai and Crooks, Natacha and Tomescu, Alin. 2021. | |
| 1696. | The Aptos Blockchain: Safe, Scalable, and Upgradeable Web3Infrastructure Aptos Team. 2022. | |
| 1697. | Front-running Attack in Distributed Sharded Ledgers and Fair Cross-shard Consensus Jianting Zhang and Wuhui Chen and Sifu Luo and Tiantian Gong and Zicong Hong and Aniket Kate. 2023. | |
| 1698. | Improved SNARK Frontend for Highly Repetitive Computations Sriram Sridhar and Yinuo Zhang. 2023. | |
| 1699. | Mutator Sets and their Application to Scalable Privacy Alan Szepieniec and Thorkil Værge. 2023. | |
| 1700. | Leveraging Machine Learning for Bidding Strategies in Miner Extractable Value (MEV) Auctions Christoffer Raun and Benjamin Estermann and Liyi Zhou and Kaihua Qin and Roger Wattenhofer and Arthur Gervais and Ye Wang. 2023. | |
| 1701. | Accountable Safety Implies Finality Joachim Neu and Ertem Nusret Tas and David Tse. 2023. | |
| 1702. | How to Physically Hold Your Bitcoins ? Houda Ferradi and Antoine Houssais and David Naccache. 2023. | |
| 1703. | SoK: Understanding zk-SNARKs: The Gap Between Research and Practice Liang, Junkai and Hu, Daqi and Wu, Pengfei and Yang, Yunbo and Shen, Qingni and Wu, Zhonghai. 2025. | |
| 1704. | An optimization of the addition gate count in Plonkish circuits Thakur, Steve. 2023. | |
| 1705. | On PlonK SNARK Ben\vc\'\ik, Benjam\'\in. 2024. | |
| 1706. | Public inputs in PlonK’s permutation argument Gabizon, Ariel and Williamson, Zachary J. 2021. |