zkMove 第一次公开亮相

前段时间应 Move 核心开发者 zrt 之邀,在 Move 社区的周会上做了一个分享,介绍了 zkMove 的整体架构并演示了其命令行工具的使用,这应该算是 zkMove 第一次公开亮相。我整理了一下相关内容,欢迎感兴趣的朋友一起探讨。

zk-stark实践

zk-stark意为零知识—可拓展的—透明的—知识论证,在区块链上的应用前景备受瞩目。它不仅能提供隐私功能,还能提供无需信任第三方的扩容功能。下面将从一个具体问题出发对 zk-stark进行实践

零知识 QAP问题的转化

本文是Vitalik写于2016年12月,用于介绍零知识证明的数学实现方式的论文。文章思路清晰,通俗易懂,也因此,该文成为区块链行业技术人员学习这方面知识的首选文章之一。

  • weinsh
  • 发布于 2022-05-30
  • 阅读 ( 454 )
  • ( 11 )

关于零知识证明的研究

本文对零知识证明的过程进行分析,希望读者可以对零知识证明的整体流程有所了解,后续讨论零知识证明原理的时候我们都是在放大讨论这篇文章中的某一部分,再去接触一些令人眼花缭乱的技术时,我们能够很清晰的知道,这项技术是解决了零知识证明的哪部分问题,针对哪部分进行了优化,就像文末介绍的较新的STARK中的AIR其实是用来替换r1cs作为另外一种描述NP问题的方式。

零知识证明 - 从puzzle解题深入ZK-STARK

这篇文章记录一下团队解题的思路以及学习STARK的过程。方便更多的小伙伴学习零知识证明相关技术。

  • Star Li
  • 发布于 2022-04-08
  • 阅读 ( 572 )

理解Groth16,一些细节上的说明

为什么要从R1CS转化到QAP?

聊一聊 zkMove (二)

本文是 zkMove 系列的第二篇文章,我们以 zkMove 最典型的使用场景 zk-rollup 为例来说明其工作原理。

ZK与以太坊扩容的未来

Arbitrum 最近发布了一篇精彩的文章:认为 Optimistic Rollups (OR) 代表了以太坊的未来,而我们有不同的观点

  • Luna Lau
  • 发布于 2022-01-25
  • 阅读 ( 749 )
  • ( 10 )

零知识证明 - Halo2电路构建源代码导读

理解Halo2,可以从两部分着手:1/ 电路构建 2/ 证明系统

  • Star Li
  • 发布于 2022-01-18
  • 阅读 ( 975 )

Plonky2入门指南 ——关于全世界最快的ZK技术

Plonky2入门指南 ——关于全世界最快的ZK技术

  • Luna Lau
  • 发布于 2022-01-13
  • 阅读 ( 1239 )
  • ( 23 )

zkSNARK实践(四)—— merkle证明

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

  • stirlingx
  • 发布于 2021-12-03
  • 阅读 ( 1105 )
  • ( 7 )

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

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

  • stirlingx
  • 发布于 2021-12-03
  • 阅读 ( 1053 )
  • ( 10 )

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

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

  • stirlingx
  • 发布于 2021-11-19
  • 阅读 ( 1028 )
  • ( 7 )

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

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

  • stirlingx
  • 发布于 2021-11-18
  • 阅读 ( 1293 )
  • ( 39 )

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

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

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

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

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

zkSync 2.0 开发者更新

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

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

零知识证明 - Plookup算法介绍

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

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

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

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

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

零知识证明 - 深入理解powersoftau

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

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