可验计算理论中若干问题研究
| 摘要 | 第1-10页 |
| ABSTRACT | 第10-12页 |
| 1 绪论 | 第12-20页 |
| ·国内外研究现状 | 第14-17页 |
| ·本文的研究内容 | 第17-18页 |
| ·本文的组织结构 | 第18-19页 |
| ·符号和术语 | 第19-20页 |
| 2 基本知识 | 第20-33页 |
| ·可验计算的模型和安全性 | 第20-22页 |
| ·简明非交互知识论证的模型 | 第22-26页 |
| ·经典的基于PCP理论的简明论证 | 第26-27页 |
| ·基于二次张成程序的简明论证 | 第27-31页 |
| ·数据代理 | 第31页 |
| ·明携带数据 | 第31-33页 |
| 3 可提取性和不可混淆性 | 第33-40页 |
| ·可提取求值器和简明论证 | 第33-35页 |
| ·提取求值器和不可混淆函数族 | 第35-38页 |
| ·本章小结 | 第38-40页 |
| 4 基于张成程序的简明论证 | 第40-61页 |
| ·改进的二次张成程序构造 | 第40-55页 |
| ·作为电路检查器的准良张成程序 | 第40-44页 |
| ·线路良性检查器和二次张成程序 | 第44-48页 |
| ·二次张成程序的多项式形式 | 第48-50页 |
| ·基于二次张成程序的简明论证 | 第50-55页 |
| ·基于二次张成程序简明论证的计算正确性 | 第55-59页 |
| ·简明论证系统的应用 | 第59页 |
| ·本章小结 | 第59-61页 |
| 5 张成程序和数据代理 | 第61-74页 |
| ·数据的张成程序和三次张成程序 | 第61-65页 |
| ·三次张成程序 | 第65-67页 |
| ·基于三次张成程序的流代理 | 第67-72页 |
| ·数据代理的应用 | 第72-73页 |
| ·本章小结 | 第73-74页 |
| 6 条件数据流的证明携带数据系统 | 第74-92页 |
| ·常数深度条件数据流的证明携带数据系统 | 第77-83页 |
| ·条件数据流的伴随谓词 | 第77-78页 |
| ·递归组合条件数据流的简明论证 | 第78-83页 |
| ·明携带数据的自举 | 第83-89页 |
| ·条件数据流的树伴随谓词 | 第83-87页 |
| ·即时构造树数据流 | 第87-89页 |
| ·证明携带数据的应用 | 第89-90页 |
| ·本章小结 | 第90-92页 |
| 7 总结与展望 | 第92-95页 |
| ·总结 | 第92页 |
| ·展望 | 第92-95页 |
| 参考文献 | 第95-105页 |
| 博士期间发表及已接收的论文 | 第105-106页 |
| 致谢 | 第106-107页 |
| 附件 | 第107-108页 |
