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