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

深入 Uniswap V4 源码 - PoolManager

in  深入理解 Uniswap V4
PoolManager 是 Uniswap v4 的核心合约，负责管理所有池子的状态和对外接口。它提供了流动性管理、代币交易、余额结算等功能，并通过一系列接口和参数来实现对池子的操作，同时保证合约的安全性和高效性.
Uniswap  PoolManager  流动性管理  代币交易  合约安全  智能合约 
  • adshao
  • 发布于 2025-03-08
  • 阅读 ( 2832 )
  • ( 10 )

Enso Network：你链上操作的“捷径”

本文详细探讨了Enso网络的演变和其在区块链生态系统中解决碎片化和互操作性问题的潜力。Enso通过意图驱动引擎和快捷方式简化了开发者在多链和DeFi协议上的集成，使他们能够专注于构建具有创新性的去中心化应用。该网络支持跨链操作和智能合约的高效执行，旨在促进区块链的广泛采用与应用转型。
Enso网络  意图驱动引擎  区块链互操作性  DeFi集成  智能合约  跨链解决方案 

使用 Gossipsub v2.0 将 blob 数量翻倍 - 网络传输

本文介绍了 Gossipsub v2.0 协议，该协议通过引入 lazy-pull 机制，在消息传播过程中减少了重复消息的数量，从而降低了网络带宽的消耗。通过模拟实验表明，Gossipsub v2.0 可以在不牺牲延迟的情况下，将 Pectra 中的 blob 数量翻倍。同时，文章还讨论了 INEED 超时等问题，并提出了未来研究方向。
gossipsub  pubsub协议  lib2p  lazy-pull  INEED超时  消息传播 

Galaxy S25系列具备量子稳健性

三星 Galaxy S25 系列手机集成了抗量子密码（PQC）技术，以应对 NIST 即将在 2030 年弃用现有公钥方法。该系列手机采用 ML-KEM 和 ML-DSA 算法，通过三星 Knox Matrix 增强数据保护，并使用 S3SSE2A 芯片加速 PQC 运算，确保设备与未来支持 PQC 的设备兼容。
抗量子密码  PQC  ML-KEM  ML-DSA  三星 Knox Matrix  S3SSE2A 

PeerDAS 准备就绪检查清单

本文档是PeerDAS准备好发布到主网的清单，主要内容包括测试网和客户端实现、规范、测试、研发四个方面。涵盖了Validator Custody、分布式Blob发布、将证明计算移动到事务发送方等多个待完成的任务，以及对增加Blob数量对带宽和硬件要求的影响分析。
PeerDAS  主网  测试网  Validator Custody  Blob  EIP 

使用 Gossipsub v2.0 将 Blob 数量翻倍 - 网络

本文介绍了 Gossipsub v2.0 的设计，它通过引入 IANNOUNCE 和 INEED 消息，实现了一种 lazy-pull 机制，在降低网络放大的同时，也能保证消息的可靠传播。模拟结果表明，Gossipsub v2.0 可以将 Pectra 中的 blob 数量翻倍。同时，文章也讨论了 INEED 超时设置和恶意节点可能带来的问题，并提出了未来研究方向。
gossipsub  libp2p  pubsub  IANNOUNCE  INEED  Pectra 

Solana中的程序派生地址（PDAs）：是什么，为什么，以及如何？

本文详细介绍了Solana中的程序派生地址（PDA），包括PDA的定义、创建方式及其与常规账户的区别，应用场景以及安全隐患。PDA作为智能合约中的独特特性，能够为开发者提供灵活和安全的数据存储方案，但在使用时需关注其潜在的安全问题。
程序派生地址  Solana  智能合约  数据存储  安全性  Rust编程 
  • OxElliot
  • 发布于 2025-03-08
  • 阅读 ( 2904 )
  • ( 83 )

Hyperliquid的秘密调料

本文深入探讨了Hyperliquid这一去中心化交易所（DEX）如何在持续竞争的加密市场中实现了显著的市场份额和用户吸引力，成功地将CEX（中心化交易所）的速度和流动性引入到链上交易，尤其是在永续合约交易领域。文章详细介绍了Hyperliquid的产品特性、技术基础及其与其他DEX和CEX的竞争优势。
Hyperliquid  去中心化交易所  永续合约  链上交易  高频交易  加密市场 

如何进行ZK：Noir与Circom比较

本文对Circom和Noir进行了高层次比较，探讨了它们的生态系统、工具集、性能以及最佳用例。Circom作为一个低级领域特定语言，关注于电路约束的细粒度控制，而Noir则是一种更高层次的语言，旨在简化开发者体验，使其无需手动管理约束，进而提升工具的灵活性和可用性。
circom  Noir  零知识证明  电路  生态系统  工具 

SP1 zkVM 简介

SP1 是一种基于 RISC-V 指令集和 STARK 的 zkVM 证明系统，支持递归证明，可以将 STARK 证明转换为 SNARK 证明。文章详细介绍了 SP1 的证明过程、分片证明的生成，递归证明的生成，并与 RISC0 进行了对比，最后评估了 SP1 zkVM 在生成 Taiko 块证明时的性能，包括运行时间、CPU 使用率和内存消耗。
zkVM  STARK  SNARK  RISC-V  递归证明  Taiko 

中间件指南链接：构建 AVS 合约快速入门指南

本文档旨在描述和总结构建在 EigenLayer 上的自主可验证服务 (AVS) 如何与核心 EigenLayer 协议交互。主要介绍了AVS开发者如何使用API来实现操作员的选择加入和退出AVS、操作员持续更新对中间件的承诺、创建操作员集合、提交操作员和利益相关者的奖励以及惩罚恶意行为的操作员等功能。
EigenLayer  AVS  操作员集合  质押  中间件  用户访问管理 

关于Unichain（Uniswap 的L2），你需要知道的七件事

本文介绍了Unchain，这是一种基于以太坊的新的Layer-2区块链，旨在解决去中心化金融(DeFi)中的流动性碎片化和最大可提取价值(MEV)问题。通过将流动性集中于单一的DeFi优化型rollup，Unichain提高了资本效率，并引入了MEV内部化机制，以更公平地分配价值。文章深入探讨了Unichain的技术架构、关键功能以及对DeFi生态的潜在影响。
Unichain  Layer-2  去中心化金融  MEV  流动性优化  OP Stack 
  • Gogol
  • 发布于 2025-03-07
  • 阅读 ( 3163 )
  • ( 69 )

测试指南 - OpenZeppelin 文档

本文档提供了关于 OpenZeppelin Monitor 测试的信息，包括运行测试、生成覆盖率报告和理解测试结构。文档详细描述了测试的组织结构，包括单元测试、集成测试和基于属性的测试，并提供了运行特定测试类别（如属性测试、集成测试或单元测试）的命令。此外，还介绍了如何生成HTML和终端覆盖率报告，并提供了一些故障排除技巧，以及贡献测试的指南。
测试  OpenZeppelin Monitor  覆盖率报告  单元测试  集成测试  属性测试 

Ola：开创安全比特币跨链交易的新范例

本文介绍了Ola，一个利用零知识证明（ZK Proofs）和BitVM2挑战者机制为比特币跨链交易构建安全基础设施的创新方案。Ola旨在提供一种安全且信任最小化的BTC跨链解决方案，允许BTC参与DeFi、NFT等应用，同时不牺牲比特币的核心安全原则，最终目标是成为关键的比特币Layer 2基础设施提供商。
零知识证明  跨链桥  BitVM2  比特币  去中心化  安全性 

Bybit安全事件分析

Bybit安全事件分析撰写本篇文章目的主要是自我学习，部分内容转自CertiK：https://mp.weixin.qq.com/s/krBPYNyNygoNAsdQQ02zsw一、简述2025.2.21，Bybit以太坊上的某个冷钱包(https://etherscan.io/address
  • KEN
  • 发布于 2025-03-07
  • 阅读 ( 2177 )
  • ( 14 )

我如何使用Solodit赢得比赛

这篇文章详细介绍了作者如何利用自己的工具Solodit提升区块链安全学习，并通过分析和总结安全报告来精进技能。作者分享了其工具的功能增强过程，以及Solodit如何从个人使用演变为社区共享的重要平台，旨在促进Web3的安全发展。
区块链安全  Solodit  安全报告  技能提升  安全审核  学习工具 

定义Token - 七种代币类别

本文介绍了区块链领域中的七种主要代币类型，包括网络代币、安全代币、公司支持代币、游戏代币、收藏代币、资产支持代币和模因币。文章详细阐述了每种代币的定义、特点和应用场景，并区分了它们的价值来源，为创业者和投资者提供了明确的指导，以更好地理解这些代币的用途和风险。
代币分类  网络代币  安全代币  模因币  区块链  资产支持代币 

Web3 极客日报 #1691

  • rebase
  • 发布于 2025-03-07
  • 阅读 ( 1242 )
  • ( 7 )

网络代币与公司支持的代币

本文探讨了网络代币和公司支持的代币之间的区别，强调网络代币的价值主要来源于区块链或智能合约协议的运作，而公司支持的代币则依赖于集中控制的系统。文章提供了两者的实际示例，并指出在确定代币类型时应考虑网络设计的开放性和经济独立性。作者还明确了相关的法律法规考量，并强调判断代币去中心化的思考框架。
网络代币  公司支持的代币  区块链  经济独立性  去中心化  法律法规 

竞争性审计与私有审计：优缺点分析

这篇文章深入探讨了竞争性和私密性智能合约审计的优缺点，并提供了选择合适审计类型的指导。文章强调审计的重要性，结合市场变化和安全需求，提出应根据公司需求和开发阶段选用竞争性或私密性审计，甚至是两者兼顾。同时，作者分析了审计成本和历史数据，提供了具体实例以帮助决策。
智能合约  审计  私密审计  竞争审计  DeFi  安全性 
  • Cyfrin
  • 发布于 2025-03-07
  • 阅读 ( 1342 )
  • ( 10 )