Star Li 的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

PLONK的原始论文存在一个零知识性的问题。商t多项式没有添加随机性，导致simulator不能模拟出证明。

零知识证明 PLONK

发布于 2022-07-29 09:48 阅读(3491) 点赞(0)

Zinc语言是一种智能合约语言，能方便的构建其对应的电路。Zinc开发的程序，编译成ZincVM指令，并在ZincVM执行并构建电路。构建电路的过程是将指令顺序执行，跟踪以及统一数据流。因为ZincVM构建电路需要将代码“静态”展开，所以Zinc不支持图灵完备。

零知识证明 zkVM Zinc

发布于 2022-07-08 15:55 阅读(3037) 点赞(0)

使用Halo2开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。

零知识证明 Halo2

发布于 2022-06-24 08:50 阅读(3457) 点赞(0)

随着ZKP的应用越来越多，零知识证明的证明隐私代理也变的越来越重要。在一些场景下，本地证明的生成时间比较长，如何既保证数据的隐私同时实现快速的证明外包是一个很有意义的话题。在zkSummit7的这个演讲给出一个方案：在PIOP+多项式承诺的零知识证明方案中，可以结合MPC实现证明隐私代理。

零知识证明 PIOP MPC zkSNARK

发布于 2022-06-13 09:10 阅读(3284) 点赞(0)

文章分为两部分：1/介绍MPT的基础背景知识 2/导读MPT电路代码和原理。

零知识证明 zkEVM 源码分析 MPT RLP编码

发布于 2022-05-26 09:03 阅读(3598) 点赞(1) ( 2 )

前一篇文章介绍了zkEVM的EVM Circuit的电路实现细节，接下来继续介绍State Circuit。

零知识证明 zkEVM 源码分析

发布于 2022-05-06 08:51 阅读(3399) 点赞(0)

这篇文章将详细讲解EVM Circuit各个Column的设计，每种Opcode如何约束以及多个Opcode之间是如何约束以及组合。

零知识证明 zkEVM EigenLayer

发布于 2022-04-25 17:17 阅读(3960) 点赞(0)

零知识证明 - 一个通俗解释

通俗理解零知识证明，有个很经典的阿里巴巴的例子。阿里巴巴能在不泄露咒语的情况下，向强盗证明他知道咒语的内容。最近在听斯坦福大学教授 Dan Boneh的讲座视频时，发现有另外一个形象的描述零知识证明的例子：

零知识证明入门

发布于 2022-04-20 16:19 阅读(3232) 点赞(0)

zkSTARK 零知识证明 Cario

发布于 2022-04-08 16:03 阅读(3633) 点赞(0)

这次的挑战赛由两道题目组成。一道题目一个星期的挑战时间。和第一期的挑战不同，这一期的题目都是基于 STARK算法。STARK算法，AIR，FRI低阶测试等等技术会在后续的文章仔细介绍。本文先总结一下这次挑战赛的两个题目的解题思路。

零知识证明 zkSTARK

发布于 2022-03-21 14:10 阅读(3260) 点赞(1)