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

Web3 中的自动化安全：静态分析 vs. 动态分析 – ImmuneBytes

本文深入探讨了Web3安全领域智能合约审计中两种关键方法：静态分析和动态分析。静态分析通过代码检查在合约执行前发现潜在漏洞，而动态分析则通过在不同环境下运行合约来揭示运行时问题。文章详细介绍了这两种方法的原理、技术、优势与局限性，并强调了结合使用这两种方法以实现更全面、有效的安全审计的重要性。
静态分析  动态分析  智能合约  安全审计  web3安全  漏洞分析 

加密钱包如何工作？（以及我是如何构建一个的）

本文介绍了加密钱包的工作原理，重点解释了助记词（mnemonic phrases）、种子（seed）以及分层确定性钱包（HD Wallets）的概念。文章还展示了如何使用JavaScript来生成加密钱包，并强调了钱包的可移植性，即可以在不同的钱包应用之间导入和使用。
加密钱包  助记词  种子  分层确定性钱包  BIP-39  BIP-44  密钥 

Mint Blockchain 主网上线一周年回顾：增长之年与未来展望

从愿景到现实，过去一年是MintBlockchain快速发展的奠基之年。
Mint Blockchain  NFT  Web3 

以太坊线协议 (ETH)

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

智能合约【简介】

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

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

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

一文了解go语言中的select

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

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

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

Alloy 赋能 Web3：Rust 区块链实战

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

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

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

SP1 Helios 代码审计报告

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

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

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

多元宇宙金融

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

如何管理 TimelockController 的角色 - OpenZeppelin 文档

本文档介绍了如何使用 OpenZeppelin Defender 管理 TimelockController 合约的角色。TimelockController 是一种智能合约，用于在操作排队和执行之间强制实施延迟，以提高去中心化治理的安全性。通过 Defender，用户可以导入 TimelockController 合约，创建提案，授予和撤销角色，从而实现对合约权限的集中管理。
TimelockController  OpenZeppelin Defender  访问控制  角色管理  提案  智能合约 

比特币 - bips/bip-tap-psbt.mediawiki，位于Roasbeef/bips - Roasbeef

本文档描述了在 Taproot Asset 状态转换交易的“部分签名比特币交易 (PSBT, BIP-0174)”格式中使用的自定义字段。定义了用于表示虚拟资产交易的新字段，并解释了如何将一个或多个虚拟资产交易映射并提交到单个比特币链上“锚”交易中。
Taproot Assets  PSBT  BIP-0174  虚拟交易  锚交易  比特币 

Web3 极客日报 #1736

  • rebase
  • 发布于 2025-05-12
  • 阅读 ( 425 )
  • ( 11 )

OpenZeppelin Hardhat Upgrades API - OpenZeppelin 文档

本文档介绍了 OpenZeppelin Hardhat Upgrades 插件提供的 API，用于在Hardhat环境中使用OpenZeppelin Contracts进行智能合约的代理部署和升级。
OpenZeppelin  Hardhat  代理合约  合约升级  智能合约  区块链 

如何跟踪你作为安全研究员的进步

本文作者分享了一种用于跟踪安全研究员成长的新方法，避免使用排行榜，而是使用包括 hit rate 和覆盖率等通用指标以及用于分类漏洞的漏洞范围界定，根据这些信息来优化审计策略。作者还分享了一个Google Sheet 模版用于量化跟踪。
安全研究  漏洞  审计策略  Hit Rate  覆盖率  Bug Scoping 

Artemis - 数字金融基础（2025年5月11日）

文章分析了 Fintech（如 Robinhood）和 DeFi（如 Maple、Hyperliquid）的基本面，指出它们在收入、总利润和净利润等关键指标上的趋同性，以及稳定币在推动 Fintech 和 DeFi 增长中的作用，并探讨了稳定币如何影响这些业务的收入、收益、自由现金流和净收入。
DeFi  fintech  稳定币  收益  收入  Hyperliquid 
  • artemis
  • 发布于 2025-05-12
  • 阅读 ( 755 )
  • ( 17 )

密码学 - 奇妙的FN-DSA

本文介绍了FN-DSA（FIPS 206）这一新的数字签名标准，它使用快速傅里叶变换（FFT）优化了晶格结构中的变换过程，从而在后量子密码学（PQC）中实现了比ML-DSA更小、更高效的签名。文章提供了JavaScript代码示例和性能对比，展示了FN-DSA在密钥大小和签名大小方面的优势，并建议在区块链等应用中考虑使用。
FN-DSA  FIPS 206  后量子密码学  数字签名  FFT  晶格