随着 zkSync、Starknet 和 Polygon zkEVM 即将推出的代币,ZK-rollup加密叙事继续深入布局。
多项式承诺正在重塑整个区块链的架构,不论是在链的数据结构优化上,模块化区块链的数据可用性上,还是零知识证明系统上都将大有作为。
在本文中,我们将研究使 zkEVM 成为可能的技术进展。我将尽量简化以使其易于理解。以下是推动 zkEVM 进步的四项技术进展
本文介绍了如何使用JavaScript中的zk-SNARK技术,特别是通过Circom和SnarkJS库来生成和验证零知识证明。首先解释了零知识证明的基本概念及其在区块链中的应用,接着介绍了如何安装Circom和SnarkJS,并详细说明了如何编写电路代码以生成证明,最后展示了验证证明的步骤。读者在完成后应该对如何在JavaScript项目中实现zk-SNARK有初步的理解和实践能力。
本期内容我们将继续介绍另外两种零知识证明类型ZK-STARK和递归ZK-SNARK?
零知识证明(Zero-knowledgeproofs)是一种在不暴露声明本身的情况下证明声明有效性的方法。
零知识证明(Zero-knowledgeproofs)是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK证明也称为有效性证明,最初用于隐藏以隐私为中心的区块链中的交易细节。
公钥加密的旧篇章即将结束,新篇章即将开启。在20世纪70年代末完成的工作对我们很有帮助,但现在我们面临着量子计算机会打破这些方法的威胁。
本文从MSM的计算入手,分析FPGA和GPU加速零知识证明计算的优缺点。
本文深入探讨了SNARK(简洁非交互式知识论证)的性能、成本和安全性,尤其是在与量子安全相关的背景下。它比较了不同类型的SNARK及其在去中心化设置中的应用,同时提出了确保SNARK安全性和性能的建议。
我们带来了 circom-batch-ECDSA,一个基于circom-ECDSA(由0xPARC 社区中其他人之前完成的工作)之上的概念验证实现,其灵感来自halo2-batch-ECDSA,它允许在单个 SNARK 中显著更快地验证一批 ECDSA 签名。
Geometry是Kobi Gurkan 等人所在的一个新成立不久的研究组织,Kobi本人曾给ZK HACK 出过9道puzzles,这次又合作给出了这个关于Groth16延展攻击的新puzzle:ZK Hack x Geometry Puzzle I
zkHack发布了新的Puzzle。虽然Puzzle用的比较老的Groth16算法,Puzzle的内容非常有趣,对理解零知识证明,多项式,线性相关等等知识非常有帮助。
SNARKs(Succinct Non-interactive Arguments of Knowledge)是一种重要的密码学原语,主要用于区块链的可扩展性和隐私保护。文章详细介绍了SNARK的原理、实现过程和项目成本估算。同时,探讨了SNARK在各种应用场景下的费用问题,并分析了前端和后端的瓶颈及其对SNARK性能的影响。这篇文章为继续优化SNARK提供了有效的见解。
PLONK的原始论文存在一个零知识性的问题。商t多项式没有添加随机性,导致simulator不能模拟出证明。
前段时间应 Move 核心开发者 zrt 之邀,在 Move 社区的周会上做了一个分享,介绍了 zkMove 的整体架构并演示了其命令行工具的使用,这应该算是 zkMove 第一次公开亮相。我整理了一下相关内容,欢迎感兴趣的朋友一起探讨。
Zinc语言是一种智能合约语言,能方便的构建其对应的电路。Zinc开发的程序,编译成ZincVM指令,并在ZincVM执行并构建电路。构建电路的过程是将指令顺序执行,跟踪以及统一数据流。因为ZincVM构建电路需要将代码“静态”展开,所以Zinc不支持图灵完备。
一个多方协同计算生成椭圆曲线上的秘密点的思路与实现,可以应用于随机数,身份验证等等
使用Halo2开发电路,不可避免会设计custom gate。在实际开发custom gate的过程中,经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。
在计算的旧石器时代,计算机曾是机电的巨兽,每秒只可以执行几十次操作,但每年的成本却高达数百万美元。程序是通过细致的思考、在接线板中插入电线以及给卡片打孔来开发的。那个时候,bug就是是字面意义上的虫子,它们会啃咬电线,偶尔会导致短路,这可能会烧毁所有东西。
扫一扫 - 使用登链小程序
378 篇文章,1439 学分
209 篇文章,345 学分
66 篇文章,279 学分
115 篇文章,274 学分
187 篇文章,266 学分