如何学习零知识证明, 明确动力、材料不那么重要,必要独自学习,多分享,不要怕提愚蠢的问题,看看可以做什么,不要对自己太苛刻了。
如果每个用户都可以验证自己部分的资产是否有财务作假行为,那么只要验证的用户足够多,那么一个组织想要去做财务欺诈难度就会非常高。
本文是 Plonky2: 使用 PLONK 和 FRI 的快速递归论证 论文中文翻译.
Mina 地址的一些学习
Mina 采用 Schnorr signature 生成签名.
介绍常见的多项式承诺
简单介绍 MerkleTree 和 Delta merkle proof.
Mina 开发者常见问题解答, 例如(如何创建自定义可证明类型?)
Polygon Hermez架构介绍
一段代码生成零知识证明可以分为代码变成多项式阶段,多项式生成承诺两个阶段。
第一阶段,简单来说就是把代码转换成 a * b = c 三元算式的列表(就是写电路),然后套数据公式把三元算式的列表转换成多项式,然后用R1CS&QAP的方式对多项式进行约束;
第二阶段,先是通过f(x) = h(x)t
本文分类汇总了以太坊上使用zk技术的社交项目,分别是:身份、治理和消息领域。
FRI 公益课程即将开课~
如果你重视零知识证明技术信息的实效性和信息源质量的意义,不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失,请多支持我们(包括给予赞助支持),让这一汨清流继续流淌~