blocksight 的文章 - 登链社区

一键转载

TA的文章 TA购买的 TA喜欢的 TA收藏的

区块链中的数学 - Halo2 Circuit

本文介绍另一种基于plonk的proof system--halo2，目前看到基于plonk的工程实现有三种:bellman, dusk, halo2.

零知识证明 zk-SNARK

更新于2021-09-06 10:10 阅读(298) 点赞(0)

本文将介绍一种新的椭圆曲线实例-- Baby Jubjub Elliptic Curve。

椭圆曲线 zk-SNARK 密码学

更新于2021-08-01 11:01 阅读(477) 点赞(0)

区块链中的数学--PLookup

本文主要介绍plookup算法的思路

区块链中的数学零知识证明 PLONK 密码学

更新于2021-07-12 11:01 阅读(424) 点赞(0) ( 3 )

本文介绍的这些知识点是理解plookup的基础

区块链中的数学零知识证明 PLONK

更新于2021-06-26 11:04 阅读(441) 点赞(0) ( 5 )

环签名，目前在隐私Monero项目中有所应用

区块链中的数学环签名密码学零知识证明

更新于2021-05-31 09:53 阅读(802) 点赞(0) ( 8 )

盲签名可以看成结合普通签名的变种，实现特殊的应用。RSA方案简单易解，实际代码工程是要有额外一些处理的，可能需要填充等。

区块链中的数学盲签名签名密码学

更新于2021-05-16 14:21 阅读(1004) 点赞(0)

本文继续讲sigma协议相关的引申和应用！

区块链中的数学

更新于2021-05-11 14:54 阅读(572) 点赞(0)

本文介绍Sigma协议的交互和非交互性质，简单明了，介绍了零知识证明中常用的Fiat-Shamir变换

区块链中的数学零知识证明 Sigma协议

更新于2021-05-05 12:49 阅读(793) 点赞(0) ( 5 )

在任意的零知识证明系统中，都有一个 prover 在不泄漏任何额外信息的前提下要让 verifier 确信某些陈述（Statement）是正确的。ZK-SNARK目前应用较多，有不少成熟的库，如libsnark,bellman等.

区块链中的数学零知识证明

更新于2021-04-24 12:18 阅读(657) 点赞(1) ( 18 )

RSA Accumulator非成员证明，能够进行假如用Accumulator纪录一个UTXO 集合，证明某个UTXO不存在等场景。

区块链中的数学 RSA算法累加器

更新于2021-04-19 12:44 阅读(652) 点赞(0) ( 2 )