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

作为货币的密码学资产

本文作者从投资者的角度分析了密码资产作为货币的价值，区分了价值存储和支付媒介的功能，并探讨了密码资产在两种功能上的表现。作者认为，价值存储功能可能比支付功能更重要，并预测比特币可能成为主导的非主权价值存储货币，同时指出，虽然支付市场可能会保持碎片化，但也会涌现出各种有竞争力的支付方式。
密码资产  价值存储  支付媒介  比特币  黄金  外汇储备 

Solodit 检查清单解读 (4)：抢跑攻击

本文深入探讨了区块链中的抢跑攻击，分析了攻击者如何利用透明交易的特性实现自己的利益。通过实例和示例代码，作者提供了防范抢跑攻击的最佳实践，包括保护'获取或创建'模式、两步交易的安全性检查、避免尘埃攻击和正确使用承诺-揭示方案。通过理解这些攻击方式，开发者可以更好地设计安全的智能合约。
智能合约  安全性  承诺-揭示  尘埃攻击  抢跑 
  • Cyfrin
  • 发布于 2025-04-12
  • 阅读 ( 1886 )
  • ( 81 )

EVM系统深入研究

本文深入探讨了以太坊虚拟机（EVM）的架构、工作原理、指令集、执行过程、安全性和性能优化。EVM作为以太坊的核心组件，负责执行智能合约和处理交易。文章详细介绍了EVM的内存结构、存储布局、关键操作码，以及Solidity代码如何转换为EVM字节码并在以太坊上执行的过程，此外，还讨论了gas优化策略和智能合约安全性问题。
以太坊虚拟机  EVM  智能合约  字节码  gas优化  Solidity 

Solidity 安全注意事项

本文总结了智能合约开发中常见的安全漏洞和最佳实践，包括重入攻击、算术精度问题、访问控制不当、非标准协议、原生代币处理、底层调用、随机数问题、存储槽管理以及编译器版本固定。同时，强调使用静态分析工具和编写全面测试的重要性。
重入攻击  算术精度  访问控制  ERC-20  ERC-721  随机数 

Web3的HD钱包 ----BIP32 分层确定性钱包

BIP32（BitcoinImprovementProposal32）定义了一种分层确定性钱包（HierarchicalDeterministicWallet,简称HDWallet），该标准描述了一种树状结构，通过主密钥（MasterKey）生成无限个子密钥（ChildKeys）。
BIP32 

2025年12家最佳区块链节点供应商

本文对比了12家区块链节点供应商，包括Alchemy、Infura、Quicknode、Pokt Network等，分析了各家供应商在价格、支持的区块链、客户支持、工具、用户体验和增强API等方面的特点。帮助开发者选择最适合自己需求的节点供应商，以便更好地构建链上应用。
区块链节点  节点供应商  RPC  API  Alchemy  Infura 
  • Alchemy
  • 发布于 2025-04-12
  • 阅读 ( 4712 )
  • ( 24 )

如何通过比特币赚取收益

本文介绍了如何利用比特币通过各种方式赚取收益，虽然比特币本身不支持原生权益质押，但可以通过中心化交易所的借贷、DeFi中的封装比特币（wBTC）以及新兴的Layer2解决方案等方式参与BTCFi生态系统，从而获得潜在的收益。文章强调了每种方法都伴随着风险，并建议在投资前进行充分的调研。
比特币  BTCFi  DeFi  封装比特币  Layer2  收益 
  • DAIC
  • 发布于 2025-04-12
  • 阅读 ( 789 )

Foundry高级测试第一部分 - Fuzz测试

本文介绍了以太坊开发框架Foundry中的Fuzz测试技术。Fuzz测试通过生成大量随机输入来测试智能合约在各种条件下的行为，帮助开发者发现边界情况和潜在安全漏洞。文章通过一个简单的存款和取款智能合约示例，展示了如何在Foundry中实现Fuzz测试。
Fuzz测试  Foundry  智能合约  测试  漏洞  随机输入 

每周头条新闻 - 4/11

本周新闻包括：美国可能重回重商主义，可能危及美元的储备货币地位；Paul Atkins被任命为SEC主席，可能会放松对加密货币的监管；Arbitrum DAO的投票因投票购买而产生争议，凸显了DAO治理需要重新设计。
关税  SEC  Arbitrum  DAO治理  稳定币  以太坊 
  • Galaxy
  • 发布于 2025-04-12
  • 阅读 ( 390 )

深度分析：Solana DApp 收入 - 2025年3月

该文章深入分析了2025年3月Solana DApp的收入情况。Solana在Web3 DApp收入中占据领先地位，但在3月份收入有所下降。Pump.fun仍是收入最高的DApp，Jupiter的收入保持稳定，而Axiom等新项目也崭露头角，同时关注了Orca、Sanctum、XNET、Jupiter和NATIX等项目。
Solana  DApp  收入  pump.fun  Jupiter  NFT 
  • syndica
  • 发布于 2025-04-12
  • 阅读 ( 1001 )

Solidity智能合约中的Gas优化：开发者指南 – ImmuneBytes

本文深入探讨了如何在Solidity中优化Gas费用，涵盖了从存储、内存和calldata的选择，到变量打包、减少冗余存储写入、函数层面的优化、循环效率提升以及数据结构选择等多个方面。此外，还介绍了高级的Gas优化策略，如使用inline assembly和bitwise操作，旨在帮助开发者编写更高效、更经济的智能合约。
gas优化  Solidity  智能合约  存储  EVM  bitwise操作 

链上 Vault - ERC4626 与通胀攻击

本文主要分析了 ERC4626 标准下的 On-chain Vault 可能遭受的通胀攻击，攻击者通过操纵 Vault 中的资产总量来稀释其他用户的份额，并探讨了多种防御方法，包括初始化 Vault 资产、内部控制资产总量、使用 decimals offset 以及 OpenZeppelin 提出的虚拟份额和资产方案。
ERC4626  On-chain Vault  通胀攻击  安全  OpenZeppelin  智能合约 

zkVerify备忘录：集成流程、潜在市场与代币经济学

本文深入分析了zkVerify，一个专为零知识证明（ZKP）验证而优化的L1区块链，旨在解决开发者在ZKP集成中面临的效率问题。zkVerify通过其独特的无分叉架构、对证明不敏感的高吞吐量处理能力和模块化设计，简化了ZKP的验证流程，降低了成本。文章还探讨了zkVerify在私有DeFi、扩展性和人性证明等领域的应用前景，以及其代币经济模型，旨在激励验证者并确保网络安全。
零知识证明  zkVerify  DeFi  STARK  zkLogin  zkTLS 

EigenLayer 改进提案-001：奖励 v2

该提案介绍了EigenLayer的奖励机制的第二次迭代（v2），旨在增强EigenLayer生态系统中奖励的灵活性。Rewards v2的主要功能包括：AVS根据operator表现定向奖励；AVS奖励的可变operator费用；专门用于Programmatic Incentives的operator拆分；以及方便staker和operator批量申领奖励。
EigenLayer  奖励  AVS  Operator  Staker  批量申领 

Vitalik: 一个最大程度上简化的 L1 隐私路线图

Vitalik: 一个最大程度上简化的L1隐私路线图
隐私 

合约 - OpenZeppelin 文档

本文档介绍了OpenZeppelin Contracts库的使用，它是一个用于安全智能合约开发的库，提供了如ERC20和ERC721等标准的实现，以及灵活的基于角色的权限控制方案和可重用的Solidity组件。文档涵盖了安装、使用方法、安全注意事项以及学习资源。
智能合约  Solidity  OpenZeppelin  ERC20  ERC721  安全 

现代 DeFi: Uniswap V4 数学库分析

本文深入分析了 Uniswap V4 智能合约中涉及的数学计算模块，包括 BitMath（用于检索 uint256 中 1 的索引位置，包括 mostSignificantBit 和 leastSignificantBit 函数的实现原理和 z3 求解）、FullMath（中国剩余定理，全精度乘法和除法实现，如 mulDiv）、TickMath（对数和指数计算，详细介绍了 log2 的计算方法，定点小数的应用，误差分析，以及 tick 到 sqrtPrice 的转换过程）等内容，并结合代码示例进行了解释。
uniswap v4  智能合约  数学计算  BitMath  FullMath  TickMath  定点小数 

以太坊协议奖学金第五期回顾

以太坊协议奖学金（EPF）第五期成功结束，Protocol Study Group 2025也已完成，目前正在为第六期（EPF6）做准备。第五期包括为期5个月的沉浸式学习、研究和贡献，参与者为以太坊核心生态系统做出了贡献。Protocol Study Group 第二次迭代，学生们进行了为期2个月的关于核心协议的强化学习。
以太坊协议奖学金  核心开发  客户端  研究  协议研究小组  DEVCON 

R0VM 2.0 介绍

RISC Zero 发布了 R0VM 2.0，这是一个为实时时代构建的 zkVM，它更快、更大、更安全。R0VM 2.0 的证明速度更快，成本更低，内存更大，并支持所有主要的以太坊预编译，目标是在 2025 年 7 月实现实时证明，同时，R0VM 2.0 还非常注重安全性，通过形式化验证来确保系统的可靠性。
零知识证明  zkVM  R0VM  性能优化  形式化验证  区块链 
  • RISC ZERO
  • 发布于 2025-04-11
  • 阅读 ( 1203 )
  • ( 8 )

Concrete v2.10：引入 Rust 支持并增强 TFHE-rs 互操作性

Zama 发布了 Concrete v2.10，引入了对 Rust 的支持，通过 concrete-macro 和 concrete 这两个 crates，可以直接在 Rust 中使用 FHE（全同态加密) 功能，使得开发者能够更容易地将 Python 原型移植到生产环境。此外，新版本还增强了与 TFHE-rs 的互操作性。
全同态加密  FHE  Rust  concrete-python  TFHE-rs  concrete-macro 
  • ZamaFHE
  • 发布于 2025-04-11
  • 阅读 ( 1493 )
  • ( 10 )