算法思想：将证明CI statement创立问题转化成证明多项式小于某个度的问题，转换进程用到了多项式插值要领；

多项式等式创立意味着什么？（图中黄色部门）

在生成证明的进程中，有交互（图中红线所示），所以图中描写的是交互式的零常识证明算法；

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。