<--- Back to Details
First PageDocument Content
NEXPTIME / IP / NP / Soundness / KeY / Logic programming / Interactive proof system / Zero-knowledge proof / Theoretical computer science / Applied mathematics / Complexity classes
Date: 2013-07-24 10:11:20
NEXPTIME
IP
NP
Soundness
KeY
Logic programming
Interactive proof system
Zero-knowledge proof
Theoretical computer science
Applied mathematics
Complexity classes

Interactive proofs with competing teams of no-signaling provers

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Download Document from Source Website

File Size: 298,91 KB

Share Document on Facebook

Similar Documents

ZKProof Charter Boston, May 10th and 11th 2018 The goal of the ZKProof Standardardization effort is to advance the use of Zero Knowledge Proof technology by bringing together experts from industry and academia. To furthe

ZKProof Charter Boston, May 10th and 11th 2018 The goal of the ZKProof Standardardization effort is to advance the use of Zero Knowledge Proof technology by bringing together experts from industry and academia. To furthe

DocID: 1xVl8 - View Document

RFCSchnorr Non-interactive Zero-Knowledge Proof

RFCSchnorr Non-interactive Zero-Knowledge Proof

DocID: 1uoRK - View Document

Computational Soundness of (Interactive) Zero-Knowledge Proof Systems in the Presence of Active Adversaries Yusuke Kawamoto1 (Jointly with Gergei Bana2 and Hideki Sakurada3) 1

Computational Soundness of (Interactive) Zero-Knowledge Proof Systems in the Presence of Active Adversaries Yusuke Kawamoto1 (Jointly with Gergei Bana2 and Hideki Sakurada3) 1

DocID: 1sZcs - View Document

Extending Web Applications with a Lightweight Zero Knowledge Proof Authentication Sławomir Grzonkowski Wojciech Zaremba

Extending Web Applications with a Lightweight Zero Knowledge Proof Authentication Sławomir Grzonkowski Wojciech Zaremba

DocID: 1rAaZ - View Document

ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti

ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti

DocID: 1rgbF - View Document