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

深入 Web3 工程学：基于 Solidity 0.8.24 复刻 Pendle 收益拆解核心机制

前言在Web3领域，PendleFinance的资产处理架构，一直被视为金融工程设计的标杆案例。它最核心的创新，是把生息资产进行标准化拆分，设计出PT本金凭证与YT收益凭证，通过一套全局收益指数算法，实现高效、公平、可组合的资产分层模型。很多开发者只听过概念，却从未真正读懂底层的指
智能合约  Solidity  Pendle 
  • 木西
  • 发布于 2026-05-12
  • 阅读 ( 181 )

Uniswap V2 核心必学知识点笔记

Uniswap必学知识点
Uniswap  Uniswap V2 

软件开发的最终形态: AI 写代码 + Lean 证明， 来自 zkVM 开发的启示

本文提出了一种软件开发的新范式：使用AI代理直接编写RISC-V汇编代码，并在Lean证明助手中进行形式化验证，确保zkVM的guest程序无bug。作者认为，由于RISC-V汇编易于推理，且AI代理能自动编写代码和证明，这种方法比使用Rust、C等高级语言更可靠，避免了编译器优化带来的不确定性和未定义行为。文章比较了CompCert、CakeML、Rust等方案，并指出汇编+Lean是范畴论意义上的最终形式。
RISC-V  Lean  zkVM  形式化验证  汇编代码  AI代理 

机构质押与验证者尽职调查

以太坊质押市场正从追求APR的粗放阶段转向机构化的尽职调查时代。机构资本要求验证者提供可量化的可靠性证明：链上信号（如Rated Network的RAVER方法衡量任务完成度）与链下审计（SOC2、ISO27001、分布式验证技术DVT、原生资产保险）共同构成评估框架。Lido V3、Jito StakeNet等协议将信誉直接编入代码，自动调整资本分配。然而，合规压力可能引发交易审查，威胁去中心化本质。文章呼吁验证者坚守抗审查的自由基底层。
以太坊  质押  验证者  尽职调查  机构资本  去中心化 
  • DAIC
  • 发布于 2026-05-12
  • 阅读 ( 136 )

用于密码学的同源数学

本文为同源密码学提供数学基础，介绍同源（isogenies）的定义、性质（如可分离性、度）、自同态、j-不变量、对手同源和挠点等概念。文章从椭圆曲线和群论出发，解释有理映射如何形成群同态，以及同源如何通过核与子群一一对应。重点包括：同源是满射的群同态；自同态构成环；j-不变量用于分类同构曲线；可分离同源的度等于核的大小；每个同源有唯一对手同源，其合成是倍乘映射。这些概念是理解基于同源的密钥交换协议（如SIDH/SIKE）的前提，但需注意SIKE已于2022年被攻破。
同源  椭圆曲线  后量子密码学  SIDH  SIKE  同源密码学 

Goldfish：健忘的分叉选择

本文介绍了以太坊信标链的LMD-GHOST共识算法存在的平衡攻击问题，并提出了改进方案Goldfish。Goldfish通过两个核心改变——消息缓冲（view-merge）和投票过期——在简化算法的同时提高了安全性。消息缓冲让验证者在投票前同步提议者的视图，投票过期则阻止旧投票被重放。这些改动使得Goldfish比未修补的LMD-GHOST更简单，比修补后的版本更安全。文章还讨论了Goldfish的子采样和乐观快速确认特性，展示了其在可扩展性和最终性延迟方面的优势。
Goldfish  LMD-GHOST  共识算法  消息缓冲  投票过期  安全性 

如何使用Solana Kit集成Quicknode插件（第一部分）

本文介绍了如何在Solana Kit（前身为Solana Web3.js 2.0）中集成Quicknode的Priority Fees API Add-on。文章详细解释了Solana Kit中API和Transport的概念，展示了如何通过定义自定义RPC方法和类型，将Quicknode Add-on作为原生RPC方法使用。步骤包括创建项目、定义类型、创建传输函数和RPC函数，最后运行脚本获取优先费用估算。该方法利用了Solana Kit的扩展性，使第三方Add-on与原生方法无缝协同。
Solana Kit  Quicknode Add-ons  Priority Fees  自定义RPC  API与Transport  Typescript 

如何使用 Solana Kit 发送交易

本文介绍了如何使用 Solana Kit（原 Solana Web3.js 2.0）执行基本的 Solana 交易，包括空投和转账。教程详细展示了新 API 的功能式编程风格、模块化设计、pipe 函数以及类型安全等特性，并提供了完整的代码示例和运行步骤。
Solana Kit  交易  转账  空投  Solana Web3.js 2.0  功能式编程 

使用 Solana Kit 反序列化账户数据

本文详细介绍了如何使用 Solana Kit（原 Solana Web3.js 2.0）反序列化 Solana 账户数据。
Solana Kit  反序列化  账户数据  二进制数据  端序  程序派生地址 

使用Solana Kit集成QuickNode附加组件（第二部分）

本文是系列教程的第二部分，展示如何使用Solana Kit（前Solana Web3.js 2.0）集成多个QuickNode附加组件，包括优先级费用API、Metis Jupiter Swap API和IPFS网关。通过自定义RPC传输和类型定义，实现REST API调用，并最终将自定义附加组件与原生Solana方法（如getAccountInfo）结合使用。文章提供了详细的代码示例和步骤，帮助开发者在Solana Kit框架中灵活集成QuickNode服务。
Solana Kit  Quicknode Add-ons  REST API  IPFS  Metis Jupiter Swap 

为Quicknode优先级费API构建Solana Kit插件

本文详细介绍了如何使用Solana Kit构建一个与Quicknode优先级费API集成的插件。文章从插件的工作原理（柯里化函数）讲起，逐步指导读者创建项目、定义类型、实现获取优先级费和交易规划器的函数，并最终在示例中演示如何获取费用估值和发送带动态优先级费的SOL转账。通过本指南，读者可以学习到Solana Kit的插件模式、类型安全的客户端扩展以及如何将外部服务无缝集成到交易流程中。
Solana Kit  插件  优先级费  QuickNode  交易规划器  Typescript 

使用 ERC-7730 为你的协议添加清晰签名

本文教程介绍ERC-7730标准，该标准定义了一种JSON格式，用于描述智能合约函数调用的含义，使钱包在用户签署交易时能够显示人类可读的信息（如“Swap 1000 USDC for at least 0.42 WETH”），从而实现“所见即所签”（clear signing）。
ERC-7730  清晰签名  描述符  安全  交易  钱包 

Web3创始人生存指南：工程课程不教的那些事

本文为Web3技术创始人提供了一套非代码领域的实用指南，涵盖代币经济学、融资、治理、财库管理、监管、市场推广、安全策略和团队建设八大类别。
Web3创始人  代币经济学  治理  融资  财库管理  监管 
  • zealynx
  • 发布于 2026-05-11
  • 阅读 ( 145 )
  • ( 2 )

Zcash复兴：为什么是现在？

文章回顾了Zcash过去三年从困境到复兴的历程，分析了治理解锁（取消直接资助、终止商标协议）、产品解锁（推出Zodl钱包，聚焦用户体验）、叙事解锁（从‘隐私币’重塑为‘不可阻挡的私密货币’）和组织解锁（ECC团队成立ZODL实验室，获2500万美元融资）。目前ZEC价格约600美元，屏蔽池占比从11%升至31%，屏蔽交易占比达86.5%。未来重点包括用户体验、可扩展性（Tachyon项目）和后量子安全。
Zcash  隐私  零知识证明  治理  钱包  后量子安全 

大白话讲透 FP 网络

在区块链/Web3/钱包语境里，大家常说的FP网络，一般指的是FaultProof（故障证明）网络。什么是FP网络FP网络=让L2（比如Arbitrum、Optimism、Base）能被L1以太坊“安全监督”的一套验证网络。
FP 

面向以太坊的可移植验证边界——执行层研究

文章指出以太坊在正确性（ZK证明）和数据可用性（DAS等）方面取得了进展，但验证仍依赖于特定系统。为解决此问题，提出“可移植验证边界”概念，即通过简单的哈希承诺（Observation Commitment Protocol, OCP）实现系统无关的验证：只需重新计算哈希并与链上承诺比对，任何字节变化都导致验证失败。文章认为这可能是以太坊缺失的第三个原语，并探讨了标准化和与现有层组合的开放问题。
以太坊  可移植验证  哈希承诺  Observation Commitment Protocol  验证边界  正确性 

Uniswap V2 源码学习第十二篇：skim、sync 和 lock，Pair 的边界处理函数

边界函数处理
Uniswap V2 

使用Solana Kit创建同质化代币

本教程介绍了如何使用Solana Kit（原Solana Web3.js 2.0）在Solana区块链上创建同质化代币。内容涵盖：环境搭建、建立RPC连接、生成密钥对、向付费账户空投SOL、创建并初始化铸币账户、创建关联代币账户（ATA）并铸造代币。文章提供了完整的TypeScript代码示例，并解释了关键组件如铸币账户、代币账户和ATA。通过本教程，读者可以学习到Solana Kit的模块化、可组合性特点，以及如何使用@solana-program/token库进行代币操作。
Solana Kit  同质化代币  代币创建  SPL Token  关联代币账户  solana开发 

Uniswap V2 源码学习第十一篇：Flash Swap，为什么 V2 可以先借钱后还钱？

Flash Swap拆解
Uniswap V2 

Uniswap V2 源码学习第十篇：Oracle，TWAP 价格累计机制是怎么藏在 Pair 里的？

_update函数拆解
Uniswap V2