原文标题：《从零开始学习 zk-SNARK（三）——从程序到多项式的构造》原文来源：安比实验室 作者：Maksym Petkus导读even@ 安比实验室: 前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包...
知识:零知识证明,zk-SNARK
...国的区块链行业「攻玉」提供借鉴和思考。本文从技术视角介绍一种「Kate多项式承诺」的密码学方案，此方案正用于研究实现无状态以太坊。</blockquote>原文标题：《【他山之石】Kate多项式承诺（polynomialcommitments）》编译：币安中国区块链研究院本文已取得作者授权，并由链闻和币安中国区块链研究院...
知识:默克尔树,以太坊,密码学
...的区块链行业「攻玉」提供借鉴和思考。本文从技术视角介绍一种「Kate 多项式承诺」的密码学方案，此方案正用于研究实现无状态以太坊。</blockquote>原文标题：《【他山之石】Kate 多项式承诺（polynomial commitments）》 撰文：Dankrad Feist 编译：币安中国区块链研究院本文已取得作者授权，并由链闻和币安...
知识:以太坊,技术,密码学,默克尔树,Kate
...的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简单易懂的证明协议开始，然后像堆积木一样在发现问题，修改问题中逐步去完善协议，直到最终构造出完整的 zk-SNARK 协议。另外作者这种从问题出发的讲解方式，让读者知其然，也知其所以然。作为一枚...
知识:多项式,协议,同态,因式
...的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简单易懂的证明协议开始，然后像堆积木一样在发现问题，修改问题中逐步去完善协议，直到最终构造出完整的 zk-SNARK 协议。另外作者这种从问题出发的讲解方式，让读者知其然，也知其所以然 。作为一...
知识:多项式,协议,同态,因式
...的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简单易懂的证明协议开始，然后像堆积木一样在发现问题，修改问题中逐步去完善协议，直到最终构造出完整的 zk-SNARK 协议。另外作者这种从问题出发的讲解方式，让读者知其然，也知其所以然 。作为一...
知识:零知识证明,ZKSNARK
原文标题：《从零开始学习 zk-SNARK（一）——多项式的性质与证明》原文来源： 安比实验室 作者：Maksym Petkus导读17 年最早接触 zk-SNARK 开始，就断断续续得学习了一些 zk-SNARK 的知识，但对其原理始终存在诸多困惑，没有形成一个完整的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基...
知识:零知识证明,zk-SNARKs,zk-SNARK
...代表分支）Bob首先把关注点切到执行轨迹，可以看到执行轨迹有2列，一列是单项价格，一列是价格总和，我们分别对两列的元素进行拉格朗日插值，得到两个函数 f(x), w(x)，0≤x≤5。分别对两个函数进行域扩展，得到了在更多的点上的评估，即f(x)，w(x) ，0≤x≤10000（从多项式插值，到域扩展，这其实就...
知识:零知识证明,技术指南,zkSTARK
...rent SNARKs from List Polynomial Commitment IOPs》，从名字可以可出，它是基于 List 多项式承诺且具有透明性的 SNARK 算法。算法本身和 PLONK 有大部分的相似之处，唯一不同的是多项式承诺的原语不同。下面先简单的通过一张表格来展示 REDSHIFT 和 PLONK 算法的异同之处，具体如下：因此，只要对 PLONK 算法有深入...
知识:零知识证明算法,多项式,算法,去中心化
...代表分支）Bob首先把关注点切到执行轨迹，可以看到执行轨迹有2列，一列是单项价格，一列是价格总和，我们分别对两列的元素进行拉格朗日插值，得到两个函数 f(x), w(x)，0≤x≤5。分别对两个函数进行域扩展，得到了在更多的点上的评估，即f(x)，w(x) ，0≤x≤10000（从多项式插值，到域扩展，这其实就...
知识:多项式,零知识证明算法,轨迹,等式
...分析： zk-snark ALG 【4】 算法思想：将证明CI statement成立问题转换成证明多项式等式成立问题，转换过程用到了算术环路和QAP方法；多项式等式成立意味着什么？（图中黄色部分） 等式两边可以看作两个度相等的多项式，假设为n，其交点最多有n个，假如在一个很大的域范围内随机选一个点，如果的两...
知识:零知识证明,ZKSNARK,zkSTARK
...较分析：zk-snark ALG 【4】算法思想：将证明CI statement成立问题转换成证明多项式等式成立问题，转换过程用到了算术环路和QAP方法；多项式等式成立意味着什么？（图中黄色部分）等式两边可以看作两个度相等的多项式，假设为n，其交点最多有n个，假如在一个很大的域范围内随机选一个点，如果的两个...
知识:多项式,算法,等式,零知识证明算法
原文标题：《从零开始学习 zk-SNARK（四）——多项式的约束》原文来源： 安比实验室 作者：Maksym Petkus导读even@ 安比实验室: 上一篇文章中我们学习了如何将程序转换为多项式进行证明。到这里似乎已经有点晕了，本文将对协议执行进一步的约束，并对协议展开优化。作者：Maksym Petkus翻译 & 注解：eve...
知识:零知识证明,zk-SNARK
...的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简单易懂的证明协议开始，然后像堆积木一样在发现问题，修改问题中逐步去完善协议，直到最终构造出完整的 zk-SNARK 协议。另外作者这种从问题出发的讲解方式，让读者知其然，也知其所以然 。作为一...
知识:多项式,协议,同态,因式
...将以另外一个例子为基础，在回顾Arithmetization 过程的同时，将内容引申到多项式的 LDT过程。新的实例Alice Claim：“我有1000,000个数，他们都在[0,9]范围内”。为了方便验证者Bob验证，Alice首先要对Claim进行Arithmetization转换。过程如下图1所示(图中：黑色箭头代表主流程，红色箭头代表附加说明信息，黄色...
知识:多项式,复杂度,零知识证明算法,过程