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

045：共识机制：区块链信任的发动机

in  Web3 敲门砖计划
共识机制是区块链的信任核心。它让分布式节点在无信任环境下达成一致。本文梳理 PoW、PoS、BFT 等主流机制的原理、优缺点与演进趋势，解析安全博弈与设计取舍
共识机制  信任  PoW  PoS  BFT  Web3 
  • Henry
  • 发布于 2025-10-10
  • 阅读 ( 771 )
  • ( 33 )

Cyfrin团队

Cyfrin 推出了web3招聘平台 Cyfrin Jobs，旨在变革区块链协议寻找人才的方式，并帮助开发者发现和获得理想的职位。该平台通过与 Cyfrin Updraft 等生态系统集成，提供经过验证的技能和经验，帮助组织简化招聘流程，同时为求职者提供真实的职位和展示经验的平台。
区块链  招聘平台  Web3  Cyfrin  Cyfrin Jobs  人才招聘 
  • Cyfrin
  • 发布于 2025-10-10
  • 阅读 ( 369 )
  • ( 10 )

UniswapV2 深入解析系列 23：协议费用与系列总结

in  UniswapV2 技术深度解析
本篇为《UniswapV2 深入解析》系列第 23 篇，聚焦于 协议费用（Protocol Fee） 的设计理念、合约落地与治理流程，并对整个系列进行总结回顾。在前文中，我们已经完成对 Router、Pair 以及闪电贷安全机制的梳理，本篇将进一步完善“收益分配”这一闭环，帮助读者理解 Uniswa
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-10
  • 阅读 ( 569 )
  • ( 25 )

UniswapV2 深入解析系列 22：重入防护与闪电贷安全

in  UniswapV2 技术深度解析
本篇为《UniswapV2 深入解析》系列第 22 篇，延续上一章对闪电贷流程与手续费模型的讨论，聚焦于 闪电贷引入的重入风险 及其治理方案。阅读本文前，建议先回顾第 20 与 21 篇对手续费修复与闪电贷机制的梳理，以便理解本文中合约架构的演进脉络。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-10
  • 阅读 ( 466 )
  • ( 15 )

UniswapV2 深入解析系列 21：闪电贷机制与手续费结算

in  UniswapV2 技术深度解析
继第 20 篇讨论手续费修复之后，本篇将围绕 Pair 合约，介绍闪电贷能力如何与手续费验证逻辑融合。阅读本篇后，你将理解闪电贷的业务场景、合约设计要点、实际实现方式以及 Foundry 测试策略。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-10
  • 阅读 ( 389 )
  • ( 11 )

UniswapV2 深入解析系列 20：swap手续费修复与 K 值守护

in  UniswapV2 技术深度解析
上一章我们验证了精确输出场景的价格计算，本篇回到 Pair 合约，针对长期被忽视的手续费缺口进行全面修复，确保自动做市恒定乘积模型不被破坏。 原始的 swap 函数虽通过恒定乘积检查限制输出，却没有对输入资金征收 0.3% swap 手续费，导致流动池实际增值低于预期，进而影响价格稳定性与协议收入
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-10
  • 阅读 ( 438 )
  • ( 15 )

UniswapV2 深入解析系列 19：精确输出兑换

in  UniswapV2 技术深度解析
延续第 18 篇对“精确输入兑换”的分析，本章聚焦另一条常被忽略的路径：用户提前锁定想要获得的输出数量，再推导出所需投入的最小代币金额。这类“反向兑换”在做市调仓、偿还借贷仓位或撮合做空头寸时尤其重要，也完整展示了 Router 与 Library 协同的另一面。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-10
  • 阅读 ( 380 )
  • ( 12 )

UniswapV2 深入解析系列 18：精确输入兑换

in  UniswapV2 技术深度解析
本篇第 18 篇延续上一章对 Router 的讨论，聚焦最常见的兑换入口 swapExactTokensForTokens。前端几乎所有“用固定数量兑换尽可能多目标代币”的需求都会落到这条路径上，因此理解其执行流程是把握 Uniswap 交互体验的关键。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-10
  • 阅读 ( 427 )
  • ( 17 )

UniswapV2 深入解析系列 17：输出金额计算与路径滑点管理

in  UniswapV2 技术深度解析
继第 16 篇聚焦 LP 授权后，本篇将深入交换流程的数学基础，阐述输出金额的推导、实现与验证方法，并给出多跳路径下的滑点治理策略。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-10
  • 阅读 ( 473 )
  • ( 14 )

Web3协议中作为攻击向量的治理

本文深入探讨了Web3协议和DAO中基于治理的攻击向量，例如内部人员利用其影响力，恶意提案通过审查，或隐藏的升级路径包含后门逻辑。文章分析了治理漏洞的类型，包括治理控制、恶意提案、后门升级路径等，并探讨了现实案例，如Compound和Beanstalk DAO的漏洞。此外，文章还提出了减轻治理风险的策略，旨在为评估DAO和可升级协议中的治理风险提供清晰的框架。
DAO  Web3  治理  攻击向量  内部威胁  智能合约安全 
  • cantina
  • 发布于 2025-10-10
  • 阅读 ( 459 )
  • ( 21 )

智能账户和账户抽象如何协同工作：Web3 用户体验的革命

本文介绍了账户抽象（Account Abstraction, AA）和智能账户（Smart Accounts）如何通过简化交易流程、实现社交恢复、灵活的费用管理和批量交易等功能，将Web3的复杂技术转化为用户友好的体验。账户抽象是底层技术，而智能账户是用户实际交互的层面，二者结合使得区块链技术更易于主流用户使用，并为开发者提供了构建用户体验媲美Web2应用的工具。
账户抽象  智能账户  ERC-4337  Web3  社交恢复  交易批处理 

从Pedersen承诺的范围证明中移除配对、Bulletproofs或零知识证明 - 密码学

提出了一种在EVM上验证基于Pedersen承诺的隐私币范围证明的简化方法。该方法只需要6次ECMUL和3次ECADD运算，显著降低了gas消耗。该方案在第一次设置和承诺时需要zkSNARKs，但之后的花费被最小化，并且客户端的交易生成不需要ZKP计算。
范围证明  Pedersen承诺  EVM  zkSNARKs  椭圆曲线密码学  Chaum-Pedersen DLEQ 

通过新的资助机制来支持隐私

以太坊的资助协调团队与Keyring Network合作，推出了一种新的以太坊生态系统中影响资助的方法。Keyring的zkVerified主网许可库，为DeFi借贷市场提供合规和保护隐私的访问。在前两个月，Keyring的zkVerified库中的所有协议费用将用于Tornado Cash开发者Roman Storm和Alexey Pertsev的法律辩护基金。
以太坊  隐私  DeFi  资助  zkVerified  Tornado Cash 

可验证的云：EigenCloud如何开启加密应用和AI时代

该文章介绍了 EigenCloud，一个构建在 EigenLayer 之上的加密原生云平台。EigenCloud 旨在通过提供可验证的计算、数据可用性和验证服务，解决加密领域的可编程性难题，从而实现更广泛的应用程序，类似于 AWS 云服务对 Web2 的影响，目标是创建一个可验证的经济。
EigenLayer  EigenCloud  AVS  可验证计算  数据可用性  restaking 

SP1 Hypercube的形式化验证

Nethermind Security Formal Verification 团队和 Succinct Labs 合作，使用 Lean 证明助手对 SP1 Hypercube 的所有核心 RV-64 芯片进行了形式化验证，并感谢以太坊基金会的慷慨支持。该团队将 RISC-V 操作码的行为对照官方 64 位 RISC-V Sail 规范进行了验证，证明了其在实际应用中的可行性。
形式化验证  RISC-V  Lean 证明助手  SP1 Hypercube  zkVM  Sail 规范 

Solana 地址进阶：从 TS/JS 到 Rust SDK V3，完全掌握公钥与 PDA 的底层逻辑

in  Solana
Solana地址进阶：从TS/JS到RustSDKV3，完全掌握公钥与PDA的底层逻辑你好，Solana开发者！无论是用TypeScript/JavaScript开发前端应用，还是用Rust编写高性能智能合约，地址(Pubkey/Address)都是你代码中的核心实
Solana 

046：账户抽象——让钱包变得更聪明

in  Web3 敲门砖计划
抽象账户让钱包不再受限于私钥控制。通过自定义逻辑，用户可实现Gas代付、多签恢复与批量操作等功能。EIP-4337 的出现，使区块链交互更灵活、更安全，也为智能钱包的普及铺平了道路
AA  账户抽象  ERC4337  Web 
  • Henry
  • 发布于 2025-10-10
  • 阅读 ( 627 )
  • ( 28 )

Kohaku 安全钱包 - 路线图

Kohaku是一个旨在为钱包提供安全和隐私的工具集，包含SDK、参考实现钱包和与其他钱包的合作。其核心目标是实现隐私功能，并通过浏览器扩展展示这些功能，主要关注隐私、安全改进，以及未来的原生以太坊浏览器和本地AI交易安全评分，并积极寻求合作。
隐私  安全  钱包  SDK  零知识证明  账户抽象 

赏金追踪 2025 年 10 月：构建通用 FHEVM SDK

Zama 举办赏金计划，激励开发者为 Zama Confidential Blockchain Protocol 做出贡献。本季的挑战是构建一个通用的 FHEVM SDK，一个与框架无关的前端工具包，帮助开发者轻松运行 confidential dApp。奖金池为 10,000 美元，SDK 需要具备框架无关性、包装所有必需包、提供类似 wagmi 的结构，并支持快速设置加密和解密流程。
fhEVM  SDK  Zama  加密  解密  区块链 
  • ZamaFHE
  • 发布于 2025-10-10
  • 阅读 ( 544 )
  • ( 28 )

Solana 密钥实战：一文搞懂私钥、公钥、PDA 的底层关系与 CLI 操作

in  Solana
Solana密钥实战：一文搞懂私钥、公钥、PDA的底层关系与CLI操作你好，Solana开发者！在Solana上构建应用，一切都始于对密钥（Keypair）和账户（Account）的深刻理解。你的钱包地址是如何生成的？为什么只用32字节的私钥就能控制整个账户？以及，智
Solana