Papers (18)

#Title
Citations
1.Marlin: Preprocessing zkSNARKs with Universal andUpdatable SRS (thesis) Alessandro Chiesa and Yuncong Hu and Mary Maller and Pratyush Mishra and Noah Vesely and Nicholas Ward. 2021.
305
2.Deviant: A Mutation Testing Tool for Solidity Smart Contracts Chapman, Patrick. 2019.
27
3.ON DEPLOYING SUCCINCT ZERO-KNOWLEDGE PROOFS Madars Virza. 2017.
6
4.Analyzing the Blockchain Attack Surface: A Top-down Approach Saad, Muhammad. 2021.
1
5.Toychain: Formally Verified Blockchain Consensus George P\^ırlea. 2019.
0
6.Practical Zero-Knowledge Arguments from Structured Reference Strings Maller, Mary. 2019.
0
7.On Privacy Preserving Blockchains and zk-SNARKs Atapoor, Shahla. 2019.
0
8.How to Keep a Secret and Share a Public Key (Using Polynomial Commitments) Nicolescu, Ioan Alin Tomescu. 2020.
0
9.Computation Verification for Noobs Riabzev, Michael and Ben-Sasson, Eli and Ishai, Yuval. 2019.
0
10.zk-SNARKs Analysis and Implementation on Ethereum Ballesteros Rodr\'\iguez, Alberto. 2020.
0
11.Succinct Non-Interactive Arguments for Arithmetic Circuits Spooner, Nicholas. 2020.
0
12.Off-chain protocols for cryptocurrencies Goldfeder, Steven Andrew and others. 2018.
0
13.On Succinct Non-InteractiveZero-Knowledge Protocols UnderWeaker Trust Assumptions Behzad Abdolmaleki. 2020.
0
14.Ethereum Smart Contracts Optimization Margherita Renieri. 2020.
0
15.Zero-Knowledge Proofs applied to finance S\'anchez Ortiz, Elvira. 2020.
0
16.Scaling Distributed Ledgers and Privacy-Preserving Applications Sonnino, Alberto. 2021.
0
17.A Theoretical Treatment of Blockchain Scaling Protocols Avarikioti, Georgia. 2021.
0
18.Semantics and complexity of bitcoin script Reisenegger Butr\'on, Thomas. 2021.
0

Videos