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

Foundry 高级作弊码系列：第 5 部分 - 作弊码 vm.deal，为账户充值

in  Foundry 高级作弊码系列
本文介绍了Foundry的作弊码vm.deal，它可以直接向任何账户注入ETH，无需水龙头或转账，方便开发者模拟拥有大量ETH的用户进行测试，例如支付gas或测试可支付流程。通过vm.deal，开发者可以更专注于测试逻辑，而无需手动进行账户充值。
Foundry  vm.deal  作弊码  测试  以太坊  eth 

使用 Certora Prover 形式化验证确保 infiniFi 中公平的赎回

infiniFi 是一个 DeFi 平台，旨在优化收益，但其 iUSD 赎回机制存在漏洞，可能导致用户在赎回队列中被跳过，从而面临不公平的惩罚。Certora Prover 发现了这一问题，并通过形式化验证确保了修复后的系统符合 FIFO 原则，维护了用户信任和 DeFi 协议的公平性。
DeFi  形式化验证  Certora Prover  FIFO  智能合约  iUSD 
  • Certora
  • 发布于 2025-07-01
  • 阅读 ( 525 )
  • ( 13 )

X-Wing：更好的后量子密钥封装

本文介绍了一种混合密钥封装机制X-Wing，它结合了X25519和ML-KEM-768，旨在实现后量子密码学的迁移。X-Wing优化了性能，并在X25519或ML-KEM-768任一安全的前提下保证整体安全。文章还展示了X-Wing与X25519Kyber768标准的主要区别，以及使用Golang实现的X-Wing密钥生成、封装和解封装过程。
X-Wing  密钥封装  后量子密码学  ML-KEM-768  X25519  混合加密 

安全指南：使用 Solodit 保护智能合约

本文介绍了 Solodit 社区维护的智能合约安全审计检查表，强调了智能合约安全的重要性，并列举了由于漏洞导致重大经济损失的案例。文章详细介绍了使用该检查表进行智能合约审计的前提条件、所需资源，并深入探讨了包括重入攻击、拒绝服务攻击、抢跑交易等常见的漏洞及其缓解措施，同时还介绍了安全开发的最佳实践。文章还提到了2025年最新的安全工具和技术更新。
智能合约  安全审计  Solodit 检查表  重入攻击  拒绝服务  前置交易  以太坊  漏洞 

利用形式化验证查找编译器 Bug

本文介绍了Certora团队开发的一款用于验证编译器优化的等价性检查工具，该工具通过比较优化前后程序的行为来检测编译器bug。文章还分享了该工具在Vyper编译器中发现的一个优化bug，该bug导致局部变量被错误地映射到相同的堆栈位置，从而改变了程序的行为。该bug已在Vyper 0.4.2版本中修复。
编译器优化  等价性检查  形式化验证  Vyper  Certora Prover  bug检测 
  • Certora
  • 发布于 2025-07-01
  • 阅读 ( 489 )
  • ( 3 )

使用 Certora Prover 形式验证确保 infiniFi 中公平的赎回

infiniFi 是一个 DeFi 平台，通过管理 Pendle、AAVE 和 Ethena 等协议上的存款来优化收益。
DeFi  iUSD  Certora Prover  FIFO  赎回队列  形式化验证 
  • Certora
  • 发布于 2025-07-01
  • 阅读 ( 686 )
  • ( 13 )

以太坊扩容：通往4500万Gas上限及更远之路

文章讨论了以太坊通过增加Gas Limit来扩展其Layer 1能力的方法。近期目标是将Gas Limit从36M提升至45M，并规划了达到60M甚至100M的长期路径。文章详细介绍了实现这一目标的三大支柱：OPCODE和预编译基准测试、状态增长分析以及安全性和共识层影响，并分享了相关的测试结果和未来展望。
Gas Limit  以太坊扩展  EIP  状态增长  网络传播  OpCode 

本周加密货币市场回顾 (2025年06月30日)

本周比特币价格稳定，ETF资金流入强劲，机构兴趣浓厚；Altcoin市场普涨，Solana相对以太坊表现强势；稳定币市值小幅下降，Tron流入量大；NFT销售额略有回升但仍处于下行趋势；以太坊、Solana和Sui的TVL、DEX交易量和手续费收入均实现强劲增长。Kraken、Fiserv和Robinhood等公司纷纷推出与区块链和加密货币相关的产品和服务。
比特币  Altcoin  稳定币  NFT  以太坊  Solana 

精读《Rust编程之道》：吃透语言精要，彻底搞懂所有权与借用

in  Rust
精读《Rust编程之道》：吃透语言精要，彻底搞懂所有权与借用“好读书，不求甚解；每有会意，便欣然忘食。”学习Rust就像开启一场独特的编程探险。它强大、安全，但也以其陡峭的学习曲线而闻名，尤其是其独特的“所有权”和“借用”机制，常常让初学者感到困惑。这篇文章是我在精读《Rust编程之道》第
Rust 

CertiK联合创始人顾荣辉在港大发表演讲，全景解构稳定币风险

近日，哥伦比亚大学教授、CertiK联合创始人兼CEO顾荣辉受邀赴港，参与“全球虚拟资产展望”圆桌论坛，并在香港大学商学院发表主题演讲。
稳定币  web3安全  区块链 
  • CertiK
  • 发布于 2025-07-01
  • 阅读 ( 1333 )
  • ( 17 )

区块链中的数学（八十四）-- 重心插值（barycentric evaluation）

本文介绍一种优化的插值法：重心拉格朗日插值法。
barycentric evaluation 

Solana 智能合约终极部署指南：从入门到主网，定制你的专属靓号 Program ID

in  Solana
Solana智能合约终极部署指南：从入门到主网，定制你的专属靓号ProgramID保姆级教程：基于Anchor框架，带你丝滑完成密钥管理、多环境部署与实战避坑还在为Solana合约部署的繁琐流程而头疼吗？还在羡慕别人的项目拥有一个以项目名开头、炫酷又易记的合约地址（Progra
Solana  Web3 

Web3 极客日报 #1769

  • rebase
  • 发布于 2025-06-30
  • 阅读 ( 284 )
  • ( 4 )

如何阅读（密码学）研究论文

本文档提供了阅读（加密）研究论文的实用指南，目标读者不是学术界人士，而是希望了解密码学领域最新进展的从业者。文章介绍了阅读研究论文的通用策略，包括按特定顺序阅读论文的不同部分（如摘要、引言、结论等），以及针对密码学论文的一些特殊技巧，例如理解密码学假设、模型和常见术语。
密码学  研究论文  阅读技巧  安全  加密算法  密码学模型 

ethers.js 全栈开发实战：从 Provider 到 Utils 的 6 大核心模块深度解析

前言在以太坊生态中，ethers.js是开发者与区块链交互的核心工具包。本文系统梳理了其六大核心模块（Provider、Contract、Wallet、Utils、部署工具及高级功能），通过代码示例+关键差异对比+安全实践，帮助开发者快速掌握从环境搭建到链上交互的全流程。无论是浏览器端
ethers.js  实践 
  • 木西
  • 发布于 2025-06-30
  • 阅读 ( 443 )
  • ( 10 )

密码学 - 域分离

本文深入探讨了密码学中的域分离概念，强调了其在确保数据和操作仅用于特定目的的重要性。文章通过实例分析了域分离的多种类型和应用，包括密钥隔离、AAD区分、以及在哈希函数和签名数据中的应用，以此论证了域分离在防止安全漏洞方面的关键作用，并引用了实际案例和专家观点，强调了在密码学设计中贯彻域分离原则的必要性。
域分离  密码学  哈希函数  密钥派生  安全协议  数据序列化 

KRW稳定币应在以太坊上发行（ASA观点#2）

本文探讨了韩国稳定币（KRW stablecoins）的发行网络选择问题，强调了以太坊作为首选发行网络的重要性，同时分析了Kaia和Avalanche等其他网络，并提出了KRW稳定币的发行模型建议，以确保流动性、安全性和合规性。
稳定币  以太坊  韩元稳定币  区块链  LayerZero  合规性 
  • 4pillars
  • 发布于 2025-06-30
  • 阅读 ( 556 )
  • ( 34 )

DAEAD：具有关联数据的确定性认证加密

本文介绍了DAEAD（具有关联数据的确定性认证加密）中的SIV模式，它通过合成初始化向量来克服nonce重用/误用的问题。SIV模式结合确定性特征与AEAD，使用AES-SIV模式进行密钥包装，增强了加密的安全性，并提供了使用Go语言的Tink库实现DAEAD的示例代码。
DAEAD  SIV  确定性认证加密  AES-SIV  nonce  密钥包装 

以太坊扩容从链上到链下：状态通道和Rollups 方案对比

本文介绍了以太坊Layer2扩展方案，包括状态通道和Roll-ups技术，Roll-ups又分为Optimistic Roll-ups和Zero-knowledge rollups(zk-Rollups)，以及Side chains。文章对比了各种方案的原理、特点和优缺点，并分析了各自的应用场景。
以太坊  Layer2  状态通道  Roll-ups  Optimistic Roll-ups  ZK-Rollups 

ERC-7201：命名空间存储布局

本文介绍了ERC-7201提案，旨在解决Solidity合约存储槽中存在的DelegateCall安全风险和升级不便等问题。ERC-7201引入命名空间概念，通过特定算法为不同逻辑组件分配独立的存储区域，实现存储隔离、升级友好、模块化支持和工具兼容等优势。文章还提供了实现示例，展示了如何在合约中使用ERC-7201。
ERC-7201  存储槽  命名空间  delegatecall  Solidity  智能合约