LOADING...
LOADING...
LOADING...
当前位置:主页 > 知识列表 >

多项式

1. 【零知识证明】zk-SNARK(三)——从程序到多项式的构造

原文标题:《从零开始学习 zk-SNARK(三)——从程序到多项式的构造》原文来源:安比实验室 作者:Maksym Petkus导读even@ 安比实验室: 前文主要介绍了如何构造多项式的零知识证明协议,现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包...

知识:零知识证明,zk-SNARK

2. 技术解读实现无状态版以太坊的「Kate 多项式承诺」

...中国的区块链行业「攻玉」提供借鉴和思考。本文从技术视角介绍一种「Kate多项式承诺」的密码学方案,此方案正用于研究实现无状态以太坊。</blockquote>原文标题:《【他山之石】Kate多项式承诺(polynomialcommitments)》编译:币安中国区块链研究院本文已取得作者授权,并由链闻和币安中国区块链研究...

知识:默克尔树,以太坊,密码学

3. 他山之石 | 技术解读实现无状态版以太坊的「Kate 多项式承诺」

...国的区块链行业「攻玉」提供借鉴和思考。本文从技术视角介绍一种「Kate 多项式承诺」的密码学方案,此方案正用于研究实现无状态以太坊。</blockquote>原文标题:《【他山之石】Kate 多项式承诺(polynomial commitments)》 撰文:Dankrad Feist 编译:币安中国区块链研究院本文已取得作者授权,并由链闻和币...

知识:以太坊,技术,密码学,默克尔树,Kate

4. 零知识证明之zk-SNARK(一)多项式的性质与证明

...整的认识。偶然一次机会,看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起,从一个简单易懂的证明协议开始,然后像堆积木一样在发现问题,修改问题中逐步去完善协议,直到最终构造出完整的 zk-SNARK 协议。另外作者这种从问题出发的讲解方式,让读者知其然,也知其所以然。作为一...

知识:多项式,协议,同态,因式

5. 从零开始学习zk-SNARK(一)——多项式的性质与证明

...整的认识。偶然一次机会,看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起,从一个简单易懂的证明协议开始,然后像堆积木一样在发现问题,修改问题中逐步去完善协议,直到最终构造出完整的 zk-SNARK 协议。另外作者这种从问题出发的讲解方式,让读者知其然,也知其所以然 。作为...

知识:多项式,协议,同态,因式

6. 从零开始学习 zk-SNARK(一)——多项式的性质与证明

...整的认识。偶然一次机会,看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起,从一个简单易懂的证明协议开始,然后像堆积木一样在发现问题,修改问题中逐步去完善协议,直到最终构造出完整的 zk-SNARK 协议。另外作者这种从问题出发的讲解方式,让读者知其然,也知其所以然 。作为...

知识:零知识证明,ZKSNARK

7. 【零知识证明】zk-SNARK(一)——多项式的性质与证明

原文标题:《从零开始学习 zk-SNARK(一)——多项式的性质与证明》原文来源: 安比实验室 作者:Maksym Petkus导读17 年最早接触 zk-SNARK 开始,就断断续续得学习了一些 zk-SNARK 的知识,但对其原理始终存在诸多困惑,没有形成一个完整的认识。偶然一次机会,看到了 Maksym Petkus 的这篇文章。文章从最基...

知识:零知识证明,zk-SNARKs,zk-SNARK

8. ZKSwap团队解读零知识证明:REDSHIFT-不需要可信设置的PLONK

...sparent SNARKs from List Polynomial Commitment IOPs》,从名字可以可出,它是基于 List 多项式承诺且具有透明性的 SNARK 算法。算法本身和 PLONK 有大部分的相似之处,唯一不同的是多项式承诺的原语不同。下面先简单的通过一张表格来展示 REDSHIFT 和 PLONK 算法的异同之处,具体如下:因此,只要对 PLONK 算法有深...

知识:零知识证明算法,多项式,算法,去中心化

9. 理解零知识证明算法之Zk-stark——Arithmetization

...atement以简洁清晰的方式呈现出来;第二,把CI statement嵌入到代数域,为后面多项式的转换做铺垫。Arithmetization representation主要由两部分组成:第一,执行轨迹(图中橙色部分);第二,多项式约束(图中灰色部分)。执行轨迹是一个表,表的每一行代表一个单步的运算;多项式约束的构造是和执行轨迹...

知识:零知识证明,技术指南,zkSTARK

10. 理解零知识证明算法Zk-stark(二):Arithmetization

...atement以简洁清晰的方式呈现出来;第二,把CI statement嵌入到代数域,为后面多项式的转换做铺垫。Arithmetization representation主要由两部分组成:第一,执行轨迹(图中橙色部分);第二,多项式约束(图中灰色部分)。执行轨迹是一个表,表的每一行代表一个单步的运算;多项式约束的构造是和执行轨迹...

知识:多项式,零知识证明算法,轨迹,等式

11. 技术指南 | 理解零知识证明算法之Zk-stark

...较分析: zk-snark ALG 【4】 算法思想:将证明CI statement成立问题转换成证明多项式等式成立问题,转换过程用到了算术环路和QAP方法;多项式等式成立意味着什么?(图中黄色部分) 等式两边可以看作两个度相等的多项式,假设为n,其交点最多有n个,假如在一个很大的域范围内随机选一个点,如果的...

知识:零知识证明,ZKSNARK,zkSTARK

12. 理解零知识证明算法Zk-stark 与 Zk-snark

...比较分析:zk-snark ALG 【4】算法思想:将证明CI statement成立问题转换成证明多项式等式成立问题,转换过程用到了算术环路和QAP方法;多项式等式成立意味着什么?(图中黄色部分)等式两边可以看作两个度相等的多项式,假设为n,其交点最多有n个,假如在一个很大的域范围内随机选一个点,如果的两...

知识:多项式,算法,等式,零知识证明算法

13. 【零知识证明】zk-SNARK(四)——多项式的约束

原文标题:《从零开始学习 zk-SNARK(四)——多项式的约束》原文来源: 安比实验室 作者:Maksym Petkus导读even@ 安比实验室: 上一篇文章中我们学习了如何将程序转换为多项式进行证明。到这里似乎已经有点晕了,本文将对协议执行进一步的约束,并对协议展开优化。作者:Maksym Petkus翻译 &amp; 注解:eve...

知识:零知识证明,zk-SNARK

14. 从零开始学习 zk-SNARK(一)——多项式的性质与证明

...整的认识。偶然一次机会,看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起,从一个简单易懂的证明协议开始,然后像堆积木一样在发现问题,修改问题中逐步去完善协议,直到最终构造出完整的 zk-SNARK 协议。另外作者这种从问题出发的讲解方式,让读者知其然,也知其所以然 。作为...

知识:多项式,协议,同态,因式

15. 深入理解零知识证明算法Zk-stark:LowDegreeTesting

...文将以另外一个例子为基础,在回顾Arithmetization 过程的同时,将内容引申到多项式的 LDT过程。新的实例Alice Claim:“我有1000,000个数,他们都在[0,9]范围内”。为了方便验证者Bob验证,Alice首先要对Claim进行Arithmetization转换。过程如下图1所示(图中:黑色箭头代表主流程,红色箭头代表附加说明信息,黄...

知识:多项式,复杂度,零知识证明算法,过程