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

gas优化之用 struct 减少参数数量

当把多个参数打包成struct，传递给函数的就只有一个引用（栈上的一个指针），而不是多个独立的值。如果struct在memory中：函数接收到的是一个memory指针（通常占用一个栈槽）。如果struct在calldata中：函数接收到的是一个calldata偏移量
Gas 

代币化选链：先看资产特征而非意识形态

代币化发行时最常见的错误是先选链再考虑资产。文章提出应基于资产的信息特征、交互方和失败模式这三个问题来决定使用公链、私有网络还是跨链桥。公链适合需要公开透明和广泛分发的资产（如稳定币、代币化国债），私有网络适合需要机密性的资产（如双边回购、私募信贷），跨链桥则让不同轨道的资产交互。选链应是技术匹配而非意识形态。
代币化  区块链选型  公链  私有网络  跨链桥  资产信息特征 
  • bc1pxxx
  • 发布于 2 小时前
  • 阅读 ( 4 )

2026年区块链审计资助计划一览

本文梳理了截至2026年5月，多个区块链基金会（以太坊、Solana、Arbitrum、Stellar等）推出的审计补贴计划，旨在帮助项目方降低安全审计成本。文章详细列出了各计划的资助金额、申请条件、审计提供商等，并总结了通用的资格标准：需准备部署、开源代码、生态对齐、技术质量、使用白名单审计方、公开审计结果。最后，MixBytes作为审计服务商提供申请协助。
Web3审计  安全审计  补贴计划  智能合约  区块链安全  审计费用 

SpeakUp：面向性能受限设备的隐私优先 WebAssembly 的 zkVM

SpeakUp 是 PSE 团队正在原型设计的一款零知识虚拟机（zkVM），专注于隐私保护和客户端证明，能够在手机、浏览器等资源受限设备上对任意 WebAssembly 程序生成零知识证明。
SpeakUp  zkVM  VOLE  WebAssembly  零知识证明  客户端证明 
  • psedev
  • 发布于 2 小时前
  • 阅读 ( 5 )

Solana RPC 2.0：加速读取，开启下一轮竞争

Solana的RPC 2.0架构将读取层从验证器中分离，分为账户模块和历史模块，解决传统RPC的查询慢、验证器负载高的问题。账户模块使用索引和自动查询追踪，支持只存储相关程序数据，降低开发者门槛。历史模块基于ClickHouse，提供毫秒级的历史交易查询，并引入新方法getTransactionsForAddress消除N+1问题。同时，Solana正从计算竞争转向网络竞争，DoubleZero专用光纤网络提升验证器间通信效率，影响验证器选择和LST收益率。
RPC 2.0  Solana  读取层  账户模块  历史模块  DoubleZero 

了解你的代理（KYA）：AI代理验证框架

文章介绍了Know Your Agent (KYA)框架，用于解决AI代理在互联网上自主操作时的信任与问责问题。与传统的KYC不同，KYA专注于验证AI代理与人类所有者的绑定、授权范围及操作审计。文章对比了KYC的局限性，阐述了KYA在金融、企业、加密货币和API服务等领域的应用，并提及AG9作为KYA基础设施的实现示例。
KYA  AI代理验证  自主系统  身份绑定  问责机制  KYC 
  • veryai
  • 发布于 3 小时前
  • 阅读 ( 9 )

PropAMM：可编程流动性供应的兴起

文章追溯了以太坊交易原语从早期AMM到PropAMM的演变，指出AMM解决了流动性问题但存在响应滞后，PropAMM通过外部信号动态调整价格。作者介绍了BaiBai的基于appchain的架构，通过同步可组合性实现实时定价，认为这是DeFi发展的方向。
PropAMM  AMM  DeFi  可编程流动性  基于appchain  同步可组合性 

Vitalik：形式化验证程序的正确性

形式化验证（Formal Verification）是通过编写数学证明并由计算机自动验证程序正确性的技术。以太坊联合创始人Vitalik Buterin深入探讨了该技术在区块链、密码学和AI领域的应用，强调其在保证代码安全性、尤其是在智能合约和ZK-EVM等核心组件上的潜力。文章指出，形式化验证并非万能，存在规范遗漏、部分验证等缺陷，但通过AI辅助可大幅提升效率，形成“安全核心+边缘非安全代码”的新安全模型，有望实现防御方优势。
形式化验证  Lean  安全  以太坊  AI  代码验证 

PropAMMs: 可编程做市商的崛起

本文回顾了以太坊交易原语的发展历程，从早期的点对点撮合和链上订单簿的低效，到自动化做市商（AMM）的出现，再到PropAMM（主动做市商）的兴起。作者指出，PropAMM通过链下定价和链上执行，结合基于L3应用链的同步可组合性，允许流动性在交易时实时调整，有望解决DeFi中价格发现与流动性分离的问题。文章最后强调，DeFi的未来在于扩展以太坊的可组合性，而非单纯追求速度。
PropAMM  自动化做市商  交易原语  基于L3应用链  同步可组合性  DeFi 

gas优化之自定义错误

Solidity0.8.4引入的自定义错误（customerror）是require("message")的高效替代品。它不仅在部署时节省大量字节码，还在交易失败（revert）时显著降低返回数据带来的gas开销。
Gas 

gas优化之删除重置

用delete释放存储delete会将storage变量重置为零值，获得gas退款。在以太坊当前的机制下，delete释放一个非零存储槽所获得的退款是固定数值4,800gas
Gas 

gas优化之短路（Short-circuit ）优化原理

把最可能决定最终结果且最便宜的条件放在最前面，让后面的昂贵检查尽可能被短路掉。&&串联：最左边的条件应当是最可能为false且最便宜的。||串联：最左边的条件应当是最可能为true且最便宜的。
Gas 

gas优化之批量处理代替单次循环

1、根据EVM交易/调用的固定成本每一笔外部交易都要支付21000gas的基础成本，还不包括合约调用的额外开销（CALL操作码、输入数据解码等）。如果用户需要执行10次转账，分10次发起交易，光是基础成本就高达10×21000=210000gas。批量处理只需1
Gas 

理解 SLICE（PPLNS + JD）

SLICE是一种为Stratum V2设计的比特币矿池支付系统，旨在解决PPLNS在Stratum V2下的局限性。
比特币  挖矿  Stratum V2  PPLNS  SLICE  支付机制 

Sum-Check作为代数张量约简：第三部分

本文是系列第三部分，在引入环和模的基础上，继续构建线性映射、同构和双线性映射的数学工具。通过定义、例子和直觉解释，为后续用代数张量约简视角理解sum-check协议奠定基础。强调线性映射保持模结构，同构表示结构等价，双线性映射是双变量线性映射，是张量积的动机。
线性映射  同构  双线性映射  环  模  张量约简 

我造了一个 AI 智能合约工坊：输入中文需求，自动生成+审计+部署 Solidity 合约

我造了一个AI智能合约工坊：输入中文需求，自动生成+审计+部署Solidity合约缘起两个月前，一个朋友找我："我想发个ERC20代币，但我不会写Solidity。"我给他推荐了工具链：Hardhat配置环境→学Solidity语法→抄OpenZeppelin代
  • CodeMan
  • 发布于 17 小时前
  • 阅读 ( 31 )

拆解 100x 妖币 SIREN：基于 OpenZeppelin v5 与自主 AI 智能体的代币经济学架构实现

前言在2026年的加密货币大潮中，Meme币与AIAgent（自主智能体）的交织催生了无数暴富与归零的神话，其中最具代表性的莫过于SIREN。其日交易量峰值直逼近亿美元，随后又上演了单日暴跌90%的极致“海妖过山车”。SIREN的火爆在于其精妙的“双重人格AI交易助手”
智能合约  Solidity  Siren 
  • 木西
  • 发布于 19 小时前
  • 阅读 ( 17 )

推出Trustless Agents Plus (TAP)：为碎片化链上AI智能体打造的统一家园

文章指出ERC-8004标准下的智能体在跨链时面临身份碎片化和信誉孤立问题，作者称之为'身份税'。为解决此问题，提出了Trustless Agents Plus (TAP)，在Push Chain上部署TAPRegistry和TAPReputationRegistry合约，通过EIP-712签名绑定跨链身份，聚合信誉评分，并引入灵魂绑定、多样性奖励、持久惩罚等特性，实现跨链统一身份和可信信誉。
ERC-8004  跨链身份  信誉聚合  灵魂绑定代币  TAP  Push Chain 

gas优化之前置计算 array.length

在Solidity中，把数组的length提前缓存到一个局部变量中（即“前置计算”），主要是为了避免在循环的每次判断中重复读取同一个状态变量（或内存变量），从而把多次操作压缩为一次。这在storage数组上效果最明显，但也适用于memory和calldata数组。缓存后如何省

一次AI误删生产数据库的完整复盘与教训: 备份不够，确保恢复路径

作者在使用Claude Code AI agent协助Terraform迁移网站时，因未正确管理Terraform状态文件，导致agent执行`terraform destroy`意外删除了生产数据库及所有自动快照。
Terraform  AWS  数据库恢复  AI Agent  备份  删除保护