×

A Note on the Unsoundness of vnTinyRAM's SNARK.pdf

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

  Parent Folder


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   

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