全部 以太坊 比特币 入门/理论 DeFi 扩容 零知识 NFT 联盟链 公链 安全 跨链 分布式存储 资讯 其他

zkSync 2.0 开发者更新

计划延迟、逐步推出测试网和主网公平上线
zkSync 2.0 
  • EthFans
  • 发布于 2021-09-21
  • 阅读 ( 155 )

零知识证明 - Plookup算法介绍

最近有空看了看Plookup的论文。针对对电路描述不友好的操作（比如bit操作），Plookup给出了新的思路和证明方式。给定某个操作的真值表示（lookup table），证明某个操作的输入/输出是在真值表中。这种方式，相对之前的bit计算约束方式，降低约束的个数，提高了电路效率。
零知识证明  Plookup 
  • Star Li
  • 发布于 2021-07-26
  • 阅读 ( 300 )

零知识证明 - 深入理解PlonK算法

PlonK算法实现了Universal的零知识证明。SRS只需要提供比多项式阶高的可信设置即可。PlonK电路采用特殊描述，一个门只支持乘法和加法操作。电路需要证明门的输入输出满足外，还需要证明连线的连接关系。PlonK算法的底层原理是多项式承诺。PlonK算法巧妙地将电路的满足关系通过多项式承诺进行证明并验证。
PLONK  零知识证明 
  • Star Li
  • 发布于 2021-01-29
  • 阅读 ( 744 )

零知识证明 - 深入理解powersoftau

powersoftau，采用MPC以及随机Beacon，完成可信设置。通过POK算法实现可验证的密钥对，并建立和上一个参与方计算结果的绑定。参与可信设置的人数可扩展，并且参与方只需要按照顺序一个个的进行指定的计算即可。协调方在接收到某个参与方的计算后，验证后，发送给下一个参与方。
powersoftau  零知识证明 
  • Star Li
  • 发布于 2020-12-24
  • 阅读 ( 691 )
  • ( 4 )

彻底读懂零知识证明及其实现方法：解析zk-SNARK

zk-SNARK 是如何实现零知识证明的
zk-SNARK  零知识证明 
  • 李画
  • 发布于 2020-11-02
  • 阅读 ( 1352 )
  • ( 145 )

零知识证明 - PLONK电路原理

PLONK算法的电路采用新的描述模型。整个电路由门电路约束和Copy约束（连线约束）组成。门电路约束和Copy约束都转换为多项式表达。Copy约束通过累加算法实现。
零知识证明 
  • Star Li
  • 发布于 2020-10-06
  • 阅读 ( 1047 )
  • ( 24 )

零知识证明 - Zkopru Layer2隐私协议介绍

Zkopru利用零知识证明在以太坊上实现layer2隐私交易的新方案
Layer2  零知识证明  隐私  交易  以太坊 
  • Star Li
  • 发布于 2020-09-17
  • 阅读 ( 891 )
  • ( 33 )

EthWorks：零知识证明与区块链扩展，Part-1

通过本文，我们想要分享我们与区块链开发者乃至整个区块链社区进行可扩展性研究所得出的成果。我们相信，本文将帮助大家了解零知识证明和二层可扩展性方案的潜力，同时更深入地理解这些技术
零知识证明  Rollup 
  • EthFans
  • 发布于 2020-07-27
  • 阅读 ( 821 )
  • ( 28 )

零知识证明 - 理解FFT的蝶形运算

利用Groth16计算证明之前，需要计算出H。目前，普遍采用的是FFT算法。
零知识证明  FileCoin 
  • Star Li
  • 发布于 2020-07-20
  • 阅读 ( 1647 )
  • ( 18 )

零知识证明介绍

在接下来一个系列的文章中将为你一一介绍，从零知识证明的概念一直到零知识证明背后的密码学实现。
零知识证明  ZoKrates  libsnark  zk-SNARK  zk-stark 
  • 吴寿鹤
  • 发布于 2020-06-30
  • 阅读 ( 2300 )
  • ( 170 )

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

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

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

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

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

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

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

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

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

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

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

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

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

[译]几种通用的zk-SNARKs 实现的比较

几种通用的zk-SNARKs 实现的比较
zk-SNARK 
  • 石头
  • 发布于 2020-02-20
  • 阅读 ( 2162 )
  • ( 73 )

从零开始学习zk-SNARK(五)—Pinocchio 协议

作为本系列的最后一篇文章，本文继续对 zk-SNARK 协议进行完善，最终形成一个完整的 zk-SNARK 协议
zk-SNARK 

从零开始学习zk-SNARK(四)—多项式的约束

上一篇文章中我们学习了如何将程序转换为多项式进行证明。到这里似乎已经有点晕了，本文将对协议执行进一步的约束，并对协议展开优化。
zk-SNARK 

从零开始学习zk-SNARK(三)—从程序到多项式的构造

前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式的算术性质，多项式插值等。
zk-SNARK