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

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

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

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

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

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

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

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

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

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

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

Web3 极客日报 #1769

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

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

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

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

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

密码学 - 域分离

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

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

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

Uniswap V2 详解：含代码示例的完整指南

本文详细介绍了Uniswap V2的核心机制，包括其核心/外围架构、流动性添加和移除、代币交换以及LP代币经济学。文章提供了实用的代码示例，展示了如何在Solidity中与Uniswap V2交互，并强调了安全最佳实践，如滑点保护、截止时间和安全批准，以构建可靠的去中心化交易应用。
Uniswap V2  自动化做市商  AMM  流动性提供  代币交换  Solidity  智能合约 

Solidity ABI 编码深度解析：第二部分

本文是Solidity ABI编码系列文章的第二部分，深入探讨了Solidity中复杂数据结构（如结构体、数组和嵌套类型）的ABI编码机制。文章详细解释了静态结构体、动态结构体和嵌套动态类型结构体的编码过程，通过分步骤的示例，展示了如何确定结构体类型、创建头尾布局、编码头部和尾部，以及如何将它们组合起来生成最终的calldata。文章旨在帮助读者掌握Solidity ABI编码中的递归模式。
ABI编码  Solidity  结构体  动态类型  Calldata  以太坊 

你想成为一名密码学家？- 密码学学习引导

本文为想要学习密码学的人提供了一个资源列表和学习指南，内容涵盖了密码学学习的各个方面，从课程、书籍到实践活动，以及其他阅读材料和建议。作者鼓励读者深入学习，并强调了安全的重要性，同时还给出了社区参与的建议。
密码学  加密算法  安全  密码破译  代码安全  应用密码学