1![COSC 544 Probabilistic Proof SystemsGGPR: A Linear PCP Of Size |F|O(S) Lecturer: Justin Thaler COSC 544 Probabilistic Proof SystemsGGPR: A Linear PCP Of Size |F|O(S) Lecturer: Justin Thaler](https://www.pdfsearch.io/img/653517efd299c4d62428288305c9d986.jpg) | Add to Reading ListSource URL: people.cs.georgetown.eduLanguage: English - Date: 2017-11-02 08:56:25
|
---|
2![Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University, Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University,](https://www.pdfsearch.io/img/f4de88dbf7bf15c6084cd211e8ef69f1.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2016-08-24 14:55:21
|
---|
3![Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy, Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy,](https://www.pdfsearch.io/img/464ff3834ed03d4047d72f9480b4f9af.jpg) | Add to Reading ListSource URL: kadena.ioLanguage: English - Date: 2018-05-11 18:40:04
|
---|
4![Proof Procedures for Separated Heap Abstractions Josh Berdine, Cristiano Calcagno, Peter O’Hearn 1 July, 2007 (Canada day)
Part 0 Proof Procedures for Separated Heap Abstractions Josh Berdine, Cristiano Calcagno, Peter O’Hearn 1 July, 2007 (Canada day)
Part 0](https://www.pdfsearch.io/img/4213752d44b654b8fc9dd1da50a58b2c.jpg) | Add to Reading ListSource 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 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](https://www.pdfsearch.io/img/d663f12ed86c282548c1ca2432101733.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2005-02-02 07:20:48
|
---|
6![COSC 544 Probabilistic Proof SystemsIntroduction to MIPs Lecturer: Justin Thaler COSC 544 Probabilistic Proof SystemsIntroduction to MIPs Lecturer: Justin Thaler](https://www.pdfsearch.io/img/480832d01025707f671fab06e4ace68a.jpg) | Add to Reading ListSource URL: people.cs.georgetown.eduLanguage: English - Date: 2017-10-16 18:17:38
|
---|
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 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](https://www.pdfsearch.io/img/e94ab3f84280d8f9c721f40624edbf3b.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
8![Notice on the Requirement of Address Proof Notice on the Requirement of Address Proof](https://www.pdfsearch.io/img/8c1f51b34343d25bc9d672495dfa4a3c.jpg) | Add to Reading ListSource 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 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](https://www.pdfsearch.io/img/9b249e40f023970a1a04cd88fb167811.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-02 12:35:21
|
---|
10![COSC 544 Probabilistic Proof SystemsLinear PCPs and Succinct Arguments Lecturer: Justin Thaler COSC 544 Probabilistic Proof SystemsLinear PCPs and Succinct Arguments Lecturer: Justin Thaler](https://www.pdfsearch.io/img/cfca76a185472e1a678453acb07a1092.jpg) | Add to Reading ListSource URL: people.cs.georgetown.eduLanguage: English - Date: 2017-10-26 08:54:48
|
---|