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

Aragon DAO — 占位符

本文主要介绍了DAO（Decentralized Autonomous Organization，去中心化自治组织）的概念、优势以及Aragon平台如何简化DAO的创建和管理。
DAO  去中心化自治组织  智能合约  Aragon  以太坊  区块链 

谁动了我的测试网？

本文主要讨论了以太坊测试网Holesky和Sepolia最近出现的问题，以及这些问题对依赖这些测试网的外部实体的影响。文章提出了对Sepolia和Holesky测试网的需求进行明确，并强调了核心开发者需要一种尽可能接近主网的测试方式的重要性。同时反思了测试策略，并提出改进建议，以减少测试环境与主网之间的差距，降低潜在风险。
测试网  Holesky  Sepolia  Pectra  主网  客户端 

Arbitrum之智能合约

作为一个初入Web3领域的小白，会直面很多新鲜事物的冲击，也很容易陷入到细枝末节，让自己失去信心。如何能让自己可以在一个适当的维度上学习、探索Web3，就成为一个可行的方式。最近，参加了HackQuest的Arbitrum共学营，自己以接近小白的身份去了解Arbitrum，学习的过程也是思考总结
Arbitrum  Smart Contract  Stylus 
  • Henry Wei
  • 发布于 2025-03-13
  • 阅读 ( 709 )
  • ( 13 )

Fireblocks 可升级代币审计 - ERC1155F

本篇文章介绍了对Fireblocks升级可转让代币的审计过程及其结果，主要关注ERC-1155标准的实现及其附加的访问控制功能。审计中发现了12个问题，其中1个为低级别问题，并提出了多项改进建议，以提升代码质量和文档清晰度。
ERC-1155  访问控制  审计  Solidity  智能合约  Fireblocks 

EntryPoint合约获得对ERC-4337钱包的临时控制权

本文解释了EntryPoint合约如何通过`validateUserOp`和`execute`函数获得对ERC-4337钱包（SimpleAccount）的控制权。通过代码示例展示了EntryPoint合约如何在用户操作验证和交易执行过程中与SimpleAccount合约交互，从而控制钱包的行为。但强调这种控制并非绝对或永久，SimpleAccount仍然保持自身的访问控制。
ERC-4337  智能钱包  EntryPoint合约  UserOperation  账户抽象  SimpleAccount 

通过智能合约理解 Chainlink Functions

本文介绍了如何使用 Chainlink Functions 将智能合约连接到外部 API，以获取城市的天气数据。通过 WeatherFunctions.sol 代码库，展示了如何创建 Chainlink Function Subscription，以及如何在智能合约中构建和发送请求，并处理返回的数据。文章详细解释了智能合约的关键步骤，例如参数传递，请求初始化等。
Chainlink Functions  智能合约  API集成  天气数据  预言机  区块链 

Fireblocks可升级代币审计 - ERC721F

该文章对Fireblocks的可升级tokens进行了审计，主要围绕ERC721F合同中的访问控制实现及其漏洞进行了讨论。审计发现了一些高、中、低严重性的安全问题，并提供了相应的修复建议和代码改进的方向，强调了合同的可升级性及其实现中的功能特点。
ERC721F  可升级性  访问控制  安全审计  Solidity  智能合约 

用 AI 开发 Chrome 插件：替代 SwitchyOmega

引言最近，《SwitchyOmega被曝盗取私钥，如何防范插件被篡改？》一文引发了广泛关注，Chrome插件的安全性问题成为焦点。在AI技术蓬勃发展的当下，我们可以借助强大的AI工具来开发一款安全可靠的Chrome插件，替代SwitchyOmega。同时，Trae作为一
Chrome扩展  AI  Trae 
  • King
  • 发布于 2025-03-13
  • 阅读 ( 1040 )
  • ( 22 )

以太坊拨款支持的LLZK：一种新的中间表示（IR）……

Veridise获得以太坊基金会的资助，开发出名为LLZK的新中间表示（IR），旨在统一和简化零知识电路编译，从而解决该生态系统中存在的碎片化问题。LLZK通过提供模块化、灵活性和形式验证等特点，计划提升ZK语言的可维护性与安全性，并加速安全工具的发展。
零知识证明  中间表示  电路编译  安全工具  LLZK  以太坊基金会 
  • Veridise
  • 发布于 2025-03-13
  • 阅读 ( 1174 )
  • ( 34 )

ethrex L2 命令行界面（CLI）

本文介绍了ethrex L2 CLI的使用，包括安装方法、可用命令及其示例。内容详尽，涵盖CLI的配置、堆栈管理和钱包交互等功能，并提供相关操作的示例动画。
ethrex  CLI  以太坊  配置  钱包  堆栈 

区块链入门：智能合约（第二部分）

in  区块链101
本文深入探讨了智能合约和Solidity语言的关键细节，包括与区块链交互的方法、合约调用模式、合约部署方式以及合约特性。作者通过实例和详细解释，阐述了如何在安全和有效的基础上构建智能合约，并强调了理解编码信息和合约结构的重要性。整篇文章结构清晰、逻辑性强，非常适合想进一步了解智能合约开发者。
智能合约  Solidity  区块链  合约调用模式  合约部署  交易结构 

通往安全高效 zkVM 的路径：如何跟踪进展

本文讨论了零知识虚拟机（zkVM）在安全性和性能方面面临的重大挑战，并提出了一系列分阶段的安全和性能目标，以指导zkVM的开发与进步。尽管zkVM具有 democratize SNARKs 的潜力，但目前仍存在高复杂度、错误和性能慢的问题，需要数年时间才能实现基本目标。
zkVM  SNARK  安全性  性能  零知识证明  研究进展 

试玩测评 Rimbox（beta 版本）：AO 生态的链上 Minecraft 游戏

“全上链版的Minecraft”，作为一款沙盒游戏，Rimbox的核心在于自由建造和探索。在下文中，笔者将评测Rimbox的玩法、体验，并探讨其未来的优化方向。

Solana 数据索引的问题

本文深入探讨了Solana区块链中存在的数据索引问题，分析了由于交易量大导致的复杂数据解析、状态膨胀以及数据存储成本等挑战。同时介绍了Triton的Old Faithful项目及其在改进Solana数据储存与检索方面的潜力，最后提出了Astralane的新型数据基础设施，用于提升高频交易和实时数据处理的效率。
Solana  数据索引  状态膨胀  高频交易  Old Faithful  Astralane 

在 Uniswap v4 中证明偿付能力：AMM 安全性的形式化验证

本文深入探讨了 Uniswap v4 的流动性机制，并提出了一种形式化的方法来证明其偿付能力。通过将代码转化为数学公式，使用 SMT 求解器验证流动性是否在所有函数调用中得到维持。同时，文章还讨论了在 Uniswap v4 中处理 ERC-20 代币时需要考虑的因素，以及如何通过引入 ghost 变量和 hooks 来精确计算和跟踪资金流动，从而确保 AMM 在任何情况下都能保持偿付能力。
AMM  uniswap v4  偿付能力  SMT 求解器  流动性  形式化验证 
  • Certora
  • 发布于 2025-03-12
  • 阅读 ( 339 )

闪电网络：突破比特币扩展性的关键

比特币区块链作为一种点对点的支付平台，由于设计的局限性，在处理全球大规模交易时显得捉襟见肘。其每笔交易都需要广播到全网，导致交易确认速度慢、费用高。为了解决这一问题，闪电网络应运而生，通过微支付通道技术大幅提升比特币网络的扩展性。

“Mega EOF 终局”规范（EOFv1）

本文介绍了EVM对象格式（EOFv1）的统一规范，详细探讨了其结构、头部与主体的组成、代码执行语义以及新的指令与验证方法等。EOF的推出旨在改善以太坊虚拟机（EVM）的功能和灵活性，提供更好的代码执行环境和数据处理能力。
EVM Object Format  EOFv1  以太坊虚拟机  代码执行  数据处理  新指令 
  • ipsilon
  • 发布于 2025-03-12
  • 阅读 ( 402 )
  • ( 9 )

如何编写 Solana 智能合约？

什么是Solana智能合约？简而言之，Solana智能合约是在Solana网络上运行的合约。但是，为了更充分地回答“什么是Solana智能合约？”这个问题，最好先分别深入研究Solana和智能合约的复杂性。所以，让我们从仔细研究Solana网络开始这篇文章！Solan

Solana批量转账教程

工具介绍GTokenToolSol批量转账/空投工具一次签名转380个地址，1000个地址只需签名3次。具有自动去重功能，市面上最好用的批量转账/空投工具准备事项：一台电脑或者一部手机Solana钱包要进行批量转账的代币接收转账的钱包地址一些SOL用于支付转账GAS注
  • 想样
  • 发布于 2025-03-12
  • 阅读 ( 357 )

如何使用 Remix IDE 创建 BSC 代币

什么是BSC代币？BSC代币是一种基于BNB智能链(BSC)构建的数字资产，BSC是一种与EVM兼容的区块链网络，旨在运行基于智能合约的应用程序。此外，BSC代币遵守BEP-20代币标准，该标准定义了一套在网络上创建和管理可替代代币的规则和指南！BEP-20是
  • 想样
  • 发布于 2025-03-12
  • 阅读 ( 541 )