本文详细介绍了Fireblocks的可升级ERC20代币合约的审计过程,涵盖了系统概述、权限角色及信任假设。总结中指出发现了一项低严重性问题,并提出了多个提高代码质量和文档的建议。最重要的是,该代币合约支持访问控制功能,符合ERC-20标准。
本篇文章介绍了对Fireblocks升级可转让代币的审计过程及其结果,主要关注ERC-1155标准的实现及其附加的访问控制功能。审计中发现了12个问题,其中1个为低级别问题,并提出了多项改进建议,以提升代码质量和文档清晰度。
Uniswap V4 DeltaResolver 是一个抽象合约,主要功能包括向 PoolManager 合约同步、转移代币及结算资金。其包含多个方法,如 _pay、_getFullDebt、_getFullCredit、_take、_settle 等。
这篇文章对Fireblocks的Gasless合同进行了全面的审计分析,详细介绍了系统架构、功能、存在的低级别问题以及解决方案。文章强调了GaslessFactory合约的功能和限制,并提出了多项改进建议,以提升其可用性和效率。此外,审计发现了多个代码问题,并已通过合并请求予以解决。
本文介绍了Certora Equivalence Checker工具,旨在帮助开发者优化DeFi产品的智能合约,解决Gas消耗、安全性和市场发布速度之间的三重困境。通过比较不同版本的代码,工具能有效检测潜在的低严重性和高严重性漏洞,并加强开发过程中的形式验证,确保代码的功能等价性。
本文介绍了zksync SSO账户抽象的审计结果,包括安全模型、设计选择、潜在的安全问题以及高、中、低严重性的问题。文章详细列出了每个问题的描述、解决建议及其优先级,并对代码的生产就绪度进行了评估。结尾部分强调了该代码库的灵活性和健壮性,鼓励开发团队进行必要的改进与增强测试。
本文是一个入门级指南,介绍如何使用Solidity创建并部署一个简单的'Hello World'智能合约。文章结构清晰,以多个部分详细解释了所需的基础知识、创建过程和与合约的互动,适合想要学习Web3开发的读者。
文章详细介绍了Tenderly与ChainSecurity合作的CTF挑战,包括多个智能合约的安全漏洞分析和攻击实现,展示了对Solidity编程、合约漏洞以及攻击手法的深入理解与分析。每个挑战都包含了合约代码示例和相应的攻击逻辑,适合对区块链安全有一定基础的读者学习和参考。
本文详细讲解了如何使用Foundry和QuickNode对以太坊区块链进行fork,允许开发者在一个镜像真实链的环境中测试智能合约及其交互。包括Forking的原因、使用Foundry的优势、QuickNode的设置步骤以及如何进行基本的合约互动和账户模拟。文章结构清晰,有具体的步骤和代码示例,适合对以太坊开发有一定基础的开发者阅读。
本文为以太坊开发新手提供了一份关于如何使用Solidity编写智能合约的详细指南。文章介绍了以太坊、智能合约和Solidity的基本概念,并提供了一个简单的智能合约示例与部署步骤,适合初学者学习。该指南还强调了Ropsten测试网的使用,并提供了有关设置和使用Remix IDE的说明。
本文详细探讨了Solidity中的数组,介绍了动态数组与固定数组的区别,以及存储数组与内存数组的特点和用法。作者还分析了映射与数组的比较,以及如何声明和初始化数组。此外,文章提供了对Solidity数组的常见错误的故障排除建议,适合希望深入了解编程语言的开发者。
本文对OpenZeppelin的Uniswap Hooks库进行了审计,涵盖了各类Hook的安全性及逻辑实现,详细列出关键问题,包括安全漏洞、逻辑缺陷和潜在改进意见。审计指出必须采用必要的访问控制与文档化措施来确保合约的安全性,并提供了关于如何改进合约实施的建议。
本文详细介绍了EIP-1167标准,即最小代理合约,用于廉价创建代理克隆。文章深入解析了其工作原理、字节码结构、初始化函数及实际应用示例,帮助开发者理解如何高效部署相似合约。
本文是一个全面的指南,教你如何在 Arbitrum Nova 上创建和部署一个 10,000 个 NFT 的集合。详细讲解了所需工具、设置开发环境、创建 NFT 合约、上传元数据到 IPFS,以及如何在 NFT 市场上铸造和展示这些 NFT,适合对区块链和 Solidity 有一定基础的人士阅读。
本文介绍了 Avalanche 区块链的基本结构及其功能,详细讲解了如何为 Avalanche 网络配置 Coinbase 钱包,如何将智能合约部署到 Fuji 测试网,以及如何创建一个与合约交互的 React 前端应用。通过本教程,读者能够理解 Avalanche 的工作原理,并掌握构建基于 Avalanche 的去中心化应用的实践步骤。