Snark - PDFSEARCH.IO - Document Search Engine

Snark
Results: 27

#	Item
1	A multi-party protocol for constructing the public parameters of the Pinocchio zk-SNARK Sean Bowe, Ariel Gabizon, Matthew D. Green Zcash Abstract Recent efficient constructions of zero-knowledge Succinct Non-interactive Add to Reading List Source URL: fc18.ifca.ai Language: English - Date: 2018-02-23 02:57:26
2	2015 IEEE Symposium on Security and Privacy ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data Michael Backes Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2015-05-11 16:43:12 Graph theory Cryptography Zero-knowledge proof Non-interactive zero-knowledge proof Snark Proof of knowledge IP Mathematical proof
3	Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture Add to Reading List Source URL: www.usenix.org Language: English Complexity classes Circuit complexity Computational complexity theory Zero-knowledge proof Non-interactive zero-knowledge proof SM-62 Snark XTR NC NP Proof of knowledge Computer ZK
4	Zerocash: Decentralized Anonymous Payments from Bitcoin (extended version) Eli Ben-Sasson∗ Alessandro Chiesa† Add to Reading List Source URL: zerocash-project.org Language: English Bitcoin Peer-to-peer computing Financial cryptography Cryptographic protocols Electronic commerce Electronic money Gold coin United States dollar Snark Computing Graph theory Software
5	A Note on the Unsoundness of vnTinyRAM’s SNARK Bryan Parno Microsoft Research Abstract F’s inputs and outputs, if and only if there exist coefficients Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-06 17:25:45 NP Orthogonal polynomials Polynomials Theoretical computer science Applied mathematics IP
6	Succinct Non-Interactive Arguments via Linear Interactive Proofs Nir Bitansky∗ Tel Aviv University Alessandro Chiesa MIT Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-09-15 12:03:01 Computational complexity theory IP Proof of knowledge Zero-knowledge proof NP Probabilistically checkable proof Soundness Formal verification Snark Theoretical computer science Applied mathematics Cryptographic protocols
7	Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture Eli Ben-Sasson Alessandro Chiesa Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-09 17:46:15 Cryptographic protocols Zero-knowledge proof Proof of knowledge Non-interactive zero-knowledge proof IP ZK Snark NP Mathematical proof Theoretical computer science Graph theory Cryptography
8	Towards Rapid Geoscience Model Development – The Snark Project Bill Appelbe(1), David May(1), Steve Quenette(1), Siew-Ching Tang(1), Feng Wang(1) and Louis Moresi[removed]Victorian Partnership for Advanced Computing, 11 Add to Reading List Source URL: quakes.earth.uq.edu.au Language: English - Date: 2003-07-18 02:53:57 Numerical linear algebra Portable Extensible Toolkit for Scientific Computation Software engineering SNARK Software development methodology Programming tool Mathematica Software development process Component-based software engineering Software Mathematical software Science
9	Forks and Hope Edinbirgh Press Release Add to Reading List Source URL: lewiscarrollsociety.org.uk Language: English - Date: 2014-06-23 17:04:27 British poetry The Hunting of the Snark Snark Strawdog Theatre Company Lewis Carroll Bandersnatch Jubjub bird Graph theory Alice in Wonderland Literature
10	Jack London and Ross River Disease Add to Reading List Source URL: www.frank-praetorius.gmxhome.de Language: English - Date: 2013-10-04 13:55:43 Bacterial diseases Gram-positive bacteria The Cruise of the Snark Cellulitis Erysipelas Pediatrics Rash Ulcer Chickenpox Bacteria Microbiology Medicine