zkSNARK实践(四)—— merkle证明

merkle树在区块中应用非常广泛,比如比特币SPV节点,使用merkle树来验证一笔交易是否在区块中。

zkSNARK实践(三)—— 哈希函数的证明

哈希是一种常用的密码学工具,它可以把一个无限大的数据空间映射到另一个有限的数值空间。由于它的不可逆性,常用来隐藏一些信息。现在我们来分析一下怎么证明这类问题。

zkRollup 赛道,有何可期?

请关注StarkNet和zkSync 2.0 的主网版本,因为这是我们所知道的区块链扩容的未来。

zkSNARK实践(二)——指数方程的证明

zkSNARK实践(二)——指数方程的证明

zkSNARK实践(一)——多项式方程的证明

zkSNARK全称zero-knowledge Succinct Non-Interactive Arguments of Knowledge,翻译过来叫非交互式简洁零知识证明。网上关于zkSNARK的文章很多,几乎都只讲解它的数学原理。因为它实在太难了,...

  • stirlingx
  • 发布于 2021-11-18
  • 阅读 ( 237 )
  • ( 19 )

读懂 ZK-Rollups:如何带来 Crypto 生态系统的范式转变?

“对于其他L1区块链而言,未来的实现主义方案是放弃其多余的共识机制和数据可用性,转而成为一个ZK-Rollup或者Volition”

零知识证明 - KZG多项式承诺

零知识证明 - KZG多项式承诺

  • Star Li
  • 发布于 2021-10-15
  • 阅读 ( 218 )

一文读懂零知识证明(ZKP)

本文将详细探讨零知识证明如何保障隐私,而隐私保护是零知识证明对用户的核心价值。另外文中还会列举零知识证明在区块链上的各种用例,以及如何利用Chainlink的DECO​技术建立保护隐私的预言机网络,证明数据来自某一web服务器的同时保护数据隐私,并实现向后兼容。

  • Chainlink
  • 发布于 2021-09-23
  • 阅读 ( 913 )
  • ( 28 )

zkSync 2.0 开发者更新

计划延迟、逐步推出测试网和主网公平上线

  • EthFans
  • 发布于 2021-09-21
  • 阅读 ( 272 )

零知识证明 - zkEVM解读

AppliedZKP公开了zkEVM的设计思路。zkEVM采用数据总线(Bus Mapping)的思路,将存储和计算分开。在Bus Mapping抽取了正确的存储数据的基础上,State proof证明数据的一致性,EVM proof证明计算逻辑的正确性。

  • Star Li
  • 发布于 2021-09-02
  • 阅读 ( 515 )

ZKopru:结合 ZKP 和 Optimistic Rollup

Zkopru 已临近完成,本文解释了其设计和精妙之处。同时我们也会宣布测试网开启的时间。

  • EthFans
  • 发布于 2021-08-19
  • 阅读 ( 340 )

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

Dark Forest是一款实时策略游戏。星球的移动和攻占是整个游戏的策略重点。为了在不公开星球坐标的情况,还能证明星球的移动正确,引入了零知识证明技术。

  • Star Li
  • 发布于 2021-08-17
  • 阅读 ( 551 )

zkEVM - Hermez设计思路

Hermez团队负责人Jordi Baylina比较清晰地给出了zkEVM大体的设计思路。本文梳理一下对zkEVM设计的理解。抛砖引玉,有理解偏差,小伙伴们可以留言讨论。

  • Star Li
  • 发布于 2021-08-11
  • 阅读 ( 317 )

零知识证明 - Plookup算法介绍

最近有空看了看Plookup的论文。针对对电路描述不友好的操作(比如bit操作),Plookup给出了新的思路和证明方式。给定某个操作的真值表示(lookup table),证明某个操作的输入/输出是在真值表中。这种方式,相对之前的bit计算约束方式,降低约束的个数,提高了电路效率。

  • Star Li
  • 发布于 2021-07-26
  • 阅读 ( 402 )

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

零知识证明已在区块链领域大放异彩,包括第一个实现 zkSNARK 的匿名加密货币 Zcash 和 Layer 2 的主要解决方案 ZK Rollup。

  • 链闻
  • 发布于 2021-07-15
  • 阅读 ( 629 )
  • ( 8 )

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

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

  • Star Li
  • 发布于 2021-01-29
  • 阅读 ( 924 )

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

介绍我们所了解到的关于比特币隐私性和 Taproof 可扩展性的未来可能性。

  • EthFans
  • 发布于 2021-01-17
  • 阅读 ( 606 )
  • ( 11 )

零知识证明 - 深入理解powersoftau

powersoftau,采用MPC以及随机Beacon,完成可信设置。通过POK算法实现可验证的密钥对,并建立和上一个参与方计算结果的绑定。参与可信设置的人数可扩展,并且参与方只需要按照顺序一个个的进行指定的计算即可。协调方在接收到某个参与方的计算后,验证后,发送给下一个参与方。

  • Star Li
  • 发布于 2020-12-24
  • 阅读 ( 809 )
  • ( 4 )

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

zk-SNARK 是如何实现零知识证明的

  • 李画
  • 发布于 2020-11-02
  • 阅读 ( 1526 )
  • ( 145 )

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

多组织多群主区块链部署+WeId组件可视化部署

  • 李大狗
  • 发布于 2020-10-08
  • 阅读 ( 872 )
  • ( 44 )