Fisher4ever

2022年11月17日

摘要：基于二次算术程序（Quadratic Arithmetic Programs，QAP）的一类零知识证明在现今非常常见，其代表方案有PGHR13 、Groth16 、GKMMM18 等。这些方案的逻辑基本上遵循一下范式：将计算函数转化为算术电路（Arithmetic Circuit）利用QAP，阅读全文

posted @ 2022-11-17 19:21 Fisher4ever 阅读(791) 评论(0) 推荐(0)

有限域上的椭圆曲线

摘要：注：非抄袭，本人博客阅读全文

posted @ 2022-11-17 11:41 Fisher4ever 阅读(32) 评论(0) 推荐(0)

三染色问题与零知识证明

摘要：完整文件下载阅读全文

posted @ 2022-11-17 11:30 Fisher4ever 阅读(53) 评论(0) 推荐(0)

完美零知识与计算零知识

摘要：完整文件下载阅读全文

posted @ 2022-11-17 11:28 Fisher4ever 阅读(27) 评论(0) 推荐(0)

概率多项式复杂度

摘要：一些关于概率计算模型的笔记，涉及$\mathcal{PP}$复杂度，$\mathcal{BPP}$复杂度，$\mathcal{P/poly}$复杂度。完整文件下载阅读全文