零知识证明编码入门

零知识证明正变得越来越流行,但可能很难找到入门资料。在花了一些时间研究这个主题之后,我整理了我学到的东西,希望它能帮助大家入门零知识证明编程。

  • aisiji
  • 发布于 2023-02-24
  • 阅读 ( 2377 )
  • ( 39 )

一文读懂零知识证明区块链项目

零知识技术是密码学的一个分支,零知识证明可以让用户在不透露信息的前提下证明自己知道或拥有信息。

  • Chainlink
  • 发布于 2023-02-13
  • 阅读 ( 2026 )
  • ( 37 )

如何在证明中使用 KZG 承诺

本文介绍了如何在 zk 证明中有效地使用 KZG 承诺,提高证明验证的效率。

zkLLVM电路编译器

zkLLVM电路编译器介绍编写电路很难。如果从零开始,那就是难上加难。在尝试了不同的方法之后,我们认为zkLLVM是简化过程,并使之高效的关键。编写电路时的主要问题之一

2023年值得期待的加密叙事之 ZK-rollups

随着 zkSync、Starknet 和 Polygon zkEVM 即将推出的代币,ZK-rollup加密叙事继续深入布局。

  • Tokenview
  • 发布于 2023-02-03
  • 阅读 ( 1454 )
  • ( 9 )

zkEVM 背后的技术发展:从多项式承诺到硬件加速

在本文中,我们将研究使 zkEVM 成为可能的技术进展。我将尽量简化以使其易于理解。以下是推动 zkEVM 进步的四项技术进展

  • XPTY
  • 发布于 2023-01-30
  • 阅读 ( 1332 )

零知识证明| 什么是ZK-STARK以及有哪些技术优势?

本期内容我们将继续介绍另外两种零知识证明类型ZK-STARK和递归ZK-SNARK?

  • Tokenview
  • 发布于 2023-01-09
  • 阅读 ( 1540 )
  • ( 7 )

什么是零知识证明,如何守护Web3隐私?|Tokenview

零知识证明(Zero-knowledgeproofs)是一种在不暴露声明本身的情况下证明声明有效性的方法。

  • Tokenview
  • 发布于 2022-12-29
  • 阅读 ( 2023 )
  • ( 15 )

什么是 零知识证明:ZK-SNARKs?|Tokenview

零知识证明(Zero-knowledgeproofs)是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK证明也称为有效性证明,最初用于隐藏以隐私为中心的区块链中的交易细节。

  • Tokenview
  • 发布于 2022-12-23
  • 阅读 ( 3214 )
  • ( 25 )

密码学:后量子密码学中的模数是多少?

公钥加密的旧篇章即将结束,新篇章即将开启。在20世纪70年代末完成的工作对我们很有帮助,但现在我们面临着量子计算机会打破这些方法的威胁。

零知识证明 - FPGA vs. GPU

本文从MSM的计算入手,分析FPGA和GPU加速零知识证明计算的优缺点。

  • Star Li
  • 发布于 2022-09-19
  • 阅读 ( 5047 )

使用 SNARKs 批处理 ECDSA 签名

我们带来了 circom-batch-ECDSA,一个基于circom-ECDSA(由0xPARC 社区中其他人之前完成的工作)之上的概念验证实现,其灵感来自halo2-batch-ECDSA,它允许在单个 SNARK 中显著更快地验证一批 ECDSA 签名。

  • XPTY
  • 发布于 2022-09-14
  • 阅读 ( 1671 )

关于Groth16延展攻击

Geometry是Kobi Gurkan 等人所在的一个新成立不久的研究组织,Kobi本人曾给ZK HACK 出过9道puzzles,这次又合作给出了这个关于Groth16延展攻击的新puzzle:ZK Hack x Geometry Puzzle I

  • XPTY
  • 发布于 2022-08-17
  • 阅读 ( 1294 )

零知识证明 - 从Puzzle理解线性相关

zkHack发布了新的Puzzle。虽然Puzzle用的比较老的Groth16算法,Puzzle的内容非常有趣,对理解零知识证明,多项式,线性相关等等知识非常有帮助。

  • Star Li
  • 发布于 2022-08-16
  • 阅读 ( 1662 )

零知识证明 - PLONK算法零知识性问题

PLONK的原始论文存在一个零知识性的问题。商t多项式没有添加随机性,导致simulator不能模拟出证明。

  • Star Li
  • 发布于 2022-07-29
  • 阅读 ( 1848 )

zkMove 第一次公开亮相

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

零知识证明 - 深入理解Zinc

Zinc语言是一种智能合约语言,能方便的构建其对应的电路。Zinc开发的程序,编译成ZincVM指令,并在ZincVM执行并构建电路。构建电路的过程是将指令顺序执行,跟踪以及统一数据流。因为ZincVM构建电路需要将代码“静态”展开,所以Zinc不支持图灵完备。

  • Star Li
  • 发布于 2022-07-08
  • 阅读 ( 1613 )

深入了解编程语言

在本章中,我们将与您分享 2021 年 GitHub 上的一些顶级编程语言存储库(PL repos),这些存储库以不同的指标衡量,包括星数、PR、贡献者、国家、地区等。

[零知识证明]基于bls12-381生成秘密随机点

一个多方协同计算生成椭圆曲线上的秘密点的思路与实现,可以应用于随机数,身份验证等等

  • Alvan
  • 发布于 2022-07-05
  • 阅读 ( 1811 )
  • ( 7 )

零知识证明 - Halo2开发常见错误(Custom Gate)

使用Halo2开发电路,不可避免会设计custom gate。在实际开发custom gate的过程中,经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。

  • Star Li
  • 发布于 2022-06-24
  • 阅读 ( 1792 )