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

通过前向兑换 Hook 改进 Uniswap v4 最优路由

本文深入探讨了Uniswap v4的新功能hooks，如何通过扩展常数函数市场制造者（CFMMs）的可交易性来改善交易路由。文章详细介绍了hooks的数学原理与应用场景，证明了其在某些条件下能够显著提升交易效率，并保持最佳路由问题的可解性。
Uniswap  Hooks  CFMM  交易路由  数学证明  去中心化交易 
  • thogiti
  • 发布于 2025-03-08
  • 阅读 ( 770 )
  • ( 11 )

Solana账户基础：第一部分 - 构建模块

这篇文章深入探讨了Solana账户的工作原理及其在高效区块链应用开发中的重要性。内容涵盖了账户的基本结构、核心组件、不同账户类型及其特性，并提供了安全性和性能的最佳实践，适合具有Rust背景的开发者学习与应用。
Solana  账户系统  Rust  高性能区块链  Token  安全性 
  • OxElliot
  • 发布于 2025-03-08
  • 阅读 ( 2419 )
  • ( 104 )

深入 Uniswap V4 源码 - PoolManager

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

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

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

如何进行ZK：Noir与Circom比较

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

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

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

在Uniswap V3中引入了刻度（Ticks）

in  Uniswap V3 详解
本文详细解释了Uniswap V3中的ticks概念，ticks作为预定义价格点，在集中流动性管理中起到重要作用。文章深入探讨了ticks的定义、计算方法及其在流动性提供中的应用，并通过多个示例和插图增强理解，适合对DeFi和流动性池有一定了解的读者。
Uniswap V3  ticks  集中流动性  流动性提供  价格曲线  DeFi 

详解 Solana eBPF 虚拟机

本文详细介绍了Solana虚拟机（SVM）及其基础的rBPF虚拟机，包括其工作原理、系统调用、程序执行流程等。通过对rBPF虚拟机的分析，文章探讨了如何通过独特的指令集架构（ISA）与安全机制，确保Solana程序的高效和安全执行。本指南为对Solana和eBPF感兴趣的开发者提供了深入的技术背景资料和实践指南。
Solana  eBPF  rBPF  虚拟机  程序执行  系统调用 
  • Anza
  • 发布于 2025-03-06
  • 阅读 ( 2040 )
  • ( 104 )

多签的正确使用方式

本文详尽探讨了如何实施多重签名（multisig）安全的最佳实践，以保护区块链协议免受潜在的攻击。通过分析不同风险类别及相应的签名阈值，文章提供了一种系统的框架，建议使用多种合约（如Gnosis Safes，RolesAuthority和TimelockController）来增强安全性，并提出具体的实施建议。最终，文章强调了协议团队在管理多重签名时需要注意的良好做法和其他安全考虑。
multisig  安全性  风险管理  Timelock  Gnosis Safe  RolesAuthority 
  • Recon
  • 发布于 2025-03-06
  • 阅读 ( 1979 )
  • ( 116 )

将欺诈证明引入比特币，第二部分

本文深入探讨了在比特币上实现欺诈证明的方式，特别是BitVM和BitVM2的设计及其应用。文中详细介绍了BitVM如何利用欺诈证明实现比特币的可编程性，并探讨了BitVM2作为锁定-铸造跨链桥的创新设计，同时分析了其优缺点及对比特币的影响。文章结构清晰，内容丰富。
BitVM  欺诈证明  BitVM2  跨链桥  比特币编程  零知识证明 
  • L2IV
  • 发布于 2025-03-05
  • 阅读 ( 2091 )
  • ( 68 )

合约测试指南：实现第一个智能合约不变性测试

本文详细介绍了如何在Solidity中实现和测试智能合约的不变性，通过定义有效状态、状态转移和变量转移等属性，并使用Echidna、Medusa和Foundry等工具进行模糊测试。文章分为明确的部分，讲解了不变性质的代码实现过程，并提供了丰富的示例和解释，适合对Solidity和智能合约分析有一定了解的开发者阅读。
智能合约  不变性  Echidna  模糊测试  Solidity  ERC4626 
  • Recon
  • 发布于 2025-03-05
  • 阅读 ( 1624 )
  • ( 68 )

深入研究椭圆曲线（第四部分）

in  密码学101
本文深入探讨了椭圆曲线上的函数与映射，包括群的同态、同构、扭曲及其在密码学中的应用。作者解释了如何通过这些概念构建更复杂的算法，以及它们在有限域上的数学特性和意义。文章结构清晰，逻辑严谨，为读者提供了深入的技术理解。
椭圆曲线  函数  同态  同构  扭曲  密码学 

合约测试 - 如何定义不变性

本文深入探讨了不变性（invariants）在智能合约安全中的重要性，特别是如何在ERC4626金库中定义不变性。作者详细阐述了不变性定义的过程，并介绍了四种属性类型，帮助开发者理解如何构建安全的智能合约。文章结构清晰，包含丰富的示例和图示，适合有一定基础的开发者阅读。
不变性  智能合约  ERC4626  安全性测试  属性定义  正式验证 
  • Recon
  • 发布于 2025-03-05
  • 阅读 ( 1357 )
  • ( 39 )

Bybit 14 亿美元盗窃案：黑客如何利用 Safe 基础设施实施攻击

这篇文章详细分析了Bybit交易所创下的14亿美元黑客事件，揭示了Safe基础设施被攻击的过程。文章通过提供攻击细节、技术分析以及安全建议，强调了多签名钱包在安全验证中的重要性，以及在面对精明的攻击者时保持高标准的操作安全（OpSec）的必要性。
黑客  多签名  安全分析  Bybit  Safe  操作安全 
  • Cyfrin
  • 发布于 2025-03-05
  • 阅读 ( 1451 )
  • ( 11 )

十大智能合约审计公司与服务

本文介绍了十大智能合约审计公司及其服务，详细说明了智能合约审计的重要性，以及如何选择适合的审计服务。文章涵盖了不同公司提供的技术和专业知识，体现了在区块链项目中进行审计的必要性和益处。
智能合约审计  区块链安全  DeFi  审计公司  漏洞检测  技术评估 
  • Cyfrin
  • 发布于 2025-03-04
  • 阅读 ( 2770 )
  • ( 36 )

Vyper编程语言指南：特性、安全性与应用场景

本文详细介绍了Vyper编程语言，在智能合约开发中的安全性和简洁性，强调了其设计原则与核心特性。通过比较Vyper和Solidity，指出Vyper在安全优先和易审计性方面的优势，同时提供了安装Vyper的步骤和最佳实践，适合需要高安全性的区块链项目开发者。
Vyper  智能合约  安全性  EVM  区块链  DeFi 
  • Cyfrin
  • 发布于 2025-03-04
  • 阅读 ( 1369 )
  • ( 23 )

去中心化金融中的暗池(Dark Pool) - 第三部分

文章分析了在去中心化金融中黑池的概念及其运作，深入探讨了Railgun协议如何通过零知识证明和Merkle树实现交易隐私，保护用户身份以及提升DeFi应用的便捷性。文章还总结了不同黑池技术解决方案的优缺点以及未来的发展方向。
Railgun  暗池  隐私保护  零知识证明  Merkle树  去中心化金融 

深入 Uniswap v4 源码 - BaseActionsRouter

in  深入理解 Uniswap V4
该文章介绍了Uniswap V4 `BaseActionsRouter` 合约中几个核心方法的实现，包括如何批量执行操作、处理解锁回调、计算接收者和支付者地址等。这些方法的实现细节有助于理解合约的工作原理和其在 Uniswap V4 中的应用。
BaseActionsRouter  action处理  合约开发  uniswap v4  DeFi 
  • adshao
  • 发布于 2025-03-03
  • 阅读 ( 1036 )
  • ( 3 )

深入 Uniswap V4 源码 - PositionManager

in  深入理解 Uniswap V4
Uniswap V4 PositionManager 用于头寸管理，包括头寸的创建、修改流动性、删除等操作。通过多个方法和接口支持流动性调整和结算功能，关键操作包括增加、减少流动性及创建、销毁头寸等，结合闪电记账余额实现高效管理。
头寸管理  uniswap v4  ERC721  闪电记账  DeFi 
  • adshao
  • 发布于 2025-03-03
  • 阅读 ( 1618 )
  • ( 4 )

深入 Uniswap V4 源码 - Position 库

in  深入理解 Uniswap V4
本文详细介绍了Uniswap V4 用户头寸相关的状态管理，包括用于存储流动性及手续费增长的 `State` 结构体，获取头寸信息的 `get` 函数，计算位置键的 `calculatePositionKey` 函数，以及更新头寸信息的 `update` 函数。
头寸信息  流动性  手续费增长  Solidity  智能合约  uniswap v4 
  • adshao
  • 发布于 2025-03-03
  • 阅读 ( 967 )
  • ( 3 )