Matter-Labs开源了PLONK算法的验证电路,能实现多个PLONK证明的聚合证明。聚合电路证明某个证明可验证,并且验证使用的VK是正确的。注意的是,PLONK算法验证的最后一步(配对函数)并没有在电路中验证,而是依赖智能合约进行验证。
死磕以太坊源码分析之区块上链入库
死磕以太坊源码分析之downloader同步
死磕以太坊源码分析之Fetcher同步
zk-SNARK 是如何实现零知识证明的
在Hyperledger Fabric中,节点间同步数据采用的是Gossip协议,当节点因为异常缺少账本数据时,可以通过Gossip协议从邻近的节点获得账本数据,保证集群中节点账本的一致性。
Gossip
Ewasm 是以太坊2.0时代用于替换evm虚拟机的一个新的虚拟机实现,它汲取了webAssembly 的优势,将其应用到以太坊2.0虚拟机的实现,可以方便开发者利用多种语言实现智能合约并且运行在以太坊平台
系列二 - 主要介绍了比特币POW之所以不可扩展的原因和两个可扩展POW的思路
本系列详细地解释扩容和区块链不可能三角
本文收集了关于零知识证明的一些学习资料(包括科普文章,论文,开源仓库及相关学习网站等),并对这些资源进行了整理分析,希望能对大家有所帮助。