全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

浅谈零知识证明：背景与起源

本文介绍零知识证明的背景和起源，阅读后大家对为什么需要零知识证明，和零知识证明到底有多强大，有了一个更加深入的了解。
零知识证明  zkSNARK 

零知识证明 - Groth16计算详解

Groth16算法是zkSNARK的典型算法，目前在ZCash，Filecoin，Coda等项目中使用。本文从计算量的角度详细分析Groth16计算。Groth16计算分成三个部分：Setup针对电路生成Pk/Vk（证明/验证密钥），Prove在给定witness/statement的情况下生成证明，Verify通过Vk验证证明是否正确。
零知识证明  Groth16  zkSNARK 
  • Star Li
  • 发布于 2019-12-19
  • 阅读 ( 16115 )
  • ( 20 )

零知识证明-R1CS导入导出

玩过zkSNARK的小伙伴都知道，R1CS是目前描述电路的一种语言。目前实现zkSNARK电路的框架有libsnark（C++），bellman (Rust)，ZoKrates（DSL），Circom（js）等等。有的时候，需要将一个框架中生成的电路，导入其他框架。网络上研究了一下，发现两个有意思的项目。
零知识证明  R1CS  zkSNARK 
  • Star Li
  • 发布于 2019-12-06
  • 阅读 ( 11935 )
  • ( 20 )

零知识证明-Mixer(混币)应用分析

交易隐私是零知识证明的一个应用方向。除了通过公链或者侧链实现交易的发送方/接收方以及金额隐藏外，Mixer，江湖人称“混币”，是在已有公链上实现交易的发送方的隐藏（匿名）。Mixer，就是将一些账户的资金“混”在一起，由公开的第三方代替发送方发起转账。这个第三方，被称为Mixer或者Relayer。本文分析以太坊上的三个Mixer项目的设计和性能。
零知识证明  Mixer  MicroMix  Tornado.cash 
  • Star Li
  • 发布于 2019-11-14
  • 阅读 ( 12781 )
  • ( 20 )

零知识证明学习资料汇总

本文收集了关于零知识证明的一些学习资料（包括科普文章，论文，开源仓库及相关学习网站等），并对这些资源进行了整理分析，希望能对大家有所帮助。
零知识证明  导航 

探索零知识证明系列4 - 亚瑟王的「随机」挑战

本文继续长篇大论零知识证明背后的机制原理，希望帮助大家理解这一类「现代密码学工具」的大致轮廓。本文约8000字，少量数学公式。
零知识证明 

路印3.0：使用零知识证明提升去中心化的交易性能

`Loopring`，路印，一直专注在高性能的去中心化交易（DEX）协议。路印协议的目标是想实现以太坊上基于订单撮合的去中心化的交易协议。从2017年，路印从“环路撮合”的最初设计，经过了1.0，2.0以及3.0的三个大的版本的协议升级。1.0/2.0，相对来说，受限以太坊本身性能的限制，交易流程复杂，体验和中心化交易所相比，有较大的差距。路印协议3.0，是一种大胆的设计和尝试，通过零知识证明技术（ZKP），兼顾去中心化和交易性能。
零知识证明  DEX  DeFi 
  • Star Li
  • 发布于 2019-10-22
  • 阅读 ( 12292 )
  • ( 20 )

探索零知识证明系列3 - 寻找「知识」

导言：有些理论非常有趣，零知识证明便是其中之一，摸索了许久，想写点什么，与大家一起讨论。本文是『探索零知识证明』系列的第三篇。前两遍是：[（一）初始「零知识」与「证明」](https://learnblockchain.cn/2019/08/01/learning-zkp/) 及 [（二）理解「模拟」](https://learnblockchain.cn/2019/08/06/zkp-simu/)， 本文全文约 8,000 字，少量数学公式。
零知识证明 

零知识证明 - libsnark源代码分析

[libsnark源代码](https://github.com/scipr-lab/libsnark)，建议想深入[零知识证明](https://learnblockchain.cn/categories/zkp/)的小伙伴都读一读。Bellman库主要围绕[Groth16算法](https://learnblockchain.cn/2019/05/27/groth16/)，libsnark给出了SNARK相关算法的全貌，各种Relation，Language，Proof System。为了更好的生成
libsnark  zkSNARK  零知识证明 
  • Star Li
  • 发布于 2019-08-15
  • 阅读 ( 21206 )
  • ( 21 )

探索零知识证明系列2 - 从「模拟」理解零知识证明

>I know that I know nothing —— 苏格拉底 相信很多人都听说过零知识证明，但是只有极少数人听说过模拟，然而模拟是理解零知识的关键。
zkSNARK  零知识证明 

探索零知识证明系列1 - 初识「零知识」与「证明」

我认为区块链很难称为一个“技术”。它更像是一个领域，包罗万象。或者形而上地说，区块链更像一个有机体，融合了各种不同的理论技术。 零知识证明是构建信任的重要技术，也是区块链这个有机体中不可缺少的一环。
zkSNARK  零知识证明 

零知识证明 - 深入理解ZoKrates

2018年 Jacob Eberhardt和Stefan Tai两位德国柏林工业大学博士生，提出了[链下计算/链上验证的处理框架](https://www.ise.tu-berlin.de/fileadmin/fg308/publications/2018/2018_eberhardt_ZoKrates.pdf)，并提供了在以太坊上的整个框架的工具链。链下计算/链上验证的思想很早就有，但是能提供比较完善的工具链的实属难得。目前ZoKrates使用zk-SNARK算法实现零知识证明。
密码学  零知识证明  ZoKrates 
  • Star Li
  • 发布于 2019-07-24
  • 阅读 ( 16413 )
  • ( 21 )

zkPoD：区块链，零知识证明与形式化验证，实现无中介、零信任的公平交易

> 这篇文章解释利用ZKP(零知识证明)与区块链来实现去中介的交易协议的原理，讲讲我们是怎么把这个理论变成实用的代码的，这是一篇概述，希望了解更多的朋友请关注后续。
zkPoD  zkSNARK  零知识证明 

零知识证明 - bellman源码分析

bellman是Zcash团队用Rust语言开发的一个zk-SNARK软件库，实现了Groth16算法。
零知识证明  bellman  Groth16 
  • Star Li
  • 发布于 2019-07-14
  • 阅读 ( 7914 )
  • ( 4 )

Nightfall的系统结构、铸币实现及以太坊上通证的转移实现

本文主要是通过对架构设计、承兑型资产铸造、转移和销毁这几个层面进行了详细的理论和实现的分析。
Nightfull  EYBlockchain  零知识证明 

零知识证明 - Groth16算法介绍

Groth16，是由Jens **Groth**在20**16**年提出的算法。GGPR13，是由Rosario **G**ennaro，Craig **G**entry，Bryan **P**arno，Mariana **R**aykova在20**13**年提出的算法。
零知识证明  Groth16 
  • Star Li
  • 发布于 2019-05-27
  • 阅读 ( 29235 )
  • ( 21 )

零知识证明 - 从QSP到QAP

前一段时间，介绍了[零知识证明的入门知识](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/)，通过QSP问题证明来验证另外一个NP问题的解。最近在看QAP问题相关的文章和资料，这篇文章分享一下QAP问题的理解。
密码学  zkSNARK  零知识证明 
  • Star Li
  • 发布于 2019-05-07
  • 阅读 ( 25225 )
  • ( 21 )

STARKs，第一部分：多项式的证明

文章介绍了ZK-STARKs技术，这是一种零知识证明技术，不依赖于可信设置，且能抵御量子计算机攻击。文章详细解释了如何使用多项式来进行零知识证明，并通过多个示例展示了其应用场景。
ZK-STARKs  零知识证明  多项式  区块链  密码学  量子计算机