Star Li 的文章 - 登链社区

一键转载

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

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

零知识证明 Halo2

更新于2024-06-25 18:57 阅读(2916) 点赞(0)

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

零知识证明 PIOP MPC zkSNARK

更新于2022-06-13 09:10 阅读(2715) 点赞(0)

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

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

更新于2022-05-26 09:03 阅读(3022) 点赞(0)

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

零知识证明 zkEVM 源码分析

更新于2022-05-06 08:51 阅读(2875) 点赞(0)

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

零知识证明 zkEVM EigenLayer

更新于2022-04-25 17:17 阅读(3380) 点赞(0)

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

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

零知识证明入门

更新于2022-04-20 16:19 阅读(2809) 点赞(0)

zkSTARK 零知识证明 Cario

更新于2022-04-08 16:03 阅读(3099) 点赞(0)

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

零知识证明 zkSTARK

更新于2022-03-21 14:10 阅读(2824) 点赞(1)

理解 Halo2，可以从两部分着手：1/ 电路构建 2/ 证明系统

零知识证明 Halo2

更新于2022-01-18 09:39 阅读(4990) 点赞(0)

零知识证明 - KZG多项式承诺

零知识证明 - KZG多项式承诺

KZG 零知识证明

更新于2021-10-15 17:21 阅读(3879) 点赞(0)