zkREPL:一个zkSNARKs 在线开发环境

在计算的旧石器时代,计算机曾是机电的巨兽,每秒只可以执行几十次操作,但每年的成本却高达数百万美元。程序是通过细致的思考、在接线板中插入电线以及给卡片打孔来开发的。那个时候,bug就是是字面意义上的虫子,它们会啃咬电线,偶尔会导致短路,这可能会烧毁所有东西。

  • XPTY
  • 发布于 2022-06-23
  • 阅读 ( 2467 )

构建你的第一个零知识 snark 电路(Circom2)

参考 iden3 官方最新教程文档,用 circom2 和 snarkjs 库创建和执行你的第一个零知识证明。

  • weinsh
  • 发布于 2022-06-20
  • 阅读 ( 2880 )
  • ( 21 )

2022 零知识调查报告

解析加密业界对零知识的见解及其未来的意义。

零知识证明 - 证明隐私代理方案

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

  • Star Li
  • 发布于 2022-06-13
  • 阅读 ( 1713 )

zk-stark实践

zk-stark意为零知识—可拓展的—透明的—知识论证,在区块链上的应用前景备受瞩目。它不仅能提供隐私功能,还能提供无需信任第三方的扩容功能。下面将从一个具体问题出发对 zk-stark进行实践

零知识 QAP问题的转化

本文是Vitalik写于2016年12月,用于介绍零知识证明的数学实现方式的论文。文章思路清晰,通俗易懂,也因此,该文成为区块链行业技术人员学习这方面知识的首选文章之一。

  • weinsh
  • 发布于 2022-05-30
  • 阅读 ( 2797 )
  • ( 11 )

Foresight Ventures: 解读 zk, zkVM, zkEVM 及其未来

如果 Web3 和 Crypto 有统治世界的一天, 我认为绝对不会是 EVM 生态占据 100% 的所有开发者, 而是所有的开发者会慢慢转化为 Web3 和 Crypto 开发者. 这就是通用的 zkVM 的绝妙之处.

零知识证明 - zkEVM源代码分析(MPT Circuit)

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

  • Star Li
  • 发布于 2022-05-26
  • 阅读 ( 2017 )

零知识前沿:关于SNARKs,STARKs和未来的应用

在今天的文章中,我将剖析有史以来最强大但经常被误解的密码学工具之一:零知识证明 。此外,我将重点介绍未来实现的用例和建议,并展示为什么零知识证明是crypto未来的关键。

  • XPTY
  • 发布于 2022-05-09
  • 阅读 ( 2940 )

零知识证明 - zkEVM源代码分析(State Circuit)

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

  • Star Li
  • 发布于 2022-05-06
  • 阅读 ( 2038 )

zkEVM (二) --EVM Circuit

通过上一篇,我们知道zkEVM包含多个电路,如EVM circuit, MPT circuit,Keccak256 circuit等。本节继续介绍EVM circuit部分,这一部分是典型的业务电路,用于约束EVM执行状态,因为其他例如 Keccak256 circuit 是通用型的电路,不仅可以用在ZKEVM工程中,也可以用在其他使用Keccak256做哈希的应用中,也就是独立于业务逻辑本身的电路组件。

零知识证明 - zkEVM源代码分析(EVM Circuit)

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

  • Star Li
  • 发布于 2022-04-25
  • 阅读 ( 2221 )

zkEVM (一) 架构简介

zkEVM旨在设计并实现一种解决方案,通过零知识证明来验证以太坊执行模块(通常指Layer2执行)。该项目目标是实现与以太坊EVM的100%兼容性。这是一个由社区贡献和拥有的开源项目,主要包含两个方面:zkRollup,Validity proofs(有效性证明)

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

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

  • Star Li
  • 发布于 2022-04-20
  • 阅读 ( 1897 )

Schwartz-Zippel 引理的证明

Schwartz-Zippel 引理是关于有限域中的多变量多项式零点个数的紧致上界,具体表述如下:

  • XPTY
  • 发布于 2022-04-14
  • 阅读 ( 2110 )

关于零知识证明的研究

本文对零知识证明的过程进行分析,希望读者可以对零知识证明的整体流程有所了解,后续讨论零知识证明原理的时候我们都是在放大讨论这篇文章中的某一部分,再去接触一些令人眼花缭乱的技术时,我们能够很清晰的知道,这项技术是解决了零知识证明的哪部分问题,针对哪部分进行了优化,就像文末介绍的较新的STARK中的AIR其实是用来替换r1cs作为另外一种描述NP问题的方式。

零知识证明 - 从puzzle解题深入ZK-STARK

这篇文章记录一下团队解题的思路以及学习STARK的过程。方便更多的小伙伴学习零知识证明相关技术。

  • Star Li
  • 发布于 2022-04-08
  • 阅读 ( 2190 )

理解Groth16,一些细节上的说明

为什么要从R1CS转化到QAP?

零知识证明 - zkHack mini挑战赛第一名

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

  • Star Li
  • 发布于 2022-03-21
  • 阅读 ( 2053 )

Plonky2 简介

两个零知识库Plonky2Starky,代表了构建更高性能 SNARKs/STARKs 的新方法。Plonky2 是一个结合了Plonk和FRI的库,Starky 专注于运行基于AIR的STARKs,且支持对其的递归验证。该方法可以总结为,使用小域,然后使用递归FRI。

  • XPTY
  • 发布于 2022-03-16
  • 阅读 ( 2800 )