全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

以太坊线协议 (ETH)

本文档详细介绍了以太坊线协议（ETH），该协议用于在节点之间交换以太坊区块链信息。内容涵盖了协议的基本操作，包括链同步、状态同步（快速同步/快照同步）、区块传播（在PoW网络中）以及交易交换。此外，文档还深入探讨了交易和区块的编码与验证规则， 以及各种协议消息的格式和功能，例如Status、NewBlockHashes和Transactions等，还提供了协议各个版本的变更日志。
以太坊线协议  链同步  状态同步  区块传播  交易交换  RLPx 
  • ethereum
  • 发布于 2025-05-13
  • 阅读 ( 1385 )
  • ( 66 )

智能合约【简介】

智能合约是一种旨在以信息化方式传播、验证或执行合同的计算机协议。区块链是实现智能合约的一种重要方式，为其提供了去中心化的可信执行环境。但智能合约并非只有区块链这一种实现方式。本文将围绕区块链上的智能合约进行阐述。
智能合约 
  • Revel.eth
  • 发布于 2025-05-13
  • 阅读 ( 1547 )
  • ( 62 )

web2转行web3需要知道的那些事

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

一文了解go语言中的select

in  Go语言从入门到进阶
在Go语言中，select是一种用于处理多个通道（channel）操作的控制结构。它非常强大，常用于并发编程中，特别是在需要从多个通道中选择一个可用操作时。
select 
  • Louis
  • 发布于 2025-05-13
  • 阅读 ( 613 )
  • ( 24 )

OKX研究院 | 账户抽象10年演进终局之战，透过EIP-7702看过去与未来

为什么EIP-7702能被称为账户抽象“终极形态”？它到底解决了啥问题？Pectra 升级后对钱包、开发者和普通用户意味着什么？
eth  Vitalik  账号抽象 
  • 十四君
  • 发布于 2025-05-13
  • 阅读 ( 1052 )
  • ( 29 )

Alloy 赋能 Web3：Rust 区块链实战

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

Damn Vulnerable DeFi V4 解决方案 - #8. Puppet

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

Damn Vulnerable DeFi V4 解决方案 - #9. Puppet V2

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

Damn Vulnerable DeFi V4 解决方案 —— #10. Free Rider

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

理解智能合约：区块链应用背后的智慧

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

桥接USDC支持审计

本次OpenZeppelin对Across协议的代码变更进行了差异审计，主要集中在[pull request #941](https://github.com/across-protocol/contracts/pull/941) 和 [pull request #944](https://github.com/across-protocol/contracts/pull/944)。
跨链桥  USDC  ZK-Stack  OpenZeppelin  审计  CCTP 

SP1 Helios 代码审计报告

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

SVM Spoke 增量审计

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

EVM通用适配器审计

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

Across Linea CCTP差异审计

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

Across协议 SVM Solidity审计

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

SVM Spoke 审计

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

安全 - Across 审计

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

Across 协议 Diff 审计 - Arbitrum 自定义 GasToken 和独占期

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

保护Uniswap v4：形式化验证和恶意Hook保护

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