Authors: Lehnherr, David
Ognjanović, Zoran 
Studer, Thomas
Affiliations: Mathematics 
Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: A Logic of Interactive Proofs
Journal: Logical Foundations of Computer Science
Series/Report no.: Lecture Notes in Computer Science
Volume: 13137
First page: 143
Last page: 155
Conference: International Symposium on Logical Foundations of Computer Science, LFCS 2022
Issue Date: 2022
Rank: M33
DOI: 10.1007/978-3-030-93100-1_10
We introduce the probabilistic two-agent justification logic IPJ, a logic in which we can reason about agents that perform interactive proofs. In order to study the growth rate of the probabilities in IPJ, we present a new method of parametrizing IPJ over certain negligible functions. Further, our approach leads to a new notion of zero-knowledge proofs.
Keywords: Interactive proof system | Zero-knowledge proof | Epistemic logic | Justification logic | Probabilistic logic
Publisher: Springer Link

Show full item record

Page view(s)

checked on Feb 6, 2023

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.