Index of /~bryan/papers2/bitcoin/snarks

	Name	Last modified	Size	Description
	Parent Directory		-
	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
	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
	pcp/	2016-06-24 20:04	-
	url.txt	2020-03-07 13:44	1.9K
	zkproofs.pdf	2016-09-22 22:53	128K