Abstract
Rational proofs, introduced by Azar and Micali (STOC 2012), are a variant of interactive proofs in which the prover is rational, and may deviate from ......
小提示:本篇文献需要登录阅读全文,点击跳转登录