Papers (173)

#Title
Citations
1.Decentralized reputation Tassos Dimitriou. 2020
54
2.Coda: Decentralized Cryptocurrency at Scale Joseph Bonneau and Izaak Meckler and Vanishree Rao and Evan Shapiro. 2020  
8
3.Lift-and-Shift: Obtaining Simulation Extractable Subversion and Updatable SNARKs Generically Bezhad Abdolmaleki and Sebastian Ramacher and Daniel Slamanig. 2020
5
4.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
3
5.Streamlet: Textbook Streamlined Blockchains Benjamin Y Chan and Elaine Shi. 2020
3
6.Bandwidth-efficient threshold EC-DSA Guilhem Castagnos and Dario Catalano and Fabien Laguillaumie and Federico Savasta and Ida Tucker. 2020
3
7.Toward Active and Passive Confidentiality Attacks On Cryptocurrency Off-Chain Networks Nisslmueller, Utz and Foerster, Klaus-Tycho and Schmid, Stefan and Decker, Christian. 2020
3
8.Trustless Groups of Unknown Order with Hyperelliptic Curves Samuel Dobson and Steven D. Galbraith. 2020  
3
9.The Decentralized Financial Crisis: Attacking DeFi Gudgeon, Lewis and Perez, Daniel and Harz, Dominik and Gervais, Arthur and Livshits, Benjamin. 2020
3
10.Consistency in Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders Aggelos Kiayias and Saad Quader and Alexander Russell. 2020
2
11.Albert, an intermediate smart-contract language for the Tezos blockchain Bernardo, Bruno and Cauderlier, Rapha\"el and Pesin, Basile and Tesson, Julien. 2020
2
12.Triptych: logarithmic-sized linkable ring signatures with applications Sarang Noether and Brandon Goodell. 2020
2
13.Streamlined Blockchains: A Simple and Elegant Approach (A Tutorial and Survey) Elaine Shi. 2020
2
14.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
2
15.Proof of Necessary Work: Succinct State Verification with Fairness Guarantees Assimakis Kattis and Joseph Bonneau. 2020
2
16.Mind the Middle Layer: The HADES Design Strategy Revisited Nathan Keller and Asaf Rosemarin. 2020
2
17.The mathematics of Bitcoin Grunspan, Cyril and P\'erez-Marco, Ricardo. 2020
2
18.Zendoo: a zk-SNARK Verifiable Cross-Chain Transfer Protocol Enabling Decoupled and Decentralized Sidechains Alberto Garoffolo and Dmytro Kaidalov and Roman Oliynykov. 2020
2
19.Triptych-2: efficient proofs for confidential transactions Noether, Sarang. 2020  
2
20.Optimal Good-case Latency for Byzantine Broadcast and State Machine Replication Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2020
2
21.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
2
22.Proof-of-Stake Blockchain Protocols with Near-Optimal Throughput Matthias Fitzi and Peter Gaži and Aggelos Kiayias and Alexander Russell. 2020
1
23.Scalable Open-Vote Network on Ethereum Mohamed Seifelnasr and Hisham S. Galal and Amr M. Youssef. 2020
1
24.The Arwen Trading Protocols (Full Version) Ethan Heilman and Sebastien Lipmann and Sharon Goldberg. 2020
1
25.ConCert: A Smart Contract Certification Framework in Coq Annenkov, Danil and Nielsen, Jakob Botsch and Spitters, Bas. 2020
1
26.Ethna: Channel Network with Dynamic Internal Payment Splitting Stefan Dziembowski and Paweł Kędzior. 2020
1
27.Securing Proof-of-Work Ledgers via Checkpointing Dimitris Karakostas and Aggelos Kiayias. 2020
1
28.Lower Bounds for Off-Chain Protocols: Exploring the Limits of Plasma Stefan Dziembowski and Grzegorz Fabiański and Sebastian Faust and Siavash Riahi. 2020
1
29.Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity Antonino, Pedro and Roscoe, AW. 2020
1
30.One-shot Signatures and Applications to Hybrid Quantum/Classical Authentication Amos, Ryan and Georgiou, Marios and Kiayias, Aggelos and Zhandry, Mark. 2020
1
31.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
1
32.Network-Agnostic State Machine Replication Blum, Erica and Katz, Jonathan and Loss, Julian. 2020
1
33.Generic-Group Delay Functions Require Hidden-Order Groups Lior Rotem and Gil Segev and Ido Shahaf. 2020
1
34.Vector Commitment Techniques and Applications to Verifiable Decentralized Storage Matteo Campanelli and Dario Fiore and Nicola Greco and Dimitris Kolonelos and Luca Nizzardo. 2020
1
35.The security of Groups of Unknown Order based on Jacobians of Hyperelliptic Curves Jonathan Lee. 2020
1
36."Many-out-of-Many" Proofs with Applications to Anonymous Zether Benjamin E. Diamond. 2020
1
37.Order-Fairness for Byzantine Consensus Mahimna Kelkar and Fan Zhang and Steven Goldfeder and Ari Juels. 2020
1
38.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
1
39.On the Profitability of Selfish Mining Against Multiple Difficulty Adjustment Algorithms Michael Davidson and Tyler Diamond. 2020
1
40.Renegotiation and recursion in Bitcoin contracts Bartoletti, Massimo and Murgia, Maurizio and Zunino, Roberto. 2020
1
41.Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit Qin, Kaihua and Zhou, Liyi and Livshits, Benjamin and Gervais, Arthur. 2020
1
42.Domain Specific Language for Smart Contract Development W\"ohrer, Maximilian and Zdun, Uwe. 2020
1
43.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
1
44.Efficient polynomial commitment schemes for multiple points and polynomials Dan Boneh and Justin Drake and Ben Fisch and Ariel Gabizon. 2020
1
45.A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network Sergei Tikhomirov and Pedro Moreno-Sanchez and Matteo Maffei. 2020
1
46.zkRelay: Facilitating Sidechains using zkSNARK-based Chain-Relays Martin Westerkamp and Jacob Eberhardt. 2020
1
47.Pointproofs: Aggregating Proofs for Multiple Vector Commitments Sergey Gorbunov and Leonid Reyzin and Hoeteck Wee and Zhenfei Zhang. 2020
1
48.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
1
49.Mining for Privacy: How to Bootstrap a Snarky Blockchain Thomas Kerber and Aggelos Kiayias and Markulf Kohlweiss. 2020
1
50.A PoR/PoS-Hybrid Blockchain: Proof of Reputation with Nakamoto Fallback Leonard Kleinrock and Rafail Ostrovsky and Vassilis Zikas. 2020
1
51.UTxO-vs account-based smart contract blockchain programming paradigms Brunjes, Lars and Gabbay, Murdoch J. 2020
1
52.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
1
53.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
1
54.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
1
55.Threshold ECDSA for Decentralized Asset Custody Adam Gągol and Damian Straszak. 2020
1
56.Storing and Retrieving Secrets on a Blockchain Vipul Goyal and Abhiram Kothapalli and Elisaweta Masserova and Bryan Parno and Yifan Song. 2020
1
57.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
1
58.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
1
59.One Round Threshold ECDSA with Identifiable Abort Rosario Gennaro and Steven Goldfeder. 2020  
1
60.SoK: Lifting Transformations for Simulation Extractable Subversion and Updatable SNARKs⋆ Abdolmaleki, Behzad and Ramacher, Sebastian and Slamanig, Daniel. 2020
1
61.Vector Commitment Techniques and Applications to Verifiable Decentralized Storage Campanelli, Matteo and Fiore, Dario and Greco, Nicola and Kolonelos, Dimitris and Nizzardo, Luca. 2020
1
62.plookup: A simplified polynomial protocol for lookup tables Ariel Gabizon and Zachary J. Williamson. 2020
1
63.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
1
64.Kachina--Foundations of Private Smart Contracts Kerber, Thomas and Kiayias, Aggelos and Kohlweiss, Markulf. 2020
0
65.Reparo: Publicly Verifiable Layer to Repair Blockchains Thyagarajan, Sri Aravinda Krishnan and Bhat, Adithya and Magri, Bernardo and Tschudi, Daniel and Kate, Aniket. 2020
0
66.Bypassing Non-Outsourceable Proof-of-Work Schemes Using Collateralized Smart Contracts Alexander Chepurnoy and Amitabh Saxena. 2020
0
67.Short Selling Attack: A Self-Destructive But Profitable 51% Attack On PoS Blockchains Suhyeon Lee and Seungjoo Kim. 2020
0
68.Single Secret Leader Election Boneh, Dan and Eskandarian, Saba and Hanzlik, Lucjan and Greco, Nicola. 2020
0
69.Formal specification of a security framework for smart contracts Mandrykin, Mikhail and O'Shannessy, Jake and Payne, Jacob and Shchepetkov, Ilya. 2020
0
70.Anonymous Tokens with Private Metadata Bit Ben Kreuter and Tancrede Lepoint and Michele Orru and Mariana Raykova. 2020
0
71.Baby SNARK (do do dodo dodo) Andrew Miller and Ye Zhang and Sanket Kanjalkar. 2020
0
72.Bitcoin Crypto–Bounties for Quantum Capable Adversaries Dragos Ioan Ilie and Kostis Karantias and William J. Knottenbelt. 2020
0
73.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
0
74.Remote Side-Channel Attacks on Anonymous Transactions Florian Tramèr and Dan Boneh and Kenneth G. Paterson. 2020
0
75.Empirical Measurements on Pricing Oracles and Decentralized Governance for Stablecoins Gu, Wanyun and Raghuvanshi, Anika and Boneh, Dan. 2020
0
76.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
0
77.An airdrop that preserves recipient privacy⋆ Wahby, Riad S and Boneh, Dan and Jeffrey, Christopher and Poon, Joseph. 2020  
0
78.Pricing ASICs for Cryptocurrency Mining Yaish, Aviv and Zohar, Aviv. 2020
0
79.Full Analysis of Nakamoto Consensus in Bounded-Delay Networks Juan Garay and Aggelos Kiayias and Nikos Leonardos. 2020
0
80.MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKs Ahmed Kosba and Dimitrios Papadopoulos and Charalampos Papamanthou and Dawn Song. 2020
0
81.Proof of Storage-Time: Efficiently Checking Continuous Data Availability Ateniese, Giuseppe and Chen, Long and Etemad, Mohammad and Tang, Qiang. 2020
0
82.Smart Contract Derivatives Kostis Karantias and Aggelos Kiayias and Dionysis Zindros. 2020
0
83.Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR Naor, Oded and Keidar, Idit. 2020
0
84.Optimized Collision Search for STARK-Friendly Hash Challenge Candidates Udovenko, Aleksei. 2020
0
85.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
0
86.Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities Kaleem, Mudabbir and Laszka, Aron. 2020
0
87.Constructing hidden order groups using genus three Jacobians Steve Thakur. 2020
0
88.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
0
89.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
0
90.Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric Ralf Kuesters and Daniel Rausch and Mike Simon. 2020
0
91.A Note on Low Order Assumptions in RSA groups István András Seres and Péter Burcsi. 2020
0
92.FastPay: High-Performance Byzantine Fault Tolerant Settlement Baudet, Mathieu and Danezis, George and Sonnino, Alberto. 2020
0
93.Updateable Inner Product Argument with Logarithmic Verifier and Applications Daza, Vanesa and R\`afols, Carla and Zacharakis, Alexandros. 2020
0
94.Proof-Carrying Data from Accumulation Schemes Benedikt Bünz and Alessandro Chiesa and Pratyush Mishra and Nicholas Spooner. 2020
0
95.Termination of Ethereum's Smart Contracts Genet, Thomas and Jensen, Thomas and Sauvage, Justine. 2020
0
96.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  
0
97.UC Non-Interactive, Proactive, Threshold ECDSA Ran Canetti and Nikolaos Makriyannis and Udi Peled. 2020
0
98.Aggregatable Subvector Commitments for Stateless Cryptocurrencies Alin Tomescu and Ittai Abraham and Vitalik Buterin and Justin Drake and Dankrad Feist and Dmitry Khovratovich. 2020
0
99.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
0
100.Implementing a Smart Contract PKI Patsonakis, Christos and Samari, Katerina and Kiayias, Aggelos and Roussopoulos, Mema. 2020
0
101.Promise: Leveraging Future Gains for Collateral Reduction Dominik Harz and Lewis Gudgeon and Rami Khalil and Alexei Zamyatin. 2020
0
102.Anonymous Lottery in the Proof-of-Stake Setting Foteini Baldimtsi and Varun Madathil and Alessandra Scafuro and Linfeng Zhou. 2020
0
103.Tiramisu: Black-Box Simulation Extractable NIZKs in the Updatable CRS Model Karim Baghery and Mahdi Sedaghat. 2020
0
104.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
0
105.Bitcoin Transaction Networks: an overview of recent results Vallarano, Nicol\`o and Tessone, Claudio and Squartini, Tiziano. 2020
0
106.Prism Removes Consensus Bottleneck for Smart Contracts Wang, Gerui and Wang, Shuo and Bagaria, Vivek and Tse, David and Viswanath, Pramod. 2020
0
107.eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts Schneidewind, Clara and Grishchenko, Ilya and Scherer, Markus and Maffei, Matteo. 2020
0
108.MoneyMorph: Censorship Resistant Rendezvous using Permissionless Cryptocurrencies Minaei, Mohsen and Moreno-Sanchez, Pedro and Kate, Aniket. 2020
0
109.TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation Alexei Zamyatin and Zeta Avarikioti and Daniel Perez and William J. Knottenbelt. 2020
0
110.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
0
111.Splitting Payments Locally While Routing Interdimensionally Lisa Eckey and Sebastian Faust and Kristina Hostáková and Stefanie Roos. 2020
0
112.ZeroJoin: Combining ZeroCoin and CoinJoin Alexander Chepurnoy and Amitabh Saxena. 2020
0
113.Account Management in Proof of Stake Ledgers Dimitris Karakostas and Aggelos Kiayias and Mario Larangeira. 2020
0
114.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
0
115.Why Do Smart Contracts Self-Destruct? Investigating the Selfdestruct Function on Ethereum Chen, Jiachi and Xia, Xin and Lo, David and Grundy, John. 2020
0
116.Alt-Coin Traceability Claire Ye and Chinedu Ojukwu and Anthony Hsu and Ruiqi Hu. 2020
0
117.Expected Constant Round Byzantine Broadcast under Dishonest Majority Jun Wan and Hanshen Xiao and Elaine Shi and Srinivas Devadas. 2020
0
118.Proposal: The Turbo-PLONK program syntaxfor specifying SNARK programs Ariel Gabizon and Zachary J. Williamson. 2020  
0
119.Community Proposal: A Benchmarking Framework for (Zero-Knowledge) Proof Systems Benarroch, Daniel and Nicolas, Aur\'elien and Thaler, Justin and Tromer, Eran. 2020
0
120.Optimized and secure pairing-friendly elliptic curves suitable for one layer proof composition Youssef El Housni and Aurore Guillevic. 2020  
0
121.Permissionless Consensus in the Resource Model Benjamin Terner. 2020
0
122.Unbounded Simulation-Sound Subversion Resistant Quasi-Adaptive NIZK Proofs and Applications to Modular zk-SNARKs Behzad Abdolmaleki and Daniel Slamanig. 2020
0
123.Layer 2 Atomic Cross-Blockchain Function Calls Robinson, Peter and Ramesh, Raghavendra. 2020
0
124.Formal Specification and Verification of Solidity Contracts with Events Hajdu, Akos and Jovanovic, Dejan and Ciocarlie, Gabriela. 2020
0
125.Performance Overhead of Atomic Crosschain Transactions Robinson, Peter. 2020
0
126.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  
0
127.Distributed Auditing Proofs of Liabilities Konstantinos Chalkias and Kevin Lewi and Payman Mohassel and Valeria Nikolaenko. 2020
0
128.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
0
129.Custody Protocols Using Bitcoin Vaults Swambo, Jacob and Hommel, Spencer and McElrath, Bob and Bishop, Bryan. 2020
0
130.Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular Benarroch, Daniel and Campanelli, Matteo and Fiore, Dario and Gurkan, Kobi and Kolonelos, Dimitris. 2020  
0
131.Liquid: A Bitcoin Sidechain Nick, Jonas and Poelstra, Andrew and Sanders, Gregory. 2020
0
132.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  
0
133.Game theoretical framework for analyzing Blockchains Robustness Paolo Zappalà and Marianna Belotti and Maria Potop-Butucaru and Stefano Secci. 2020
0
134.Ledger Combiners for Fast Settlement Matthias Fitzi and Peter Gazi and Aggelos Kiayias and Alexander Russell. 2020
0
135.On Subversion-Resistant SNARKs Behzad Abdolmaleki and Helger Lipmaa and Janno Siim and Michał Zając. 2020
0
136.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
0
137.About Blockchain Interoperability Pascal Lafourcade and Marius Lombard-Platet. 2020
0
138.Tight Consistency Bounds for Bitcoin Peter Gaži and Aggelos Kiayias and Alexander Russell. 2020
0
139.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
0
140.Towards Smart Hybrid Fuzzing for Smart Contracts Torres, Christof Ferreira and Iannillo, Antonio Ken and Gervais, Arthur and State, Radu. 2020
0
141.Smart Contract With Secret Parameters Thiercelin, Marin and Cheng, Chen-Mou and Miyaji, Atsuko and Vaudenay, Serge. 2020
0
142.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   
0
143.TinyRAM Architecture Specification v2. 000 Chiesa, Eli Ben-Sasson Alessandro and Genkin, Daniel and Tromer, Eran and Virza, Madars. 2020
0
144.Bitcoin covenants unchained Bartoletti, Massimo and Lande, Stefano and Zunino, Roberto. 2020
0
145.Succinct Diophantine-Satisfiability Arguments Patrick Towa and Damien Vergnaud. 2020
0
146.On the Confidentiality of Amounts in Grin Suyash Bagad and Saravanan Vijayakumaran. 2020
0
147.Reputable List Curation from Decentralized Voting Elizabeth C. Crites and Mary Maller and Sarah Meiklejohn and Rebekah Mercer. 2020
0
148.Rational Behavior in Committee-Based Blockchains Yackolley Amoussou-Guenou and Bruno Biais and Maria Potop-Butucaru and Sara Tucci-Piergiovanni. 2020
0
149.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
0
150.Minerva: The curse of ECDSA nonces Jan Jancar and Vladimir Sedlacek and Petr Svenda and Marek Sys. 2020
0
151.On the Security of Time-Locked Puzzles and Timed Commitments Jonathan Katz and Julian Loss and Jiayu Xu. 2020
0
152.Smart Contract modeling and verification techniques: A survey Imeri, Adnan and Agoulmine, Nazim and Khadraoui, Djamel. 2020
0
153.A non-PCP Approach to Succinct Quantum-Safe Zero-Knowledge Jonathan Bootle and Vadim Lyubashevsky and Ngoc Khanh Nguyen and Gregor Seiler. 2020
0
154.Bulletproofs+: Shorter Proofs for Privacy-Enhanced Distributed Ledger Heewon Chung and Kyoohyung Han and Chanyang Ju and Myungsun Kim and Jae Hong Seo. 2020
0
155.Fast amortized Kate proofs Dankrad Feist and Dmitry Khovratovich. 2020
0
156.How to Keep a Secret and Share a Public Key (Using Polynomial Commitments) Nicolescu, Ioan Alin Tomescu. 2020
0
157.MAD-HTLC: Because HTLC is Crazy-Cheap to Attack Itay Tsabary and Matan Yechieli and Ittay Eyal. 2020  
0
158.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
0
159.BTSO: A Blockchain Protocol Based on Reconfigurable Byzantine Consensus Abraham, Ittai and Malkhi, Dahlia and Nayak, Kartik and Rowadoski, Listovich and Spiegelman, Alexander. 2020  
0
160.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
0
161.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  
0
162.A Simple Range Proof From Polynomial Commitments Dan Boneh and Ben Fisch and Ariel Gabizon and Zac Williamson. 2020  
0
163.Timelocked Bribes Majid Khabbazian and Tejaswi Nadahalli and Roger Wattenhofer. 2020
0
164.Dynamic Universal Accumulator with Batch Update over Bilinear Groups Giuseppe Vitto and Alex Biryukov. 2020
0
165.Anonymous probabilistic payment in payment hub Tatsuo Mitani and Akira Otsuka. 2020
0
166.Compressing Proofs of $k$-Out-Of-$n$ Partial Knowledge Thomas Attema and Ronald Cramer and Serge Fehr. 2020
0
167.Fluid MPC: Secure Multiparty Computation with Dynamic Participants Arka Rai Choudhuri and Aarushi Goel and Matthew Green and Abhishek Jain and Gabriel Kaptchuk. 2020
0
168.Time-release Cryptography from Minimal Circuit Assumptions Samuel Jaques and Hart Montgomery and Arnab Roy. 2020
0
169.Verifiable state machines: Proofs that untrusted services operate correctly Srinath Setty and Sebastian Angel and Jonathan Lee. 2020
0
170.Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric Ralf Kuesters and Daniel Rausch and Mike Simon. 2020
0
171.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
0
172.Groth16 SNARKs are Randomizable and (Weakly) Simulation Extractable Mikhail Volkhov and Markulf Kohlweiss. 2020
0
173.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
0

Videos