DeFi领域中的rounding errors漏洞依然普遍存在,可能导致重大损失。文章解释了rounding errors的成因、危害以及难以被人类发现的原因,并通过Juice Finance的案例展示了如何利用Formal Verification技术来检测和预防此类漏洞,强调了Formal Verification在保障DeFi协议安全中的作用。
本文详细介绍了以太坊智能账户的四种主要模型,包括ERC-5189、ERC-4337、RIP-7560和EIP-7701,阐明了这些模型如何提高账户的自我管理能力和交易的灵活性。作者探讨了每个模型的结构、工作机制和潜在风险,为理解以太坊账户抽象提供了深入分析和对比。
本文展示了在编写智能合约时需要遵循的一系列模式和规范。
本文收集了关于零知识证明的一些学习资料(包括科普文章,论文,开源仓库及相关学习网站等),并对这些资源进行了整理分析,希望能对大家有所帮助。