零知识证明共102篇
使用 SNARKs 批处理 ECDSA 签名-区块链开发网

使用 SNARKs 批处理 ECDSA 签名

我们带来了 circom-batch-ECDSA,一个基于circom-ECDSA(由0xPARC 社区中其他人之前完成的工作)之上的概念验证实现,其灵感来自halo2-batch-ECDSA,它允许在单个 SNARK 中显著更快地验证一批 E...
零知识证明 - FPGA vs. GPU-区块链开发网

零知识证明 – FPGA vs. GPU

本文从MSM的计算入手,分析FPGA和GPU加速零知识证明计算的优缺点。 零知识证明技术应用越来越广,隐私证明,计算证明,共识证明等等。在寻找更多更好的应用场景的同时,很多人逐步发现零知识...
零知识证明 - zkSNARK入门-区块链开发网

零知识证明 – zkSNARK入门

通过这篇文章,能快速建立零知识证明的逻辑框架。 > 理解逻辑,和写文章是两种能力。理解逻辑是将逻辑整理抽象,写文章是将逻辑丰富的过程。很多工程师大量训练的是抽象能力,不愿意写文...
零知识证明 - 从QSP到QAP-区块链开发网

零知识证明 – 从QSP到QAP

前一段时间,介绍了零知识证明的入门知识,通过QSP问题证明来验证另外一个NP问题的解。最近在看QAP问题相关的文章和资料,这篇文章分享一下QAP问题的理解。 > 程序员,大多数时间在学习和...
零知识证明 - Groth16算法介绍-区块链开发网

零知识证明 – Groth16算法介绍

Groth16,是由Jens Groth在2016年提出的算法。GGPR13,是由Rosario Gennaro,Craig Gentry,Bryan Parno,Mariana Raykova在2013年提出的算法。 看zk-SNARK的文章或者资料的时候,经常会碰到...
CUDA - cuda-fixnum源代码导读-区块链开发网

CUDA – cuda-fixnum源代码导读

CUDA - cuda-fixnum源代码导读 「 今天是2019年端午节。祝大家端午节快乐!创业团队,最好能找到切合团队的点。在这个点上,自己问自己几个问题:1/ 这个点的方向性以及未来市场可能性如何?...
利用 EYBlockchain 在以太坊上创建隐私币-区块链开发网

利用 EYBlockchain 在以太坊上创建隐私币

前一段时间,介绍了几篇零知识证明文章:入门zkSNARK, 从 QSP 到 QAP,Groth16 算法介绍, 今天这篇文章分享下利用 EYBlockchain 在以太坊上创建隐私币。 前一段时间,介绍了几篇零知识证明...
零知识证明 - Coda SNARK挑战(Stage1)-区块链开发网

零知识证明 – Coda SNARK挑战(Stage1)

零知识证明 - Coda SNARK挑战(Stage1) 「 最近事情有点多,没怎么写文章。最近好多朋友都在关心我,有没有参加Coda举办的零知识证明的挑战?必须的。不光为了奖金,整个挑战的内容本身也是...
零知识证明(一) - 零知识证明的背景-区块链开发网

零知识证明(一) – 零知识证明的背景

缘起 进来参与了很多安永的区块链技术活动,安永发布了基于零知识证明的Nightfall框架。因此决定把零知识证明这个加密体系中的硬核知识给全方位的梳理一遍,就有了此零知识证明系列文章。... ...
零知识证明 - 再谈EYBlockchain-区块链开发网

零知识证明 – 再谈EYBlockchain

上次我写了一篇 EYBlockchain 在以太坊上创建隐私币, 最近有点时间,重新看了看EYBlockchain的源代码,对EYBlockchain的理解又深入了不少。画了一些图,分享给有需要的小伙伴 :) 上次我写了...
解密零知识证明(二) - Nightfall的系统结构、铸币实现及以太坊上通证的转移实现-区块链开发网

解密零知识证明(二) – Nightfall的系统结构、铸币实现及以太坊上通证的转移实现

摘要 Nightfall是一种零知识证明的实现, 它使用zk-SNARKS让同质化ERC20和非同质化的通证ERC721系列的通证进行隐私化转移,使得交易能够完成但是又能足够的匿名。本文主要是通过对架构设... ...
Nightfall的系统结构、铸币实现及以太坊上通证的转移实现-区块链开发网

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

本文主要是通过对架构设计、承兑型资产铸造、转移和销毁这几个层面进行了详细的理论和实现的分析。 ## 摘要 Nightfall 是一种零知识证明的实现, 它使用 zk-SNARKS 让同质化[ERC20](https:/...
零知识证明 - bellman源码分析-区块链开发网

零知识证明 – bellman源码分析

bellman是Zcash团队用Rust语言开发的一个zk-SNARK软件库,实现了Groth16算法。 bellman是Zcash团队用Rust语言开发的一个zk-SNARK软件库,实现了Groth16算法。项目地址: https://github.com...
zkPoD:区块链,零知识证明与形式化验证,实现无中介、零信任的公平交易-区块链开发网

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

这篇文章解释利用ZKP(零知识证明)与区块链来实现去中介的交易协议的原理,讲讲我们是怎么把这个理论变成实用的代码的,这是一篇概述,希望了解更多的朋友请关注后续。 > 这篇文章解...
zkPoD:区块链,零知识证明与形式化验证,实现无中介、零信任的公平交易-区块链开发网

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

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

零知识证明 – Coda SNARK挑战(Stage2)

零知识证明 - Coda SNARK挑战(Stage2) SNARK挑战的第二阶段(Stage2)挑战的主要内容是:Groth16算法的证明生成和验证性能的优化。第二阶段的挑战又分成两部分内容:Groth16算法的证明生成...
零知识证明 - 深入理解ZoKrates-区块链开发网

零知识证明 – 深入理解ZoKrates

2018年 Jacob Eberhardt和Stefan Tai两位德国柏林工业大学博士生,提出了链下计算/链上验证的处理框架,并提供了在以太坊上的整个框架的工具链。链下计算/链上验证的思想很早就有,但是能提供比...
Zcash - 各种密钥和签名,你懂吗?-区块链开发网

Zcash – 各种密钥和签名,你懂吗?

Zcash的发展大体经过了OverWinter(过冬) -> Sprout(发芽) -> Sapling(树苗)这几个阶段,随着业务和功能的逐渐丰富,密钥系统也越来越复杂,刚开始接触时感觉一头雾水,但是静下心来仔细分...
探索零知识证明系列1 - 初识「零知识」与「证明」-区块链开发网

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

我认为区块链很难称为一个“技术”。它更像是一个领域,包罗万象。或者形而上地说,区块链更像一个有机体,融合了各种不同的理论技术。 零知识证明是构建信任的重要技术,也是区块链这个有机...
Zcash - 图解Transaction结构-区块链开发网

Zcash – 图解Transaction结构

最近又重新看了看ZCash的白皮书。话说,看ZCash的白皮书需要一点耐心,144页的白皮书形式化太多,通篇就只有一张图(地址和Key生成关系图)。本文画图总结了Sprout和Sapling的交易Transaction的...