智能合约是一种旨在以信息化方式传播、验证或执行合同的计算机协议。区块链是实现智能合约的一种重要方式，为其提供了去中心化的可信执行环境。但智能合约并非只有区块链这一种实现方式。本文将围绕区块链上的智能合约进行阐述。

web2转行web3需要的前置知识。

在Go语言中，select是一种用于处理多个通道（channel）操作的控制结构。它非常强大，常用于并发编程中，特别是在需要从多个通道中选择一个可用操作时。

为什么EIP-7702能被称为账户抽象“终极形态”？它到底解决了啥问题？Pectra 升级后对钱包、开发者和普通用户意味着什么？

Alloy赋能Web3：Rust区块链实战想用Rust玩转Web3？Alloy高性能工具包为你助力！凭借60%更快的U256操作和10倍ABI编码速度，Alloy让以太坊开发更高效、直观。结合Rust的安全与性能，本文带你实战区块链开发，从搭建项目到实现ETH

本文分析了Damn Vulnerable DeFi V4挑战中的Puppet问题，该问题利用了DeFi借贷协议中价格预言机操纵漏洞。攻击者通过操纵Uniswap V1交易所的DVT/ETH价格，降低抵押品要求，从而借出资金池中的所有DVT代币，并将它们发送到指定的恢复地址。解决方案包括出售大量DVT代币以操纵价格，然后从池中借入DVT代币。

本文分析了Damn Vulnerable DeFi V4挑战中的Puppet V2漏洞。该漏洞与之前的版本类似，在于依赖Uniswap V2池的当前储备来计算价格，这使得攻击者可以通过大幅swap代币来操纵价格，从而以极低的抵押借出大量代币，最终将资金转移到指定账户。

本文分析了Damn Vulnerable DeFi V4挑战中的Free Rider漏洞，该漏洞存在于NFT市场的购买逻辑中，由于在支付卖家之前就将NFT转移给买家，导致买家可以免费获得NFT并退回付款。攻击者利用Uniswap V2闪电贷获得初始资金，购买所有NFT，然后将NFT转移到recoveryManager合约以获得赏金，最后偿还闪电贷。

本文介绍了智能合约的概念，它是一种在区块链上运行的自动执行程序。文章对比了普通账户和智能合约账户的区别，解释了在以太坊和Solana等区块链上使用gas或lamports的原因，并说明了为什么比特币不使用智能合约而Solana使用。此外，文章还讨论了智能合约与Web2应用部署的区别，以及智能合约存储数据的机制，并列举了主要的智能合约平台。

这是一份OpenZeppelin对SP1 Helios的代码审计报告，该报告详细分析了SP1 Helios代码中存在的安全问题、代码质量问题以及潜在的改进建议。报告发现了一个客户端报告的问题，可能导致无效的最终性更新，并提出了修复建议。此外，报告还指出了代码中存在的低危漏洞、拼写错误、文档缺失、冗余操作等问题。

OpenZeppelin 对 Across Protocol 的 Solana 跨链桥代码进行了一次审计，主要关注了移除自中继、允许历史完成期限、更新 SVM 接口、移除启用存款路由检查以及测试原生 SOL 存款等方面的更改。审计发现了一个中等严重性和一个低严重性的问题，以及一些需要注意和补充的信息。

本次审计评估了Across协议的智能合约，包括移除白名单机制、引入通用适配器和SpokePool。审计发现了一些低风险问题，包括rootBundle可能被重复执行，以及Universal_SpokePool构造函数中未验证SOURCE_CHAIN_ID。同时，也提出了改进建议，例如添加安全联系方式、更正文档和变量名，以提高代码可读性和安全性。

本文是对Across协议的智能合约进行安全审计的报告，重点关注为了集成Circle CCTP V2版本协议对合约所做的修改，以支持在以太坊和Linea区块链之间桥接USDC代币。审计发现了一些低风险问题，包括CCTP版本检查的可靠性问题和文档不足，并提出了相应的改进建议。总体而言，代码变更实现了使用CCTP协议的第二个版本将USDC桥接到Linea区块链的功能。

本文是对Across协议的Solidity合约进行的安全审计报告，重点关注了为支持Solana网络和ERC-7683订单所做的代码更改。审计发现了包括潜在的资金池耗尽漏洞、地址转换错误、重复代码、缺少单元测试等问题，并提出了修复建议。报告还包括对之前提交的PR的审查以及客户端报告的问题。

该文档是对Across协议的SVM Spoke Pool的审计报告，该协议将跨链桥接网络扩展到Solana生态系统。审计期间发现了19个问题，包括高、中、低严重性级别，涉及强制使用Claim Accounts、成本不对称利用、事件日志记录过度使用等，提出了改进建议。

本次审核了across-protocol/contracts代码仓库，主要关注L3支持、ZkStack支持、可预测的中继哈希、支持最新版本的ERC-7683以及World Chain支持。发现了多个安全问题，包括缺少访问控制、错误的函数调用、不正确的ETH传输处理，以及潜在的重放攻击等。建议改进代码，增加测试，并确保代码符合最新的ERC-7683标准。

本文是一篇针对 Across 协议的智能合约代码审计报告，该协议旨在实现以太坊 L1 和 L2 链之间的快速 token 转移。审计发现了包括关键和中等严重程度漏洞在内的多个问题，并提出了改进代码清晰度、可读性和健壮性的建议。主要问题包括 gas token 金额的错误缩放、过时的 SafeERC20 合约以及潜在的 ETH 锁定等。

本文介绍了Certora如何利用形式化验证来保护Uniswap v4免受恶意hook的攻击。通过Certora Prover工具，可以精确定义和证明正确性规则，从而确保智能合约的强大安全性。文章还展示了如何使用CVL编写规则，并利用Certora Prover进行验证，以检测通用hook的不当行为，从而保证资金处理的正确性。

本文介绍了 Multiverse Finance，它将金融系统分割成多个平行宇宙，允许用户在特定条件下进行交易，例如，只有当用户支持的候选人在下次选举中失败时，才能做空市场。Multiverse Finance 利用条件代币的概念，在 Aave 协议上实现，允许相同结果的条件代币相互借贷，从而构建一个具有无限组合性的金融生态系统，并产生关于世界的有用信息。