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
77
2.Deviant: A Mutation Testing Tool for Solidity Smart Contracts Chapman, Patrick. 2019
6
3.How to Keep a Secret and Share a Public Key (Using Polynomial Commitments) Nicolescu, Ioan Alin Tomescu. 2020
5
4.Toychain: Formally Verified Blockchain Consensus George P\^ırlea. 2019
0
5.ON DEPLOYING SUCCINCT ZERO-KNOWLEDGE PROOFS Madars Virza. 2017
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.Computation Verification for Noobs Riabzev, Michael and Ben-Sasson, Eli and Ishai, Yuval. 2019
0
9.zk-SNARKs Analysis and Implementation on Ethereum Ballesteros Rodr\'\iguez, Alberto. 2020
0
10.Succinct Non-Interactive Arguments for Arithmetic Circuits Spooner, Nicholas. 2020
0
11.Off-chain protocols for cryptocurrencies Goldfeder, Steven Andrew and others. 2018
0
12.On Succinct Non-InteractiveZero-Knowledge Protocols UnderWeaker Trust Assumptions Behzad Abdolmaleki. 2020
0
13.Ethereum Smart Contracts Optimization Margherita Renieri. 2020
0
14.Zero-Knowledge Proofs applied to finance S\'anchez Ortiz, Elvira. 2020
0
15.Scaling Distributed Ledgers and Privacy-Preserving Applications Sonnino, Alberto. 2021
0
16.A Theoretical Treatment of Blockchain Scaling Protocols Avarikioti, Georgia. 2021
0
17.Analyzing the Blockchain Attack Surface: A Top-down Approach Saad, Muhammad. 2021
0
18.Semantics and complexity of bitcoin script Reisenegger Butr\'on, Thomas. 2021
0

Videos