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

理解PLONK

文章详细介绍了PLONK零知识证明协议的原理和实现，包括其通用和可更新的可信设置、多项式承诺的使用以及如何将程序转换为多项式方程进行验证。
PLONK  零知识证明  多项式承诺  可信设置  椭圆曲线配对  SNARKs 

探索零知识证明系列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
  • 阅读 ( 21630 )
  • ( 21 )

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

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

何谓“零知识”，何谓“证明”？

要解释「零知识证明」，我们需要先解释「证明」，然后解释什么是「知识」，最后再解释什么是「零知识」。
零知识证明  Zcash  Monero 
  • EthFans
  • 发布于 2019-08-01
  • 阅读 ( 2938 )

探索零知识证明系列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
  • 阅读 ( 16889 )
  • ( 21 )

深入浅出数字证书

在[「详解TLS/SSL运行机制」](https://learnblockchain.cn/2019/07/16/tls-ssl/)这篇文章中，在`TLS`握手的第三步中，用到了数字证书中的公钥，通过这篇文章，我们一起来看一下为什么会出现数字证书，以及它解决了什么问题。
数字证书 
  • 清源
  • 发布于 2019-07-17
  • 阅读 ( 10273 )
  • ( 20 )

零知识证明 - Coda SNARK挑战（Stage2）

零知识证明 - Coda SNARK挑战（Stage2）
零知识证明  Groth16  zkSNARK 
  • Star Li
  • 发布于 2019-07-17
  • 阅读 ( 3608 )

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

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

零知识证明 - bellman源码分析

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

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

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

国密算法SM1（SCB2）、SM2、SM3、SM4、SM7、SM9、ZUC

国密算法SM1（SCB2）、SM2、SM3、SM4、SM7、SM9、ZUC介绍
国密算法  密码学 
  • 辉哥
  • 发布于 2019-07-09
  • 阅读 ( 12401 )
  • ( 5 )

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

## 摘要 Nightfall是一种零知识证明的实现， 它使用zk-SNARKS让同质化ERC20和非同质化的通证ERC721系列的通证进行隐私化转移，使得交易能够完成但是又能足够的匿名。本文主要是通过对架构设...
零知识证明 

零知识证明 - 再谈EYBlockchain

上次我写了一篇[ EYBlockchain 在以太坊上创建隐私币](https://learnblockchain.cn/2019/06/13/EYBlockchain/), 最近有点时间，重新看了看EYBlockchain的源代码，对EYBlockchain的理解又深入了不少。画了一些图，分享给有需要的小伙伴 :)
密码学  EYBlockchain  零知识证明 
  • Star Li
  • 发布于 2019-07-08
  • 阅读 ( 12489 )
  • ( 20 )

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

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

零知识证明 - Coda SNARK挑战（Stage1）

零知识证明 - Coda SNARK挑战（Stage1）
零知识证明  Coda SNARK 
  • Star Li
  • 发布于 2019-06-28
  • 阅读 ( 4373 )

什么是可验证随机函数VRF

什么是可验证随机函数VRF
VRF 
  • Ashton
  • 发布于 2019-06-23
  • 阅读 ( 8268 )
  • ( 5 )

ECDH秘钥协商算法原理

`ECDH`全称是椭圆曲线迪菲-赫尔曼秘钥交换（Elliptic Curve Diffie–Hellman key Exchange），主要是用来在一个不安全的通道中建立起安全的共有加密资料，一般来说交换的都是`私钥`，这个密钥一般作为“对称加密”的密钥而被双方在后续数据传输中使用。
ECDH  区块链安全  密码学 
  • 清源
  • 发布于 2019-06-23
  • 阅读 ( 27353 )
  • ( 20 )

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

前一段时间，介绍了几篇零知识证明文章：[入门zkSNARK](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/)， [从 QSP 到 QAP](https://learnblockchain.cn/2019/05/07/qsp-qap/)，[Groth16 算法介绍](https://learnblockchain.cn/2019/05/27/groth16/)， 今天这篇文章分享下利用 EYBlockchain 在以太坊上创建隐私币。
密码学  EYBlockchain  零知识证明 
  • Star Li
  • 发布于 2019-06-13
  • 阅读 ( 13056 )
  • ( 20 )