用于电路评估的时间最优交互式证明 电子书下载

原名:Time-Optimal Interactive Proofs for Circuit Evaluation
作品简介:在此过程中，我们描述了一种特殊用途的矩阵乘法协议，该协议对 .. d → F 感兴趣，我们使用 degi(p) 来表示变量 i 中 p 的次数。确定证明者的运行时间并不那么简单。……