关于零知识证明的研究

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

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

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

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

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

为什么要从R1CS转化到QAP?

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

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

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

Plonky2 简介

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

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

聊一聊 zkMove (二)

本文是 zkMove 系列的第二篇文章,我们以 zkMove 最典型的使用场景 zk-rollup 为例来说明其工作原理。

ZK与以太坊扩容的未来

Arbitrum 最近发布了一篇精彩的文章:认为 Optimistic Rollups (OR) 代表了以太坊的未来,而我们有不同的观点

  • Luna Lau
  • 发布于 2022-01-25
  • 阅读 ( 749 )
  • ( 10 )

零知识证明 - Halo2电路构建源代码导读

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

  • Star Li
  • 发布于 2022-01-18
  • 阅读 ( 975 )

Plonky2入门指南 ——关于全世界最快的ZK技术

Plonky2入门指南 ——关于全世界最快的ZK技术

  • Luna Lau
  • 发布于 2022-01-13
  • 阅读 ( 1240 )
  • ( 23 )

zkSNARK实践(四)—— merkle证明

merkle树在区块中应用非常广泛,比如比特币SPV节点,使用merkle树来验证一笔交易是否在区块中。

  • stirlingx
  • 发布于 2021-12-03
  • 阅读 ( 1105 )
  • ( 7 )

zkSNARK实践(三)—— 哈希函数的证明

哈希是一种常用的密码学工具,它可以把一个无限大的数据空间映射到另一个有限的数值空间。由于它的不可逆性,常用来隐藏一些信息。现在我们来分析一下怎么证明这类问题。

  • stirlingx
  • 发布于 2021-12-03
  • 阅读 ( 1053 )
  • ( 10 )

zkRollup 赛道,有何可期?

请关注StarkNet和zkSync 2.0 的主网版本,因为这是我们所知道的区块链扩容的未来。

zkSNARK实践(二)——指数方程的证明

zkSNARK实践(二)——指数方程的证明

  • stirlingx
  • 发布于 2021-11-19
  • 阅读 ( 1028 )
  • ( 7 )

zkSNARK实践(一)——多项式方程的证明

zkSNARK全称zero-knowledge Succinct Non-Interactive Arguments of Knowledge,翻译过来叫非交互式简洁零知识证明。网上关于zkSNARK的文章很多,几乎都只讲解它的数学原理。因为它实在太难了,...

  • stirlingx
  • 发布于 2021-11-18
  • 阅读 ( 1295 )
  • ( 39 )

读懂 ZK-Rollups:如何带来 Crypto 生态系统的范式转变?

“对于其他L1区块链而言,未来的实现主义方案是放弃其多余的共识机制和数据可用性,转而成为一个ZK-Rollup或者Volition”

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

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

  • Star Li
  • 发布于 2021-10-15
  • 阅读 ( 962 )

一文读懂零知识证明(ZKP)

本文将详细探讨零知识证明如何保障隐私,而隐私保护是零知识证明对用户的核心价值。另外文中还会列举零知识证明在区块链上的各种用例,以及如何利用Chainlink的DECO​技术建立保护隐私的预言机网络,证明数据来自某一web服务器的同时保护数据隐私,并实现向后兼容。

  • Chainlink
  • 发布于 2021-09-23
  • 阅读 ( 3011 )
  • ( 39 )

zkSync 2.0 开发者更新

计划延迟、逐步推出测试网和主网公平上线

  • EthFans
  • 发布于 2021-09-21
  • 阅读 ( 865 )

零知识证明 - zkEVM解读

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

  • Star Li
  • 发布于 2021-09-02
  • 阅读 ( 1583 )

ZKopru:结合 ZKP 和 Optimistic Rollup

Zkopru 已临近完成,本文解释了其设计和精妙之处。同时我们也会宣布测试网开启的时间。

  • EthFans
  • 发布于 2021-08-19
  • 阅读 ( 911 )