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

Web3 极客日报 #1903

  • rebase
  • 发布于 28分钟前
  • 阅读 ( 6 )

SIWE（Sign-In with Ethereum）登录流程概述

SIWE（Sign-InwithEthereum）登录流程概述什么是SIWE？SIWE（Sign-InwithEthereum）是一个以太坊登录的开放标准（EIP-4361），它允许用户通过钱包签名一条结构化的消息来安全地验证身份，而无需进行链上交易或支付Gas费。核心思想SIWE
SIWE 
  • 曲弯
  • 发布于 12小时前
  • 阅读 ( 33 )
  • ( 2 )

以太坊为何需要一个动态可用协议 - 共识

这篇文章提出了以太坊下一代共识协议的“两层架构”设计，核心是一个小委员会生产的快速可用链（heartbeat）和独立的终结性机制。重点强调了heartbeat层所需的“动态可用性”特性，解释了其重要性（弹性、抗审查、应用层连续性）以及为何单一协议无法同时实现动态可用性和最终性。文章还探讨了Goldfish协议作为heartbeat层的潜在选择，及其在缩短槽时间、实现后量子密码学兼容性方面的优势。
以太坊共识  动态可用性  两层架构  Goldfish协议  后量子密码学  最终性机制 

从构建 Claude Code 中学到的经验教训：我们如何使用技能

本文分享了Anthropic团队在使用其AI编码助手Claude Code中的“技能（Skills）”功能时获得的经验教训。文章详细介绍了不同类型的技能，例如库参考、产品验证、数据分析、业务流程自动化、代码脚手架、代码质量、CI/CD、Runbooks和基础设施操作，并提供了创建、分发和管理这些技能的最佳实践，以提升AI代理的开发效率和工作流自动化。
Claude Code  AI智能体  技能（Skills）  Anthropic  代理编程  开发实践 
  • trq212
  • 发布于 14小时前
  • 阅读 ( 52 )

原生账户抽象：最新进展和待定提案 (Q1/26)

本文深入探讨了以太坊原生账户抽象的最新进展，详细介绍了Vitalik的EIP-7701（和EIP-8141）、Tempo Transactions以及EIP-8130等四项核心提案。文章比较了这些提案在实现Gas赞助、批量交易、Passkey认证及后量子密码学等功能上的不同哲学、技术路径和权衡，并分析了它们对内存池（mempool）问题及现有ERC-4337和EIP-7702解决方案的改进。
账户抽象  EIP-7701  EIP-8130  EIP-8141  mempool  后量子密码学 

什么是跨链DEX？ - CoW DAO

本文详细介绍了跨链DEX，解释了它如何将不同区块链上的资产互换操作简化为单一交易。文章深入探讨了桥接聚合器、原生流动性网络、意图型系统和原生稳定币原语等多种架构，并分析了跨链交易中的原子性问题、安全风险以及未来的链抽象趋势。
跨链DEX  意图型系统  桥接聚合器  原子性  链抽象  区块链安全 
  • CowSwap
  • 发布于 15小时前
  • 阅读 ( 43 )

leanConsensus 中的分叉选择：ethlambda 如何实现 LMD-GHOST

这篇文章深入探讨了 leanConsensus 协议中的 LMD-GHOST 分叉选择算法，详细阐述了其工作原理、优势、具体实现步骤及与以太坊信标链的设计差异。它还提及了 LMD-GHOST 如何与 3SF-mini 最终性机制协同工作，以确保区块链的稳定性和永久性。
leanConsensus  LMD-GHOST  3SF-mini  分叉选择  最终性  以太坊共识 

Tekton：大规模部署 AI 代理，面向下一代软件开发

这篇文章介绍了 LambdaClass 公司如何利用 AI 代理提升软件开发效率。他们开发了一个名为 Tekton 的自托管平台，用于大规模运行 AI 代理，该平台利用 NixOS 和轻量级虚拟机提供隔离、可复现的开发环境，并集成了任务管理、成本跟踪和部署预览等功能，以确保在引入 AI 提高生产力的同时保持代码质量和安全性。
AI代理  Tekton  软件开发  NixOS  虚拟机隔离  Rust 

阅读 Lean 4 定理的漫游指南

这篇文章深入探讨了Curry-Howard对应原理，它将编程语言中的类型与数学中的命题、程序与证明等同起来。文章以编程视角解读了Lean 4证明助手，通过将定理、假设、策略等概念与TypeScript函数、参数、调试器操作进行类比，详细介绍了如何阅读和理解Lean 4的证明，并分析了其内核验证机制，强调了形式化验证在确保软件正确性方面的价值。
Curry-Howard对应  Lean 4  证明助手  形式化验证  类型论  策略 

快速确认规则: 以太坊在13秒内确认

FCR（快速确认规则）旨在将以太坊L1到L2或中心化交易所的存款确认时间从数分钟缩短至约13秒，大幅提升用户体验和市场效率。它通过计算证明（attestations）而非区块深度来实现，在特定假设下提供确定性保障，并且不需要硬分叉即可部署。FCR将成为行业新标准。
以太坊  快速确认规则  二层网络  确认时间  证明  最终性 

如何推出代币化国库券而不陷入企业尽职调查

文章介绍了代币化国库券作为连接传统金融与区块链的基础设施。它通过解决结算摩擦、提高透明度等问题，使金融机构受益。文章强调，代币化国库券成功的关键在于通过机构的尽职调查，这要求在托管、代币铸造、合规性、智能合约设计、安全性和运营可靠性等方面提供稳健的解决方案。
代币化国库券  机构采用  托管  智能合约  合规性  安全性 

DeFi隐私指南 - CoW DAO

本文深入探讨了DeFi领域的隐私挑战，包括交易在公共内存池中面临的MEV攻击（如三明治攻击和抢先交易）以及区块链分析公司追踪钱包地址的风险。文章提出了多种解决方案，如私有内存池、意图交易（以CoW Protocol为例）、混合协议和多钱包策略，旨在增强用户在DeFi中的隐私保护。
DeFi隐私  MEV  三明治攻击  抢先交易  意图交易  链上分析 

Energy-Fi：基于 DePIN 的能源资产化协议设计与实现

前言在2026年的Web3版图中，纯粹的"小圆盘"博彩模式已逐渐式微，取而代之的是拥有真实物理底座的Energy-Fi。该协议将GambleFi的"赔率博弈"与现实世界的"电网负荷"相结合，创造了一种全新的能源资产化交易模式。本文将完整复盘一套Energy-Fi协议从合约架
智能合约  Solidity  DePIN  Energy-Fi 
  • 木西
  • 发布于 1天前
  • 阅读 ( 73 )
  • ( 2 )

Vibe Coding 时代，我用 Rust 写了个流量哨兵

前阵子有个朋友找到我，说他搞了个公益服务放在网上，免费给大家用的。本来挺好的事儿，结果没过几天服务器就扛不住了——有人疯狂刷接口、暴力破解、搞DDoS。他问我：有没有什么简单的办法能挡一挡？我说，这不是有防火墙吗？他说云服务商的防火墙太粗糙，只能按IP段封，而且按流量计费，攻击流量进来之
Rust  net-sentry  Sentry  netfilter  net/http 
  • King
  • 发布于 1天前
  • 阅读 ( 57 )
  • ( 2 )

利用 GPT-5.4 反编译字节码

本文介绍了作者如何利用GPT-5.4反编译以太坊智能合约字节码的实验。文章通过分析一个钓鱼合约和Balancer V2攻击者的合约，详细阐述了GPT-5.4如何结合Etherscan、函数签名数据库和运行时嵌入字符串等多种工具，逐步推理并重构合约行为及背后的攻击逻辑。
字节码反编译  GPT  以太坊  智能合约  Balancer  逆向工程 
  • jaczkal
  • 发布于 1天前
  • 阅读 ( 875 )
  • ( 159 )

Ottie: 为什么加密货币需要自己的代理

Ottie 是一个专为加密货币领域设计的 AI 代理，它针对区块链金融的特殊性，强调安全性、原生支持以太坊、自进化技能、多代理协作及多渠道集成。文章通过与通用代理 OpenClaw 的对比，阐述了 Ottie 如何以 Go 单一二进制实现高效、安全和适应性强的加密操作。
Ottie  AI 代理  DeFi  安全性  Go 语言  自进化技能 
  • yq_acc
  • 发布于 1天前
  • 阅读 ( 87 )
  • ( 9 )

当 RWA遇上 ERC-6551：让资产自己携带「灵魂」—— 一套基于混合加密与 Token Bound Account 的链上资产凭证架构

前言RWA（RealWorldAssets，现实世界资产）赛道的核心命题是：如何将现实中的资产可信地映射到链上。目前主流的方案已经能通过NFT来代表一套房产、一件艺术品，甚至一张应收账款，但一个关键问题始终没有被很好地解决——资产背后的凭证（鉴定报告、合规审计、维修记录、保险证明……）
RWA(现实世界资产)  ERC-6551  SBT  混合加密  数字信封  NFT 
  • Gould
  • 发布于 1天前
  • 阅读 ( 101 )
  • ( 4 )

libsecp256k1：比特币的密码学心脏

本文深入探讨了比特币核心密码学库libsecp256k1的历史、演变和重要性。它详细介绍了该库从早期作为OpenSSL替代品的发展过程，如何通过性能优化、安全增强（如防止侧信道攻击）和引入Schnorr签名等新特性，成为保护比特币网络数千亿美元资产的关键组成部分。文章还强调了其对质量控制、代码测试和未来发展的持续努力。
libsecp256k1  secp256k1  椭圆曲线密码学  数字签名  Schnorr 签名  侧信道攻击 

PURR：Hyperliquid 贝塔投资

本文分析了Hyperliquid链上的迷因币PURR。作者认为PURR是Hyperliquid生态系统增长的“贝塔”投资，受益于HYPE代币上涨带来的财富效应。文章详细介绍了PURR的代币经济模型、持有者结构，并将其与Solana上的BONK进行对比，最后讨论了潜在风险。
PURR  Hyperliquid  迷因币  HYPE  空投  流动性 

Web3 极客日报 #1902

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