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

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

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

0推荐

576浏览

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

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

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

0推荐

1035浏览

零知识证明-R1CS导入导出

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

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

0推荐

852浏览

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

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

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

0推荐

991浏览

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

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

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

40推荐

8268浏览

零知识证明学习资料汇总

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

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

0推荐

1188浏览

二层扩容新秀 - ZK Rollup 简介

本文来自PPLabs， PPIO 是为开发者打造的去中心化存储与分发平台，让数据更便宜、更高速、更隐私。官方网站是 [https://pp.io](https://pp.io/)。

0
PPLabs 发布于 2019-11-07 13:55

0推荐

1019浏览

零知识证明-zkSNARK应用场景分析

前几天在魔笛社区分享了三个zk-SNARK技术应用的场景，可以让大家zk-SNARK（Groth16）技术和场景的结合有初步的认识。

0
Star Li 发布于 2019-11-06 10:14

0推荐

913浏览

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

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

0
安比实验室发布于 2019-11-04 13:20

0推荐

972浏览

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

0
Star Li 发布于 2019-10-22 09:28

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

云中「秘密」：构建非交互式零知识证明---探索零知识证明系列（五）

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

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

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

零知识证明 - Groth16计算详解