Index of /~bryan/papers2/bitcoin/snarks
Name
Last modified
Size
Description
Parent Directory
-
zkproofs.pdf
2016-09-22 22:53
128K
url.txt
2020-03-07 13:44
1.9K
pcp/
2016-06-24 20:04
-
Zilch: A framework for deploying transparent zero-knowledge proofs - 2020.pdf
2020-09-21 19:36
1.3M
Zexe: Enabling decentralized private computation - 2018.pdf
2018-10-08 20:34
1.5M
Zero-knowledge from secure multiparty computation.pdf
2009-01-25 15:24
315K
Verifiable outsourcing of computation - Rothblum - thesis.pdf
2015-04-04 08:33
2.5M
Verifiable member and order queries on a list in zero-knowledge.pdf
2014-08-18 18:40
730K
Verifiable ASICs using SNARKs - Walfish - 2016.pdf
2018-03-01 09:46
436K
Transparent SNARKs from DARK compilers - 2019.pdf
2020-02-26 00:01
691K
Toward practical argument systems for verifiable computation - thesis - Srinath Setty - 2014.pdf
2014-10-27 19:29
926K
TinyRAM-spec-0.991.pdf
2015-05-20 13:23
1.2M
Succinct non-interactive zero knowledge for a von Neumann architecture.pdf
2014-08-31 17:19
1.4M
Succinct non-interactive arguments via linear interactive proofs.pdf
2013-09-15 09:03
842K
Succinct non-interactive arguments - Chiesa - thesis.pdf
2015-07-22 11:57
10M
Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits - 2019.pdf
2018-06-03 14:02
644K
Square span programs with applications to succinct NIZK arguments.pdf
2014-09-15 07:36
398K
Spartan: Efficient and general-purpose zkSNARKs without trusted setup - 2019.pdf
2019-05-22 15:48
381K
Slow motion zero knowledge identifying with colliding commitments.pdf
2016-04-22 04:08
549K
Signatures of correct computation.pdf
2015-09-16 09:15
497K
Secure sampling of public parameters for succinct zero knowledge proofs.pdf
2015-05-11 13:43
605K
Scalable zero knowledge via cycles of elliptic curves.pdf
2014-08-03 15:07
735K
Scalable, transparent, and post-quantum secure computational integrity - 2018.pdf
2018-01-12 03:10
799K
SNARKs for C: Verifying program executions succinctly and in zero knowledge.pdf
2013-10-26 13:21
5.3M
Recursive composition and bootstrapping for SNARKs and proof-carrying data.pdf
2012-12-28 04:34
879K
Quasilinear-size zero knowledge from linear-algebraic PCPs - 2016.pdf
2016-04-28 23:26
513K
Quadratic span programs and succinct NIZKs without PCPs - GGPR.pdf
2012-05-22 09:19
413K
Practical verified computation with streaming interactive proofs - thesis - Justin Thaler - 2013.pdf
2013-09-25 08:19
3.3M
Pinocchio: Nearly practical verifiable computation.pdf
2013-05-13 09:54
454K
NIZKs with an untrusted CRS: Security in the face of parameter subversion - 2016.pdf
2016-05-25 11:43
490K
MARVELlous: A STARK-friendly family of cryptographic primitives - 2018.pdf
2018-11-15 03:00
217K
Linear-time zero-knowledge proofs for arithmetic circuit satisfiability - Bootle - 2017.pdf
2017-09-07 10:39
877K
Ligero: Lightweight sublinear arguments without a trusted setup - 2017.pdf
2018-07-27 08:16
1.4M
Interactive oracle proofs - 2016.pdf
2016-02-10 11:50
3.6M
Implementations of verifiable computation and succinct arguments - survey and wishlist - slides.pptx
2015-08-10 09:04
1.0M
How to use SNARKs in universally composable protocols - 2015.pdf
2015-11-22 20:32
508K
How to run Turing machines on encrypted data.pdf
2013-06-08 21:24
329K
How to explain zero knowledge protocols to other people's children.pdf
2006-12-16 12:21
227K
Hash first, argue later: Adaptive verifiable computations on outsourced data - 2016.pdf
2016-10-11 12:03
511K
Halo: Recursive proof composition without a trusted setup - 2019.pdf
2019-09-10 05:44
327K
Geppetto: Versalite verifiable computation.pdf
2014-11-30 15:27
622K
Fully dynamic verifiable zero-knowledge order queries for network data.pdf
2015-03-25 06:56
682K
From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again.pdf
2011-11-30 20:34
577K
Efficient zero-knowledge arguments in the discrete log setting, revisited - 2019.pdf
2019-08-19 09:17
407K
Efficient zero-knowledge arguments for arithmetic ciruits in the discrete log setting.pdf
2016-03-08 09:29
580K
Efficient RAM and control flow in verifiable outsourced computation.pdf
2015-08-10 09:04
344K
Doubly-efficient zkSNARKs without trusted setup - 2017.pdf
2017-11-23 23:36
1.5M
DIZK: A distributed zero knowledge proof system.pdf
2018-07-18 05:51
819K
Computational integrity with a public random string from quasi-linear PCPs - 2016.pdf
2016-06-21 22:47
498K
CoCo: A framework for building composable zero-knowledge proofs - 2015.pdf
2016-10-09 10:52
1.0M
Cluster computing in zero knowledge.pdf
2015-04-28 04:01
4.8M
A Note on the Unsoundness of vnTinyRAM's SNARK.pdf
2015-05-06 14:25
162K
ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data.pdf
2014-11-17 11:01
944K
Apache/2.4.57 (Debian) Server at diyhpl.us Port 80