Star Li 的文章 - 登链社区

一键转载

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

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

零知识证明 zkEVM 源码分析

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

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

零知识证明 zkEVM EigenLayer

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

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

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

零知识证明入门

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

zkSTARK 零知识证明 Cario

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

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

零知识证明 zkSTARK

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

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

零知识证明 Halo2

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

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

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

KZG 零知识证明

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

零知识证明 - zkEVM解读

AppliedZKP公开了zkEVM的设计思路。zkEVM采用数据总线（Bus Mapping）的思路，将存储和计算分开。在Bus Mapping抽取了正确的存储数据的基础上，State proof证明数据的一致性，EVM proof证明计算逻辑的正确性。

零知识证明 Layer2 zkEVM zkSNARK ZK Rollup

更新于2021-09-02 08:44 阅读(3867) 点赞(0)

Dark Forest是一款实时策略游戏。星球的移动和攻占是整个游戏的策略重点。为了在不公开星球坐标的情况，还能证明星球的移动正确，引入了零知识证明技术。

零知识证明 Dark Forest

更新于2021-08-17 11:54 阅读(3476) 点赞(0)

zkEVM - Hermez设计思路

Hermez团队负责人Jordi Baylina比较清晰地给出了zkEVM大体的设计思路。本文梳理一下对zkEVM设计的理解。抛砖引玉，有理解偏差，小伙伴们可以留言讨论。

零知识证明 Layer2 zkEVM Polygon zkEVM

更新于2021-08-11 15:52 阅读(3051) 点赞(0)