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

CertiK年度安全报告：2025年Web3损失同比增37%，钓鱼攻击与供应链事件成主要威胁

12月23日，全球最大的Web3安全公司CertiK发布《2025SkynetHack3DWeb3安全报告》，系统梳理了过去一年Web3领域的主要安全事件与风险趋势。报告指出，Web3行业在回暖的市场环境与更清晰的监管预期中加速发展，但安全风险并未随之缓解，仍面临着系统性安全挑战。报告显示
web3安全 
  • CertiK
  • 发布于 4天前
  • 阅读 ( 147 )
  • ( 5 )

你不知道的Rust那些奇葩事儿

圣诞前夜，圣诞树灯闪闪，我窝在沙发上刷Rust新闻，越刷越乐。2025年这家伙，Rust简直像开了挂：Android内存bug暴跌、Linux内核正式收编、微软扬言2030年全换Rust……我一个老Rust粉，看得直呼“螃蟹要上天了”！平时写代码就爱折腾Rust，今天忍不住吐槽一波
Rust 
  • King
  • 发布于 4天前
  • 阅读 ( 177 )
  • ( 5 )

Web3 极客日报 #1850

  • rebase
  • 发布于 4天前
  • 阅读 ( 132 )
  • ( 5 )

初入了解web3 质押

Web3质押（Staking）全解析Web3中的质押（Staking）是基于权益证明（PoS）及衍生共识机制（如DPoS、PoS+、Cosmos的Tendermint等）的核心经济模型，本质是将加密资产锁定在区块链网络中，为网络提供安全、参与共识或验证交易，从而获得代币奖励的行为。
  • 伊人
  • 发布于 4天前
  • 阅读 ( 118 )
  • ( 6 )

Uniswap V2 机制深度解析 ——定价过程、流动性演化与滑点的数学本质

本文围绕UniswapV2的三个核心机制展开：定价机制：常数乘积模型下的边际价格、区间价格与TWAP流动性池：储备、LPToken、费用与K的动态演化滑点机制：成因、计算方式。
Uniswap V2  DeFi 

Devcon 8 将于 2026 年 11 月在印度孟买举行

以太坊基金会宣布第八届开发者大会（Devcon 8）将于2026年11月3日至6日在印度孟买举行。选择印度的原因是其庞大且快速增长的开发者生态系统、日益增长的本地采用率以及强大的基层以太坊社区。大会包含多个阶段，提供深入的技术内容和研讨会，也为新手提供会议。
DEVCON  以太坊  开发者大会  印度  孟买  社区 

ERC-4337 落地场景全盘点：游戏、DAO、DeFi 的下一个爆发点

前言本文围绕ERC-4337标准展开全面梳理，先系统解析其核心内容，涵盖概念定义、核心价值、组件构成、工作流程、特性优势及当前面临的挑战与发展现状，构建起清晰的理论认知框架；再聚焦实践落地，基于OpenZeppelin与account-abstraction工具，完整实现ERC-4337钱包开发
ERC4337  智能合约  Solidity  OpenZeppelin 
  • 木西
  • 发布于 4天前
  • 阅读 ( 228 )
  • ( 5 )

让比特币说人话

本文介绍了“人眼可读的比特币地址（HBA）”提案（BIP353），旨在通过DNS将复杂的比特币地址转换成类似于email的简单形式，提高比特币支付的易用性和用户体验。HBA具有隐私性、抗审查性、安全性与互操作性，并详细说明了HBA如何通过解析DNS记录中的BOLT12要约来实现简化的支付流程，以及如何在不牺牲比特币核心原则的前提下，改进用户体验。
人眼可读的比特币地址  HBA  BIP353  DNS  BOLT12  闪电网络 

Rust 的那些事：一门“让人又爱又恨”的语言

很多语言是“先让你跑起来”，Rust更像“先让你别摔死”。它不哄你开心，但它会在你写下第一行并发代码、第一次把性能榨干、第一次线上跑几个月不崩的时候，给你一种很踏实的爽感。这篇就聊聊Rust的那些事：它为什么火、为什么难、难在哪里、又到底值不值得。1）Rust到底在解决什么问题？
Rust 
  • King
  • 发布于 5天前
  • 阅读 ( 265 )
  • ( 12 )

MetaDAO：互联网的新资本形成层

本文介绍了 MetaDAO，一个旨在通过“所有权币”和基于决策市场的治理模型，解决加密货币领域资本形成中激励错配问题的平台。MetaDAO 旨在创建一个更安全、透明和高效的融资环境，让投资者免受创始人滥用和欺诈行为的侵害。
MetaDAO  所有权币  决策市场  Futarchy  融资平台  治理模型 

构建无需重型框架的安全Solana验证器

本文讲述了Certora在加入Solana基金会委托计划时，为了满足高性能和低延迟的要求，没有采用传统的监控框架，而是选择从头开始构建自己的监控“反框架”。该系统基于Unix哲学，利用小型、简单和可组合的工具处理文本数据，避免了不必要的复杂性和抽象层，实现了快速开发和部署。
Solana  validator节点  监控系统  Unix哲学  性能优化  JSONL 
  • Certora
  • 发布于 5天前
  • 阅读 ( 327 )
  • ( 3 )

Celo 上的首个同步可组合的 Appchain

Spire、cLabs 和 Self Protocol 合作在 Celo 上推出了首个同步可组合的 Appchain，该 Appchain 利用 Self 的零知识 Proof of Humanity 和 Spire 的 Pylon 平台，无需牺牲用户隐私即可原生验证链上人类身份，从而实现合规的稳定币使用、保护隐私的资格验证和年龄验证等应用。
Appchain  Celo  零知识证明  身份验证  同步可组合性  Pylon 

比特币的应用场景和安全模式的多样性

本文作者认为比特币最重要的特性是免信任性，即无需信任第三方，只需信任开源软件即可使用。比特币的应用场景可分为数字黄金和支付系统，两者信任模式不同。在考虑变更比特币时，需谨慎考虑其后果，避免强制用户信任第三方。社区应在达成共识后实施变更，以保持比特币的免信任属性和可用性。
免信任性  数字黄金  支付系统  区块链  共识  矿工 

DePIN的崛起：区块链如何驱动2026年的绿色互联网

DePIN，即去中心化物理基础设施网络，通过奖励个人和社区贡献物理资源（如带宽、数据存储、能源生成）来重塑传统基础设施模式。它结合了贡献者、区块链、智能合约和token激励，旨在构建更具弹性和环境友好的互联网，并在能源、环境数据收集等领域发挥作用。面临设备欺骗、预言机中心化和治理漏洞等挑战，DePIN有望在2026年成为更清洁、更智能、更具包容性的互联网的幕后力量。
DePIN  去中心化物理基础设施网络  区块链  智能合约  Token激励  可持续性 

爱的证明：治理AI和人类文明的共识机制

in  智能公器魔法学院
经过六年多的智能合约开发方向的摸索，我们终于确定区块链应用的发展方向，不再是“价值证明”（ProofofValue），而是“爱的证明”（ProofofLove）。而这，也正是智能合约开发的CodeisLaw的全新诠释！如果你想参与到这一全新治理共识指导之下的应用开发中，请快快参与：
爱的证明  POL  Proof-of-Love  共识协议  AI  LLM 模型 

Web3 极客日报 #1849

  • rebase
  • 发布于 6天前
  • 阅读 ( 141 )
  • ( 3 )

Solidity 0.8.31 简述：每个开发者都应了解的关键变更

本文介绍了Solidity 0.8.31版本的主要更新内容，包括默认EVM目标版本升级为Fusaka、支持CLZ操作码、存储布局支持常量、发布流程变更(ARM binaries, pre-releases)、废弃send()和transfer()等函数、ABI Coder v1将被移除等。
Solidity  EVM  Fusaka  CLZ操作码  ABI Coder  智能合约 

Codex 架构原理详解：从代理到执行的完整旅程

最近心血来潮上手试了试Codex（用#Rust开发的），本来只是想“摸个新鲜工具”图一乐，结果玩着玩着就收不住了——不管是补完我写了一半的逻辑代码，还是帮我把一段绕得头晕的业务逻辑注释理得清清楚楚，它给的反馈都比我预想的要机灵，实际用起来的效果，更是给了我好大的惊喜。
Rust  Codex  Vibe Coding 
  • King
  • 发布于 6天前
  • 阅读 ( 299 )
  • ( 14 )

治理代币和ERC-20代币，根本不是一回事？揭开链上权力的真实面纱

前言本文围绕治理代币展开多维度探究，首先对治理代币的核心概念、类型、功能及治理逻辑等核心内容进行系统性梳理，随后以HardhatV3为技术工具，通过具体的代码案例实操，完整呈现治理代币从开发环境搭建、智能合约编写，到测试、部署的全流程，助力开发者深化对治理代币的理解与应用；同时，针对开发者
治理代币  智能合约开发  Solidity 
  • 木西
  • 发布于 6天前
  • 阅读 ( 285 )
  • ( 10 )

从零开始构建 ZK (STARK) 证明器的旅程

作者分享了从零开始使用 Rust 构建 STARK 证明器和验证器的过程，包括遇到的挑战、如何利用 AI 辅助开发以及最终完成项目的经验。该项目旨在提供一个简洁易懂的 STARK 实现，帮助学习者理解 STARK 的工作原理。
STARK  零知识证明  Rust  证明器  验证器  密码学