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

Web3 极客日报 #1860

  • rebase
  • 发布于 19小时前
  • 阅读 ( 36 )

AAVE V4：通过风险溢价实现的更公平的借贷模型

AAVE V4 引入风险溢价，作为其借贷架构的核心组成部分，从根本上改变了在共享流动性系统中确定借贷成本的方式。文章深入探讨了 AAVE V4 的风险溢价机制，解释了借贷成本是如何调整的，揭示了用户界面上不明显的流动和会计逻辑。风险溢价根据抵押品的风险状况动态调整借贷成本，从而实现更公平、更清晰的借贷。
Aave V4  风险溢价  借贷模型  抵押品风险  利率计算  DeFi 

ERC8004 从 v0.4 到 v1.0 规范：通往主网之路

该文章介绍了ERC-8004协议从 v0.4 到 v1.0 的重大更新，包括身份、声誉和验证注册表架构的修改。身份注册表迁移到 ERC-721 NFT 标准，声誉注册表引入了加密授权，验证注册表支持基于 URI 的证据。文章还讨论了安全性考虑因素、 Gas 成本分析、部署状态和迁移要求。
ERC-721  NFT  声誉系统  智能合约  加密签名  EIP-191  ERC-1271 
  • yq_acc
  • 发布于 1天前
  • 阅读 ( 55 )
  • ( 2 )

x402：AI 代理经济中涌现的代理支付及加密货币的角色

本文探讨了AI经济中涌现的代理支付及其加密货币的角色，重点介绍了x402标准，该标准旨在使AI代理成为成熟的经济参与者，利用区块链技术实现无感的支付体验。文章分析了x402标准的背景、支付流程、最新进展以及在各种用例中的应用，包括API访问、数据服务和电子商务，并展望了区块链技术在未来代理驱动的互联网中的作用。
x402  代理支付  AI 代理  区块链  稳定币  智能合约 
  • Galaxy
  • 发布于 1天前
  • 阅读 ( 77 )
  • ( 2 )

Recon Magic 简介

Recon Magic 是一种使用 Agentic Workflows 的智能合约模糊测试工具，通过优化标准化行覆盖率，实现了更高效的状态模糊测试。与传统方法相比，Recon Magic 采用钳制处理程序和快捷功能，显著提高了测试效率，平均提速 38 倍。实验结果表明，在多个实际项目中，Recon Magic 能够实现更高的代码覆盖率。
模糊测试  智能合约  代码覆盖率  Agentic Workflow  Recon Magic  Solidity 
  • Recon
  • 发布于 1天前
  • 阅读 ( 56 )
  • ( 2 )

基于哈希函数的签名（四）：XMSS 和 SPHINCS

本文介绍了两种后量子密码学中基于哈希的签名方案：XMSS和SPHINCS。XMSS是一种带状态的签名方案，它使用类似于默克尔树的结构，但子节点在哈希前会与掩码进行异或运算，叶子节点是L-树的根值，L-树存储了WOTS+公钥的元素。SPHINCS是一种无状态的签名方案，由多棵树组成，通过WOTS+和HORS签名消息，无需记忆状态，索引号根据消息确定性地取出。
XMSS  SPHINCS  哈希签名  后量子密码学  默克尔树  WOTS+  HORS 

影响 Solana 程序的关键安全漏洞

本节，我们将学习影响 Solana 程序的关键安全漏洞以及防御这些漏洞的实用策略。

Solana 程序安全实践

以太坊开发者需要担心 gas 优化和顺序执行，而 Solana 开发者则必须掌握一个全新的威胁环境，在这个环境中，账户取代了存储，程序是无状态的，交易在并行执行通道中相互竞争。

使用 Mollusk 测试

Mollusk 通过提供一个专为 Solana 程序开发设计的精简测试环境
Solana  Mollusk 

使用 Surfpool 进行测试

Surfnet 是 solana-test-validator 的直接替代品，专为 Solana 开发者提供最佳开发体验而设计。

使用 LiteSVM 进行测试

Solana 程序测试传统上需要在速度和准确性之间做出选择。LiteSVM 通过提供一个既快速又功能齐全的进程内测试环境，消除了这种权衡。

在 Solana 程序中实现最佳效率的实用策略

虽然许多开发者选择 Pinocchio 是因为它对账户字段的精细控制，但它的真正优势在于实现最大性能。

Pinocchio 入门 - 数据读写

本指南中的技术适用于任何 Solana 开发框架；无论您使用的是 Pinocchio、Anchor 还是原生 SDK。关键在于仔细设计数据结构并安全地处理序列化。

Pinocchio 入门-账户、指令及错误

学习如何使用 Pinocchio 从零开始构建一个 Solana 程序

Merkle Trees in Blockchain: Definition, Uses & How They Work

## Key Takeaways: Merkle Tree in Blockchain - A Merkle tree is a cryptographic data structure that organizes data using hashes in a hierarchical tree

作为基础设施的以太坊、Vitalik谈去中心化与用户体验、无需信任的互操作性、7702 & 4337...

本文总结了以太坊在2025年的发展，包括其作为全球基础设施的地位、Vitalik对可用性和去中心化权衡的看法、L2BEAT对无需信任的以太坊互操作层（EIL）的分析，以及EIP-7702账户采用ERC-4337的加速增长。
以太坊  EIP-7702  ERC-4337  账户抽象  互操作性  去中心化 

基于哈希函数的签名（三）：多次签名

本文介绍了基于哈希函数的多次签名方案，特别是使用默克尔树将多个一次性签名（OTS）公钥聚合成一个主公钥的方法。通过认证路径，签名只需包含少量哈希值，从而节省空间和计算量。文章还解释了使用第一个OTS公钥进行签名时认证路径的构成。
哈希函数  签名方案  默克尔树  一次性签名  认证路径  密码学 

Web3 极客日报 #1859

  • rebase
  • 发布于 2天前
  • 阅读 ( 60 )
  • ( 3 )

Rust Agent + DAG：为什么真正复杂的任务，必须用“任务图”

in  用 Rust 打造一个 AI Agent
如果你已经实现了前面几篇里的Agent：有Executor有并发有长期记忆你很快会撞上一堵结构性的墙。一个必然会出现的问题：Plan→Act循环开始失控先看一个真实但常见的Agent行为：“我先查A，再查B，如果B失败就重试A，然后根据A+B决定是否
Rust  AI Agent 
  • King
  • 发布于 2天前
  • 阅读 ( 102 )
  • ( 3 )

基于哈希函数的签名（二）：少量次数签名

本文介绍了HORS（Hash to Obtain Random Subset）签名方案，这是一种基于哈希函数的少量次数签名方案。HORS通过使用子集抗性函数替代单向函数，并使用哈希函数作为选择函数，提高了签名方案的安全性，使其能够多次使用同一密钥对进行签名。
HORS签名  哈希函数  少量次数签名  子集抗性  密码学  数字签名