×

snarks

Home / Discover /diyhpl.us/~bryan/papers2/bitcoin/snarks/

  Parent Folder
  pcp
70 files
A Note on the Unsoundness of vnTinyRAM's SNARK.pdf
PDF 4 years ago 161.89 kB
Copy Link   
ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data.pdf
PDF 4 years ago 944.41 kB
Copy Link   
Cluster computing in zero knowledge.pdf
PDF 4 years ago 4.84 MB
Copy Link   
CoCo: A framework for building composable zero-knowledge proofs - 2015.pdf
PDF 4 years ago 997.38 kB
Copy Link   
Computational integrity with a public random string from quasi-linear PCPs - 2016.pdf
PDF 4 years ago 497.60 kB
Copy Link   
DIZK: A distributed zero knowledge proof system.pdf
PDF 4 years ago 818.57 kB
Copy Link   
Doubly-efficient zkSNARKs without trusted setup - 2017.pdf
PDF 4 years ago 1.53 MB
Copy Link   
Efficient RAM and control flow in verifiable outsourced computation.pdf
PDF 4 years ago 344.14 kB
Copy Link   


Efficient zero-knowledge arguments for arithmetic ciruits in the discrete log setting.pdf
PDF 4 years ago 580.31 kB
Copy Link   
Efficient zero-knowledge arguments in the discrete log setting, revisited - 2019.pdf
PDF 4 years ago 406.92 kB
Copy Link   
From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again.pdf
PDF 4 years ago 576.58 kB
Copy Link   
Fully dynamic verifiable zero-knowledge order queries for network data.pdf
PDF 4 years ago 681.70 kB
Copy Link   
Geppetto: Versalite verifiable computation.pdf
PDF 4 years ago 621.81 kB
Copy Link   
Halo: Recursive proof composition without a trusted setup - 2019.pdf
PDF 4 years ago 326.51 kB
Copy Link   
Hash first, argue later: Adaptive verifiable computations on outsourced data - 2016.pdf
PDF 4 years ago 511.14 kB
Copy Link   
How to explain zero knowledge protocols to other people's children.pdf
PDF 4 years ago 226.79 kB
Copy Link   
How to run Turing machines on encrypted data.pdf
PDF 4 years ago 329.35 kB
Copy Link   
How to use SNARKs in universally composable protocols - 2015.pdf
PDF 4 years ago 508.20 kB
Copy Link   


Implementations of verifiable computation and succinct arguments - survey and wishlist - slides.pptx
PPTX 4 years ago 1.01 MB
Copy Link   
Interactive oracle proofs - 2016.pdf
PDF 4 years ago 3.63 MB
Copy Link   
Ligero: Lightweight sublinear arguments without a trusted setup - 2017.pdf
PDF 4 years ago 1.44 MB
Copy Link   
Linear-time zero-knowledge proofs for arithmetic circuit satisfiability - Bootle - 2017.pdf
PDF 4 years ago 877.21 kB
Copy Link   
MARVELlous: A STARK-friendly family of cryptographic primitives - 2018.pdf
PDF 4 years ago 216.73 kB
Copy Link   
NIZKs with an untrusted CRS: Security in the face of parameter subversion - 2016.pdf
PDF 4 years ago 490.00 kB
Copy Link   
Pinocchio: Nearly practical verifiable computation.pdf
PDF 4 years ago 454.30 kB
Copy Link   
Practical verified computation with streaming interactive proofs - thesis - Justin Thaler - 2013.pdf
PDF 4 years ago 3.29 MB
Copy Link   
Quadratic span programs and succinct NIZKs without PCPs - GGPR.pdf
PDF 4 years ago 412.66 kB
Copy Link   
Quasilinear-size zero knowledge from linear-algebraic PCPs - 2016.pdf
PDF 4 years ago 513.10 kB
Copy Link   


Recursive composition and bootstrapping for SNARKs and proof-carrying data.pdf
PDF 4 years ago 879.34 kB
Copy Link   
SNARKs for C: Verifying program executions succinctly and in zero knowledge.pdf
PDF 4 years ago 5.27 MB
Copy Link   
Scalable zero knowledge via cycles of elliptic curves.pdf
PDF 4 years ago 734.73 kB
Copy Link   
Scalable, transparent, and post-quantum secure computational integrity - 2018.pdf
PDF 4 years ago 798.63 kB
Copy Link   
Secure sampling of public parameters for succinct zero knowledge proofs.pdf
PDF 4 years ago 605.44 kB
Copy Link   
Signatures of correct computation.pdf
PDF 4 years ago 497.40 kB
Copy Link   
Slow motion zero knowledge identifying with colliding commitments.pdf
PDF 4 years ago 549.10 kB
Copy Link   
Spartan: Efficient and general-purpose zkSNARKs without trusted setup - 2019.pdf
PDF 4 years ago 381.43 kB
Copy Link   
Square span programs with applications to succinct NIZK arguments.pdf
PDF 4 years ago 398.34 kB
Copy Link   
Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits - 2019.pdf
PDF 4 years ago 643.82 kB
Copy Link   


Succinct non-interactive arguments - Chiesa - thesis.pdf
PDF 4 years ago 10.41 MB
Copy Link   
Succinct non-interactive arguments via linear interactive proofs.pdf
PDF 4 years ago 841.71 kB
Copy Link   
Succinct non-interactive zero knowledge for a von Neumann architecture.pdf
PDF 4 years ago 1.40 MB
Copy Link   
TinyRAM-spec-0.991.pdf
PDF 4 years ago 1.25 MB
Copy Link   
Toward practical argument systems for verifiable computation - thesis - Srinath Setty - 2014.pdf
PDF 4 years ago 925.56 kB
Copy Link   
Transparent SNARKs from DARK compilers - 2019.pdf
PDF 4 years ago 690.66 kB
Copy Link   
Verifiable ASICs using SNARKs - Walfish - 2016.pdf
PDF 4 years ago 435.58 kB
Copy Link   
Verifiable member and order queries on a list in zero-knowledge.pdf
PDF 4 years ago 729.94 kB
Copy Link   
Verifiable outsourcing of computation - Rothblum - thesis.pdf
PDF 4 years ago 2.51 MB
Copy Link   
Zero-knowledge from secure multiparty computation.pdf
PDF 4 years ago 314.70 kB
Copy Link   


Zexe: Enabling decentralized private computation - 2018.pdf
PDF 4 years ago 1.50 MB
Copy Link   


Join FilePursuit on FilePursuit Discord Server chat for discussions and more information.