智能合约

本篇文章介绍了对Fireblocks升级可转让代币的审计过程及其结果，主要关注ERC-1155标准的实现及其附加的访问控制功能。审计中发现了12个问题，其中1个为低级别问题，并提出了多项改进建议，以提升代码质量和文档清晰度。

这篇文章对Fireblocks的Gasless合同进行了全面的审计分析，详细介绍了系统架构、功能、存在的低级别问题以及解决方案。文章强调了GaslessFactory合约的功能和限制，并提出了多项改进建议，以提升其可用性和效率。此外，审计发现了多个代码问题，并已通过合并请求予以解决。

本文介绍了Certora Equivalence Checker工具，旨在帮助开发者优化DeFi产品的智能合约，解决Gas消耗、安全性和市场发布速度之间的三重困境。通过比较不同版本的代码，工具能有效检测潜在的低严重性和高严重性漏洞，并加强开发过程中的形式验证，确保代码的功能等价性。

本文介绍了zksync SSO账户抽象的审计结果，包括安全模型、设计选择、潜在的安全问题以及高、中、低严重性的问题。文章详细列出了每个问题的描述、解决建议及其优先级，并对代码的生产就绪度进行了评估。结尾部分强调了该代码库的灵活性和健壮性，鼓励开发团队进行必要的改进与增强测试。

本文详细介绍了以太坊虚拟机（EVM）的工作原理及其在以太坊区块链中的重要性，解释了其架构、设计及如何管理智能合约的执行。此外，还提到了EVM的状态转换功能和关键优势，包括Turing完备性和去中心化的应用能力。

这篇文章详细介绍了以太坊中的“账户抽象”技术，重点阐述了绑定器（Bundler）的作用和工作机制。文章结构清晰，深入探讨了绑定器如何处理用户操作，并分析了它们的经济模型和成本结构。

本文是一个入门级指南，介绍如何使用Solidity创建并部署一个简单的'Hello World'智能合约。文章结构清晰，以多个部分详细解释了所需的基础知识、创建过程和与合约的互动，适合想要学习Web3开发的读者。

PoolManager 是 Uniswap v4 的核心合约，负责管理所有池子的状态和对外接口。它提供了流动性管理、代币交易、余额结算等功能，并通过一系列接口和参数来实现对池子的操作，同时保证合约的安全性和高效性.

本文介绍了如何使用 Solana Certora Prover (SCP) 检测 SPL Token 2022 中的一个关键漏洞，特别是在处理提现过程时验证加密公钥与 ZK 证明的一致性。详述了验证模拟和解决方案的实现，以及使用 SCP 进行形式验证的优势和面临的挑战。

文章详细介绍了Tenderly与ChainSecurity合作的CTF挑战，包括多个智能合约的安全漏洞分析和攻击实现，展示了对Solidity编程、合约漏洞以及攻击手法的深入理解与分析。每个挑战都包含了合约代码示例和相应的攻击逻辑，适合对区块链安全有一定基础的读者学习和参考。

Certora提供了一种解决智能合约安全问题的工具套件，通过其自动化验证技术，帮助开发者检测合约中的漏洞，并确保其安全性。文章详细介绍了Certora Prover的工作原理、与传统审计和测试方法的比较，以及其在多个实际案例中检测到的严重漏洞，展现了其在智能合约安全领域的重要价值。

本文为以太坊开发新手提供了一份关于如何使用Solidity编写智能合约的详细指南。文章介绍了以太坊、智能合约和Solidity的基本概念，并提供了一个简单的智能合约示例与部署步骤，适合初学者学习。该指南还强调了Ropsten测试网的使用，并提供了有关设置和使用Remix IDE的说明。

本文详细探讨了区块链数据的各个方面，包括链上数据和链下数据，区块链索引和子图等。文章深入介绍了链上数据的定义、存储和访问方法，并涵盖了与智能合约、交易数据、元数据、事件数据等相关的技术细节。

本文提出了一种机制以将RIP-7560交易的验证与执行分开，从而简化区块构建过程，同时防止针对区块构建器的拒绝服务攻击。新机制通过定义BUNDLE_TRANSACTION_TYPE来组合AA交易包，确保所有验证框架先于执行框架执行，降低了构建区块时的计算复杂性，对现有智能合约的兼容性影响较小。

本文全面介绍了区块链索引器的概念及其运作方式，强调了索引器在可搜索链上数据中的重要性，并探讨了索引器解决的数据访问、查询性能和DApp开发等关键问题。文中还提供了索引器的组件、使用案例及选择索引器的建议，内容丰富细致。