SNARKs和STARKs是零知识证明技术,允许一方在不透露任何进一步信息的情况下向另一方证明陈述是真实的。零知识证明(ZKP)引起了广泛关注,因其在增强安全性、保护用户隐私和支持第2层网络扩展方面都有很大的潜力。
零知识证明正变得越来越流行,但可能很难找到入门资料。在花了一些时间研究这个主题之后,我整理了我学到的东西,希望它能帮助大家入门零知识证明编程。
零知识技术是密码学的一个分支,零知识证明可以让用户在不透露信息的前提下证明自己知道或拥有信息。
本文介绍了如何在 zk 证明中有效地使用 KZG 承诺,提高证明验证的效率。
zkLLVM电路编译器介绍编写电路很难。如果从零开始,那就是难上加难。在尝试了不同的方法之后,我们认为zkLLVM是简化过程,并使之高效的关键。编写电路时的主要问题之一
随着 zkSync、Starknet 和 Polygon zkEVM 即将推出的代币,ZK-rollup加密叙事继续深入布局。
多项式承诺正在重塑整个区块链的架构,不论是在链的数据结构优化上,模块化区块链的数据可用性上,还是零知识证明系统上都将大有作为。
在本文中,我们将研究使 zkEVM 成为可能的技术进展。我将尽量简化以使其易于理解。以下是推动 zkEVM 进步的四项技术进展
通过本文我们来共同了解一下什么是模块化。
本期内容我们将继续介绍另外两种零知识证明类型ZK-STARK和递归ZK-SNARK?
本篇文章将介绍 Geth 代码库,了解以太坊的 “世界状态”,以此加深对 EVM 的整体理解。
零知识证明(Zero-knowledgeproofs)是一种在不暴露声明本身的情况下证明声明有效性的方法。
本文对于区块链4.0时代下,实现后量子区块链的必要性进行了阐述,并总结了主流的后量子密码方案和相关理论研究,最后提出了笔者对于未来后量子跨链技术的看法。
零知识证明(Zero-knowledgeproofs)是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK证明也称为有效性证明,最初用于隐藏以隐私为中心的区块链中的交易细节。
Paillier 同态加密算法
在第 3 部分中,我们将深入探讨合约存储的工作原理,通过提供一些思维模式来帮助理解并深入了解存储插槽包装(slot packing)。
公钥加密的旧篇章即将结束,新篇章即将开启。在20世纪70年代末完成的工作对我们很有帮助,但现在我们面临着量子计算机会打破这些方法的威胁。
元宇宙这个概念最近大热,应该大家都多少有所耳闻,那最近元宇宙是什么呢?我们能依赖元宇宙做什么呢?现实里应用会有哪些?
Web3 账户相关概念大梳理
在第 2 部分中,我们将开启内存之旅,全面了解合约的内存以及它在 EVM 上的工作方式。