在本文中,我们提出了对PLONK算术化 2 变体的折叠方案。扩展松弛PLONK 算术化,以接受2次自定义门和具有更高门扇入扇出数的电路。 最后,概述了未来工作的路径,包括折叠更高次的门、支持查找门和为松弛PLONK算术化设计 IOP。
哈希到曲线函数的技术现状,在secp256k1椭圆曲线上的应用,以及一般的哈希到曲线算法背后的一些安全考虑和性能优化。
零知识证明正变得越来越流行,但可能很难找到入门资料。在花了一些时间研究这个主题之后,我整理了我学到的东西,希望它能帮助大家入门零知识证明编程。
介绍一点配对的性质,其在密码学的应用和历史。
零知识技术是密码学的一个分支,零知识证明可以让用户在不透露信息的前提下证明自己知道或拥有信息。
本文介绍了如何在 zk 证明中有效地使用 KZG 承诺,提高证明验证的效率。
zkLLVM电路编译器介绍编写电路很难。如果从零开始,那就是难上加难。在尝试了不同的方法之后,我们认为zkLLVM是简化过程,并使之高效的关键。编写电路时的主要问题之一
随着 zkSync、Starknet 和 Polygon zkEVM 即将推出的代币,ZK-rollup加密叙事继续深入布局。
本文介绍了通过零知识证明(ZKP)在区块链上进行机器学习推理的成本和性能研究,重点分析了不同ZKP系统在处理AI模型时的生成时间和内存使用情况,并探讨了相关应用场景。
多项式承诺正在重塑整个区块链的架构,不论是在链的数据结构优化上,模块化区块链的数据可用性上,还是零知识证明系统上都将大有作为。
在本文中,我们将研究使 zkEVM 成为可能的技术进展。我将尽量简化以使其易于理解。以下是推动 zkEVM 进步的四项技术进展
本文介绍了如何使用JavaScript中的zk-SNARK技术,特别是通过Circom和SnarkJS库来生成和验证零知识证明。首先解释了零知识证明的基本概念及其在区块链中的应用,接着介绍了如何安装Circom和SnarkJS,并详细说明了如何编写电路代码以生成证明,最后展示了验证证明的步骤。读者在完成后应该对如何在JavaScript项目中实现zk-SNARK有初步的理解和实践能力。
本期内容我们将继续介绍另外两种零知识证明类型ZK-STARK和递归ZK-SNARK?
零知识证明(Zero-knowledgeproofs)是一种在不暴露声明本身的情况下证明声明有效性的方法。
文章介绍了零知识证明编程语言的工作原理,并列举了几种流行的零知识证明编程语言,如Circom、Zokrates、Noir和Cairo,同时讨论了它们在区块链和隐私保护中的应用。
零知识证明(Zero-knowledgeproofs)是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK证明也称为有效性证明,最初用于隐藏以隐私为中心的区块链中的交易细节。
Paillier 同态加密算法
公钥加密的旧篇章即将结束,新篇章即将开启。在20世纪70年代末完成的工作对我们很有帮助,但现在我们面临着量子计算机会打破这些方法的威胁。
本文从MSM的计算入手,分析FPGA和GPU加速零知识证明计算的优缺点。
本文汇总了一系列关于零知识技术的资源,其中包括零知识证明的基础、历史演变、应用以及相关论文的阅读列表。这些内容充分展示了零知识证明在区块链可扩展性和隐私保护应用中的重要性,涵盖了从理论到实践的多个方面,适合希望深入理解这一领域的读者。
扫一扫 - 使用登链小程序
378 篇文章,1929 学分
209 篇文章,370 学分
187 篇文章,334 学分
65 篇文章,271 学分
115 篇文章,235 学分