开始鼓捣之前,我希望我知道的。 近年来,椭圆曲线BLS12-381逐渐火了起来。许多协议都将其应用到了数字签名和零知识证明中:Zcash、Ethereum 2.0、Skale、Algorand、Dfinity、Chia 等等。 不幸的是,现有的关于 BLS12-381 的资料里充满着晦涩的咒语,比如
在第 3 部分中,我们将深入探讨合约存储的工作原理,通过提供一些思维模式来帮助理解并深入了解存储插槽包装(slot packing)。
Web3 账户相关概念大梳理
在第 2 部分中,我们将开启内存之旅,全面了解合约的内存以及它在 EVM 上的工作方式。
本文涵盖了从 Web3 节点基础设施到 layer1 区块链网络如何工作,所有你需要的知识点。
本篇重点介绍编译后的字节码以及其如何被 EVM 执行的。
这篇文章将会涉及到开发一个 DApp 所涵盖的几乎所有方面内容,因此,它会非常冗长繁琐,如果你对某一方面特别感兴趣,我建议你可以通过右边这个目录直接跳去感兴趣的章节阅读。另外,这篇文章并不是 Step by Step 的代码教学范例,因此,跳跃章节阅读并不会影响体验。
如果你是一个内容创作者,你希望在生活在哪一片互联网中?
当Web3这个概念再次兴起的时候,估计很多像我一样始终关注IT发展又上了些年纪的朋友可能会发出这样的疑问:“这玩意不是很多年前就有了吗?”
翻译一篇我个人认为很非常有用的入门资料,如果你是小白,基本上看了这一篇也对区块链技术有了比较清晰的了解了。
本文介绍另一种基于plonk的proof system--halo2,目前看到基于plonk的工程实现有三种:bellman, dusk, halo2.
本文将介绍一种新的椭圆曲线实例-- Baby Jubjub Elliptic Curve。
本文主要介绍plookup算法的思路
本文介绍的这些知识点是理解plookup的基础
环签名,目前在隐私Monero项目中有所应用
盲签名可以看成结合普通签名的变种,实现特殊的应用。RSA方案简单易解,实际代码工程是要有额外一些处理的,可能需要填充等。
本文继续讲sigma协议相关的引申和应用!
本文介绍Sigma协议的交互和非交互性质,简单明了,介绍了零知识证明中常用的Fiat-Shamir变换
在任意的零知识证明系统中,都有一个 prover 在不泄漏任何额外信息的前提下要让 verifier 确信某些陈述(Statement)是正确的。ZK-SNARK目前应用较多,有不少成熟的库,如libsnark,bellman等.