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 parametrising IPJ over certain negligible functions. Further, our approach leads to a new notion of zero-knowledge proofs.

翻译：我们引入了两种试金石的概率解释逻辑IPJ(IPJ)逻辑(IPJ ), 这是一种我们可以对执行交互式证据的代理商进行解释的逻辑。 为了研究IPJ概率的增长率,我们提出了一种新的方法,将IPJ的某些可忽略不计的功能相提并论。 此外,我们的方法导致了一种新的零知识证据概念。