在最新的ZKPMooc课程中,Scroll的联合创始人张烨发表了关于zkEVM设计,优化和应用的演讲。Scroll在构建以太坊等效的ZK-Rollup,在字节码级别的兼容,直接支持所有现有的工具。
零知识证明(ZKP)正在因其在代理计算给不受信任的服务器,解决去中心化账本的可扩展性问题等方面的诸多应用而逐渐变得流行起来。
本文介绍了作者如何构建一个基于属性测试的工具 fuzzing-like-smarter-degen,用于检测智能合约中的漏洞。文章详细讨论了传统的单元测试的局限性,并介绍了模糊测试(fuzzing)的原理及其在智能合约安全检测中的应用。作者还介绍了如何通过假设库(Hypothesis)实现模糊测试,并展示了该工具的运行效果。
零知识证明使用场景分析,在 Rollup 之外,还可以应用在哪?
我们将依托上篇文章建立的框架,深入polygon zkEVM关于Sequencer和Bridge更多的技术细节,同时也探讨未来潜在的去中心化Sequencer架构的不同特点。
一旦闪电网络上有了稳定币和其它资产,就有可能直接在闪电网络上实现去中心化交易所功能,即,两个节点能够点对点完成比特币与其它资产的互换,不仅在交易速度和成本上比肩闪电网络付款,而且无需担心对手方风险。
PolygonzkEVM系列文章的第一篇,简要的阐述了polygonzkEVM的的整体架构和交易执行流程,并且分析了polygonzkEVM是如何实现计算扩容的同时继承以太坊的安全性的。
采用更高级的锁定策略(哪怕只是基础的多签设置,不依赖于隐性排序密钥)有可能通过设置超时时间、门限签名方案和额外的解锁路径为用户带来更高的安全性。
科普零知识证明,为什么需要零知识证明
本文对 Rust 中 Anchor 智能合约的账户大小计算进行了比较,分析了使用 _std::mem::sizeof 与 Anchor 官方空间参考之间的异同。尽管 _std::mem::sizeof 在大多数情况下准确,但在处理某些数据类型,如 Vec 和 Enum 时可能导致不一致的结果,因此建议开发人员根据 Anchor 文档手动计算账户大小。
ChainLink Automation、Gelato Network 和OpenZeppelin Defender 三个自动化合约执行工具对比。
本文介绍了 Snapshot 投票平台的架构。Snapshot 是一个开源的投票平台,允许组织轻松且无需 gas 费地进行投票。文章详细描述了 Snapshot 的技术架构,包括用户界面、后端逻辑(Sequencer、投票和验证策略、Score API),以及数据层(IPFS和MySQL数据库),并解释了投票过程中各组件的交互。
译者语:2023 年将迎来 zkEVM 大发展,让我们看看有哪些项目在进行 zkEVM 的研究,zkEVM 可以做什么
本文将介绍 PoS 机制下的时间表、验证者委员会的分配过程以及信标区块的组成。
通过stark证明实操python实现04
IVC 是一种强大的密码原语,它使我们能够以增量方式证明计算的完整性。 该策略非常适合虚拟机执行和具有动态控制流的通用程序.
本文探讨了Solana上的NFT压缩技术,降低了NFT在区块链上的存储成本,并通过Merkle树确保数据完整性,使得大规模NFT铸造成为可能。
如何使用Hardhat将ERC721 NFT合约部署到zkEVM Testnet上
多线程的使用
0xSplits 是一个收入拆分协议,为低 Gas 实现收入拆分提供了很好的实现思路。
扫一扫 - 使用登链小程序
200 篇文章,693 学分
490 篇文章,660 学分
131 篇文章,530 学分
66 篇文章,500 学分
413 篇文章,492 学分