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

区块链中的数学 - Halo2 Circuit

本文介绍另一种基于plonk的proof system--halo2，目前看到基于plonk的工程实现有三种:bellman, dusk, halo2.
零知识证明  zkSNARK  PLONK  Halo2 

零知识证明 - zkEVM解读

AppliedZKP公开了zkEVM的设计思路。zkEVM采用数据总线（Bus Mapping）的思路，将存储和计算分开。在Bus Mapping抽取了正确的存储数据的基础上，State proof证明数据的一致性，EVM proof证明计算逻辑的正确性。
零知识证明  Layer2  zkEVM  zkSNARK  ZK Rollup 
  • Star Li
  • 发布于 2021-09-02
  • 阅读 ( 3979 )

ZKopru：结合 ZKP 和 Optimistic Rollup

Zkopru 已临近完成，本文解释了其设计和精妙之处。同时我们也会宣布测试网开启的时间。
Layer2  零知识证明  扩容  OP Rollup  zkopru 
  • EthFans
  • 发布于 2021-08-19
  • 阅读 ( 2754 )

Dark Forest - 采用零知识证明技术的游戏

Dark Forest是一款实时策略游戏。星球的移动和攻占是整个游戏的策略重点。为了在不公开星球坐标的情况，还能证明星球的移动正确，引入了零知识证明技术。
零知识证明  Dark Forest 
  • Star Li
  • 发布于 2021-08-17
  • 阅读 ( 3591 )

zkEVM - Hermez设计思路

Hermez团队负责人Jordi Baylina比较清晰地给出了zkEVM大体的设计思路。本文梳理一下对zkEVM设计的理解。抛砖引玉，有理解偏差，小伙伴们可以留言讨论。
零知识证明  Layer2  zkEVM  Polygon zkEVM 
  • Star Li
  • 发布于 2021-08-11
  • 阅读 ( 3180 )

区块链中的数学 - Baby Jubjub Elliptic Curve

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

零知识证明 - Plookup算法介绍

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

简明理解零知识证明历史、原理与发展现状

零知识证明已在区块链领域大放异彩，包括第一个实现 zkSNARK 的匿名加密货币 Zcash 和 Layer 2 的主要解决方案 ZK Rollup。
零知识证明  密码学 
  • 链闻
  • 发布于 2021-07-15
  • 阅读 ( 6941 )
  • ( 8 )

区块链中的数学 - 何谓零知识证明?

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

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

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

用大白话解释 Taproot 对隐私性的影响

介绍我们所了解到的关于比特币隐私性和 Taproof 可扩展性的未来可能性。
Taproot  隐私  比特币 
  • EthFans
  • 发布于 2021-01-17
  • 阅读 ( 2798 )
  • ( 11 )

零知识证明 - 深入理解powersoftau

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

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

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

月：风华绝代的正义 | 狗哥隐私保护系列之公开可验证密文账本

多组织多群主区块链部署+WeId组件可视化部署
隐私保护 
  • 李大狗
  • 发布于 2020-10-08
  • 阅读 ( 3270 )
  • ( 44 )

零知识证明 - PLONK电路原理

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

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

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

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

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

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

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

非对称加密Rsa数字签名Go实战

本文介绍了如何使用非对称加密来实现信息安全领域中热点话题-数字签名
RSA算法  go 
  • potaxie
  • 发布于 2020-07-18
  • 阅读 ( 6122 )
  • ( 266 )

Monero技术详解（四）：隐藏交易数额之Pederson承诺

Monero隐藏用户交易数量技术之一——Pedersen承诺
Monero 
  • victorsun
  • 发布于 2020-07-09
  • 阅读 ( 5404 )
  • ( 87 )