证明不可表达性
摘要：自证引理和多项式时间证明系统结合以扩展公理系统的强度。我们首先提出了一种变体，该变体允许证明器通过多项式时间查询第三方来辅助证明。然后，我们引入了一个更强的证明系统，其中证明者可以使用自证引理来引用其他证明。我们证明了这个系统的等效性，并且我们还证明了引入自证引理的确实增加了系统的强度。我们最后讨论了这个系统的应用，包括其在密码学中的潜在应用。
作者：Orna Kupferman and Salomon Sickert
论文ID：2101.08756
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-01-26