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

如何管理 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
  • 阅读 ( 405 )
  • ( 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
  • 阅读 ( 729 )
  • ( 17 )

密码学 - 奇妙的FN-DSA

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

a/(b+c) + b/(c+a) + c/(a+b) = 4 的一个简单解释

本文解释了数学难题 a/(b+c) + b/(c+a) + c/(a+b) = 4 的求解过程。该问题与椭圆曲线有关，通过将问题维度降低，利用已知的两个解，构建出一个寻找第三个解的算法，并通过不断迭代和坐标翻转，最终找到了一个正整数解。文中提供了Python代码来寻找更多解并验证。
数学难题  椭圆曲线  丢番图方程  有理数解  参数化  同源性 

Web3 新体验：Blink 一键解锁 Monad 未来

in  Web3
Web3新体验：Blink一键解锁Monad未来Web3时代，区块链交互正在变得前所未有的简单！Blink作为一种“一键式”操作神器，让用户无需复杂步骤，就能轻松体验转账、捐赠等链上操作。结合高性能区块链Monad，这款技术组合正开启Web3的无限可能。本文将带你从零开始，通过
Web3  Monad  Blink 

Plasma：所有，一切，所有一切，一次性

本文介绍了Plasma Network，一个专为稳定币设计的区块链项目。
稳定币  区块链  Plasma Network  USDT  PlasmaBFT  reth 
  • 4pillars
  • 发布于 2025-05-12
  • 阅读 ( 898 )
  • ( 18 )

BitsLab 旗下 TonBit 再次发现 TON 虚拟机漏洞：RUNVM 指令或导致智能合约执行环境污染

BitsLab旗下TonBit再次于TON虚拟机（TVM）深层代码里挖出一枚“隐形炸弹”——RUNVM指令非原子状态迁移漏洞。攻击者可借助子虚拟机耗尽gas的瞬间，污染父虚拟机的库（libraries）并诱发后续调用失败，最终导致依赖库完整性的合约出现异常行为。下面我们保留技术细节原
  • BitsLab
  • 发布于 2025-05-12
  • 阅读 ( 539 )
  • ( 8 )

ERC20 - OpenZeppelin 文档

本文档介绍了 OpenZeppelin Contracts 库中与 ERC20 代币标准相关的接口、合约和实用程序。
ERC20  代币标准  智能合约  OpenZeppelin  IERC20  Solidity 

Symbiotic 能在 Restaking 领域挑战 EigenLayer 吗？

本文对比分析了 Symbiotic 和 EigenLayer 在 Restaking 领域的异同。Symbiotic 支持几乎所有 ERC-20 代币的 Restaking，旨在创建一个灵活开放的 DeFi 市场，而 EigenLayer 则专注于 ETH 相关资产，致力于构建区块链的基础生态系统。文章还分析了二者在底层逻辑、设计方法以及安全风险方面的差异。
restaking  Symbiotic  EigenLayer  ERC-20  DeFi  共享安全 

EIP-7702 深度探讨与最佳实践

本文深入分析了以太坊Pectra升级中的EIP-7702提案，该提案通过引入新的交易类型，赋予EOA(外部拥有账户)可编程性和可组合性，模糊了EOA和合约账户之间的界限，实现类似原生账户抽象的功能。文章详细介绍了EIP-7702的原理、实现机制，并探讨了它可能带来的机遇与挑战，以及生态参与者应注意的最佳实践，例如私钥存储、多链重放风险、初始化问题等。
EIP-7702  Pectra  EOA  账户抽象  智能合约  授权 

Prover Killers Killer：你构建，你证明 - 执行层研究

该文章提出了以太坊的一个升级方案，即让区块的构建者负责生成该区块的有效性证明，并将该证明强制包含在下一个区块中。这个方案通过激励对齐来解决“prover killers”问题，并改善了builder的活性问题。文章还探讨了proving gas的概念，以及如何将其应用于改进用户体验和审查抵抗。
以太坊  zkVM  延迟执行  Gas Limit  prover killers  激励对齐 

登链 Web3 技术周刊 | Pectra 升级正式完成

欢迎阅读登链社区最新一期周报！
周报 
  • 乌索普
  • 发布于 2025-05-11
  • 阅读 ( 655 )
  • ( 23 )

OpenZeppelin 多重签名账户

本文介绍了多重签名账户，这是一种需要多个授权签名者批准操作才能执行的智能合约账户。文章详细讲解了 ERC-7913 标准及其在 OpenZeppelin 中的实现，包括 SignerERC7913、MultiSignerERC7913 和 MultiSignerERC7913Weighted 合约，以及如何具有不同类型签名者和权重的多重签名账户。
多重签名  智能合约  ERC-7913  OpenZeppelin  签名验证  阈值签名  权重签名 

深入浅出 Rust：函数、控制流与所有权核心特性解析

in  Rust
深入浅出Rust：函数、控制流与所有权核心特性解析Rust作为一门现代系统编程语言，以其内存安全、高性能和并发能力而备受推崇。本文深入探讨Rust的核心概念，包括函数的定义与使用、控制流的灵活运用，以及所有权机制的独特设计。通过代码示例和详细解析，带你快速掌握Rust的精髓，无论是初学
Rust 

编写自动化智能合约测试 - OpenZeppelin 文档

本文介绍了如何通过编写自动化测试来验证智能合约的行为。内容包括搭建测试环境（使用本地区块链）、编写单元测试（使用Chai断言库），以及执行复杂断言的方式（使用OpenZeppelin Test Helpers）。文章还提及了持续集成服务（如CircleCI）的设置，以便每次提交代码到GitHub时自动运行测试。
智能合约  自动化测试  单元测试  Chai断言库  OpenZeppelin Test Helpers  本地区块链 

bips/bip-tap-proof-file.mediawiki，位于 bip-tap · Roasbeef/bips

该文档定义了一种扁平文件证明格式，作为打包 Taproot Asset 证明的标准方法。该证明格式本身是给定资产先前谱系的仅附加日志。证明锚定在给定资产的初始“创世输出”处。单个 Taproot Asset 状态转换的证明包括比特币默克尔证明、Taproot Asset 默克尔和稀疏默克尔树 (MS-SMT) 包含证明，最后是一组有效的状态转换见证人。
Taproot Asset  比特币  默克尔树  MS-SMT  创世输出  证明格式