原文标题：《从零开始学习 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
...sparent SNARKs from List Polynomial Commitment IOPs》，从名字可以可出，它是基于 List 多项式承诺且具有透明性的 SNARK 算法。算法本身和 PLONK 有大部分的相似之处，唯一不同的是多项式承诺的原语不同。下面先简单的通过一张表格来展示 REDSHIFT 和 PLONK 算法的异同之处，具体如下：因此，只要对 PLONK 算法有深...
知识:零知识证明算法,多项式,算法,去中心化
...atement以简洁清晰的方式呈现出来；第二，把CI statement嵌入到代数域，为后面多项式的转换做铺垫。Arithmetization representation主要由两部分组成：第一，执行轨迹（图中橙色部分）；第二，多项式约束（图中灰色部分）。执行轨迹是一个表，表的每一行代表一个单步的运算；多项式约束的构造是和执行轨迹...
知识:零知识证明,技术指南,zkSTARK
...atement以简洁清晰的方式呈现出来；第二，把CI statement嵌入到代数域，为后面多项式的转换做铺垫。Arithmetization representation主要由两部分组成：第一，执行轨迹（图中橙色部分）；第二，多项式约束（图中灰色部分）。执行轨迹是一个表，表的每一行代表一个单步的运算；多项式约束的构造是和执行轨迹...
知识:多项式,零知识证明算法,轨迹,等式
...较分析： 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所示(图中：黑色箭头代表主流程，红色箭头代表附加说明信息，黄...
知识:多项式,复杂度,零知识证明算法,过程