全部 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 入门/科普 密码学 存储 其他

实践指南：构建一个零知识证明 DApp [译]

本文将构建一个zk-dApp（零知识证明 DApp），以证明用户是否属于某个特定组，而无需透露用户具体是谁。
零知识证明  DApp  circom  snarkjs 
  • Tiny熊
  • 发布于 2020-06-10
  • 阅读 ( 6230 )
  • ( 184 )

区块链中的数学 - RSA算法加解密过程及原理

本节主要介绍了RSA算法加解密过程及原理，RSA还有很多相关内容，包括签名，具体运算过程，背景知识，安全性等。后续几篇将分别介绍，以求知识系统的完备性。
区块链中的数学  RSA算法 

区块链中的数学 - 费马小定理

费马小定理是初等数论四大定理（威尔逊定理，欧拉定理（数论中的欧拉定理），中国剩余定理(又称孙子定理），费马小定理）之一，其他定理如欧拉定理，之前文章也提过，后续会抽时间单独介绍。关于费马小定理的应用，在求解模逆运算的时候第一种方法便是使用费马小定理求解，还可应用在快速幂模运算等。

区块链中的数学  费马小定理 

circom与snarkjs经典教程：创建第一个零知识 snark 电路

本教程是circom 和 snarkjs 最经典的入门文章
circom  snarkjs  零知识证明 
  • Tiny熊
  • 发布于 2020-06-02
  • 阅读 ( 18569 )
  • ( 408 )

区块链中的数学 - ElGamal算法

本文介绍了ElGamal算法。其中过程又提到了费马小定理等。
区块链中的数学  ElGamal算法 

区块链中的数学 - 模运算与取余运算区别 & 模运算除法运算规则

并不是所有a,m 都存在模逆元，只有当a与m互质才有乘法模逆元存在。
区块链中的数学 

区块链中的数学 - 模运算的运算规则

本节将总结下模运算的运算规则。更好地理解之前文章中一些推导过程。
区块链中的数学 

区块链中的数学 - 迪菲-赫尔曼密钥交换

本节介绍离散域上椭圆曲线进行迪菲赫尔曼密钥交换，并加以实例说明
区块链中的数学  密钥交换 

区块链中的数学 - 椭圆曲线进行签名和验证过程

本节继续介绍离散域上椭圆曲线进行签名和验证过程，并加以实例说明。
区块链中的数学  椭圆曲线 

区块链中的数学 - 椭圆曲线加密原理和实例演练

本节将介绍如何使用离散域上椭圆曲线进行加密和解密过程。若果觉得阅读理解本文有困难，可以先参考之前的一些铺垫的历史文章。以后所说的椭圆曲线默认都是指离散域上模素数的椭圆曲线。
区块链中的数学  椭圆曲线 

区块链中的数学 - 离散域模素数上的加法&椭圆曲线中离散对数问题

本节介绍如何让椭圆曲线点的坐标离散化。
区块链中的数学  椭圆曲线 

区块链中的数学-数论的一些知识和椭圆曲线上加法运算

本节主要说涉及到数论的一些知识和椭圆曲线上加法运算。
区块链中的数学 

区块链中的数学-椭圆曲线的背景及基本性质

本节主要说椭圆曲线的背景及基本性质。
区块链中的数学  椭圆曲线 

区块链中的数学-欧几里得算法

本节主要讲欧几里得算法及其扩展算法。
区块链中的数学  欧几里得算法 

密码学系列 - 概述

密码学很神秘？很高端？本文是密码学系列的第一篇：概述。带你一起来揭秘！ 根据密钥的类型一般可以分为对称加密和非对称加密
密码学 
  • bobgojoe
  • 发布于 2020-03-24
  • 阅读 ( 6421 )
  • ( 190 )

零知识证明 - 区块链应用中的风险

19年底360安全发布的一篇有关零知识证明安全的文章。这篇文章是Zhiniang Peng在PacSec2019大会发言的总结。文章框架性地介绍零知识证明zk-SNARK的知识，并给出了一些安全提示和思考。
应用开发 
  • Star Li
  • 发布于 2020-03-24
  • 阅读 ( 3445 )

重大突破：路印协议将交易成本再降15倍！

本文详细说明了路印协议在zkSNARK证明生成上的一些优化措施，我们成功地将生成零知识证明的成本降低为每笔交易仅0.03分RMB（100万笔交易成本大约300RMB），与目前我们线上的版本相比，成本降低了15倍。再加上其他一些优化手段，最终路印协议每笔撮合交易总成本仅仅只需0.09分RMB（100万笔交易成本大约900RMB）。
路印  DEX  DeFi 

零知识证明 - 新手入门指南

不知不觉，写了不少零知识证明相关的文章，单独总结成列表。方便对零知识证明感兴趣的小伙伴，学习开发。零知识证明，乃至区块链技术，需要学习，深入研究的东西太多太多了。零知识证明学习入门...
零知识证明  入门  零知识证明入门 
  • Star Li
  • 发布于 2020-03-01
  • 阅读 ( 8614 )
  • ( 73 )

零知识证明 - 电路及证明示例（libsnark）

libsnark库代码层次非常清晰。libsnark也给出了SNARK相关算法的全貌，各种Relation，Language，Proof System。为了更好的生成R1CS电路，libsnark抽象出protoboard和gadget，方便开发者快速搭建...
libsnark  zkSNARK 
  • Star Li
  • 发布于 2020-03-01
  • 阅读 ( 5153 )
  • ( 9 )

零知识证明 - 基于多项式构造零知识证明

理解为什么以及如何基于多项式构造零知识证明，这篇文章讲的比较清楚。虽然文章只讲到了皮诺曹协议，但是足够理解基于多项式构造零知识证明的本质。想深入零知识证明的小伙伴都建议看看。

ht...
零知识证明 
  • Star Li
  • 发布于 2020-02-21
  • 阅读 ( 6169 )
  • ( 10 )