Proof - PDFSEARCH.IO - Document Search Engine

Proof
Results: 11440

#	Item
1	COSC 544 Probabilistic Proof SystemsGGPR: A Linear PCP Of Size \|F\|O(S) Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-11-02 08:56:25 Mathematics Probabilistically checkable proof IP Algebra Creativity
2	Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2016-08-24 14:55:21 Cryptography Artificial intelligence Human-based computation Computing Cryptocurrencies CAPTCHA Computer security Computer vision Proof-of-work system Hashcash Challengeresponse authentication Zero-knowledge proof
3	Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy, Add to Reading List Source URL: kadena.io Language: English - Date: 2018-05-11 18:40:04 Cryptocurrencies Computing Concurrent computing Money Bitcoin SegWit Blockchain Merkle tree Proof-of-stake Lightning Network Peercoin Ethereum
4	Proof Procedures for Separated Heap Abstractions Josh Berdine, Cristiano Calcagno, Peter O’Hearn 1 July, 2007 (Canada day) Part 0 Add to Reading List Source URL: www.lsi.upc.edu - Date: 2007-07-09 05:41:32
5	Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2005-02-02 07:20:48 Mathematics Algebra Theoretical computer science Modular arithmetic Logic in computer science Congruence relation Equivalence Closure Rewriting Congruence lattice problem Congruence subgroup
6	COSC 544 Probabilistic Proof SystemsIntroduction to MIPs Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-16 18:17:38 Cryptography Randomized algorithms Complexity classes Computational complexity theory Interactive proof system IP Probabilistically checkable proof Soundness NP Commitment scheme Proof of secure erasure Probabilistic Turing machine
7	Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Cryptography Randomized algorithms Computational complexity theory Mathematics Probabilistically checkable proof Complexity classes Interactive proof system IP NP Soundness PCP theorem Commitment scheme
8	Notice on the Requirement of Address Proof Add to Reading List Source URL: www.hsbc.com.mo - Date: 2016-12-26 01:08:55
9	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 12:35:21 Logic Mathematical logic Mathematics Propositional calculus Logical truth Logic in computer science Syntax Automated theorem proving Resolution Frege system Boolean satisfiability problem First-order logic
10	COSC 544 Probabilistic Proof SystemsLinear PCPs and Succinct Arguments Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-26 08:54:48 Randomized algorithms Probabilistically checkable proof Mathematics IP Cryptography Creativity NP Soundness Proof of secure erasure Cryptographic protocol Interactive proof system