标签:零知识证明 | 深入浅出区块链 | 技术博客

Groth16算法是zkSNARK的典型算法，目前在ZCash，Filecoin，Coda等项目中使用。本文从计算量的角度详细分析Groth16计算。Groth16计算分成三个部分：Setup针对电路生成Pk/Vk（证明/验证密钥），Prove在给定witness/statement的情况下生成证明，Verify通过Vk验证证明是否正确。

0
Star Li 发布于 2019-12-19 09:11

0推荐

619浏览

十分钟开发一个混币-原理篇

混币的目的是切断加密货币交易中发送方与接受方的联系，提高加密货币的隐私性和匿名性，使第三方更难追踪加密货币的用途以及它属于谁。

0
吴寿鹤发布于 2019-12-18 10:21

1推荐

1130浏览

理解零知识证明算法之 Zk-stark

谈到ZKP算法，大伙可能听过一些，比如zk-snark，zk-stark, bulletproof， aztec， plonk等等。今天，咱就给大伙聊聊这一对“表面兄弟”，zk-stark和zk-snark算法的异同之处。

0
juneocean 发布于 2019-12-18 09:42

0推荐

2159浏览

零知识证明-R1CS导入导出

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

0
Star Li 发布于 2019-12-06 09:41

0推荐

1977浏览

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

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

0
Star Li 发布于 2019-11-14 09:42

0推荐

2096浏览

零知识证明-Semaphore源代码导读

Semaphore是一个用零知识证明（zk-SNARK）技术的开源项目。Semaphore实现的是基于零知识证明的身份和信号。

0
Star Li 发布于 2019-11-08 15:22

41推荐

9546浏览

零知识证明学习资料汇总

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

1
安比实验室发布于 2019-11-08 09:23

零知识证明 - DIZK源代码导读

零知识证明 - DIZK介绍

零知识证明 - 椭圆曲线基础

浅谈零知识证明之二：简短无交互证明（SNARK）

探索零知识证明系列5-构建非交互式零知识证明

零知识证明 Learn by Coding：libsnark 入门篇

零知识证明直播 - zk-SNARK从原理到实战

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

零知识证明 - Groth16计算详解