Merkle树如果说有其不足之处的话,当叶子节点的数量级非常大,树层级数变多,在打开验证节点需要的merkle树证明路径也就越长,数据量就越大
scaffold-eth 为optimism 上开发提供一个新的分支 local-optimism 帮助上手optimism DApp 开发
local-optimism
NFT教程 - 如何展示Flow和 IPFS 上的NFT收藏品
Flow 创建 NFT 教程 - 第一部分
zkSync虽然采用PLONK零知识证明算法,但是电路的搭建开发采用的R1CS形式。zkSync电路处理包括:1/电路转换 2/PLONK证明计算。Transpile实现了电路的格式转换。电路转换的目的是获取:1/sigma函数 2/ 门系数多项式。
本文介绍了Kate承诺在多点披露验证的情况,当然还有一种就是多个多项式在多个不同点打开验证,相信如果本文理解的话,是可以自己推出来的,不在详述了。
通过将资产保存到IPFS,并将IPFS哈希值与资产的NFT关联起来,我们可以将资产的可验证所有权扩展到验证标的资产本身的有效性。
以太坊是中心,BSC也会有自己的位置。
各种L2解决方案现状
通过自定义网络API, 自动在钱包中添加网络。
与上一篇初步方案相比,Kate承诺实现了多项式的隐藏和部分打开验证,实际上方法1生成的结果在zk-snark项目中称为SRS(structure reference string)或者CRS(common reference string),是承诺方P和验证方V所共有,实际选择曲线配对不是对称的,而是非对称两个群,以后说到具体的项目代码可以看得比较清楚。
智能合约安全检查清单
目前为止的方案中, 承诺方造假的问题依然存在,仔细研究会发现问题关键在于承诺方P知道计算的输入变量r,z, 这样就有机会构造出新的多项式在r,z处取特定的值。如果P不知道r,z,就不能这样作弊了。于是Kate承诺选择在密文空间中进行计算。
死磕以太坊源码分析之Fetcher同步
通过实例学习,建立一个安全的高赌注随机数游戏
本文介绍了基于哈希时间锁的跨链资产交换,通过一套自动化Demo展示了以太坊和Fabric之间的资产交换。详细的Demo运行细节(包含下载Fabric容器、以太坊geth节点、启停Fabric和以太坊网络、部署htlc合约、运行htlc等操作)参考引用[5]指向的链接。
如何实现Solidity智能合约的安全随机数?
Pedersen基于门限的秘密分享方案实际上采用了Pedersen承诺来构建多项式系数承诺,这一点很容易从对比其他秘密分享方案得出!
安全性上 zkSync 更胜一筹,性能方面 everPay 可支持上万 TPS
如何将你的合约升级到Solidity 0.8?
扫一扫 - 使用登链小程序
59 篇文章,322 学分
37 篇文章,293 学分
108 篇文章,247 学分
22 篇文章,210 学分
9 篇文章,160 学分