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

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

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

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

零知识证明 - bellman源码分析

bellman是Zcash团队用Rust语言开发的一个zk-SNARK软件库，实现了Groth16算法。
零知识证明  bellman  Groth16 
  • Star Li
  • 发布于 2019-07-14
  • 阅读 ( 7903 )
  • ( 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
  • 阅读 ( 29202 )
  • ( 21 )

零知识证明 - 从QSP到QAP

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

非对称加密技术- RSA算法数学原理分析

非对称加密技术，在现在网络中，有非常广泛应用。加密技术更是数字货币的基础。 所谓非对称，就是指该算法需要一对密钥，使用其中一个（公钥）加密，则需要用另一个（私钥）才能解密。 但是对于其原理大部分同学应该都是一知半解，今天就来分析下经典的非对称加密算法 - RSA算法。 通过本文的分析，可以更好的理解非对称加密原理，可以让我们更好的使用非对称加密技术。
密码学  RSA算法 
  • Tiny熊
  • 发布于 2017-11-15
  • 阅读 ( 39881 )
  • ( 20 )

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

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