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

Solidity 0.8.29 发布

Solidity 0.8.29 发布
Solidity 

区块链入门：智能合约（第二部分）

本文深入探讨了智能合约和Solidity语言的关键细节，包括与区块链交互的方法、合约调用模式、合约部署方式以及合约特性。作者通过实例和详细解释，阐述了如何在安全和有效的基础上构建智能合约，并强调了理解编码信息和合约结构的重要性。整篇文章结构清晰、逻辑性强，非常适合想进一步了解智能合约开发者。
智能合约  Solidity  区块链  合约调用模式  合约部署  交易结构 

Solana 数据索引的问题

本文深入探讨了Solana区块链中存在的数据索引问题，分析了由于交易量大导致的复杂数据解析、状态膨胀以及数据存储成本等挑战。同时介绍了Triton的Old Faithful项目及其在改进Solana数据储存与检索方面的潜力，最后提出了Astralane的新型数据基础设施，用于提升高频交易和实时数据处理的效率。
Solana  数据索引  状态膨胀  高频交易  Old Faithful  Astralane 

一文了解BLS聚合签名

in  密码学和网络安全

BLS聚合签名（BLSAggregateSignature）是一种基于BLS（Boneh-Lynn-Shacham）签名算法的高级密码学技术，具有签名聚合的能力。
BLS signatures 
  • Louis
  • 发布于 2025-03-12
  • 阅读 ( 1406 )
  • ( 102 )

提升 Web3项目运营安全：开发者和团队的最佳实践

本文讨论增强Web3的运营安全性（OpSec）的方法，包括分层防御、密钥管理和安全流程。作者基于自己在卡支付行业的经验和SEAL 911的最佳实践，提供了一系列切实可行的建议，旨在帮助协议开发者和维护者保护用户及协议的资金。
运营安全  Web3  分层防御  密钥管理  安全流程  SEAL 911 
  • cyfrin
  • 发布于 2025-03-11
  • 阅读 ( 296 )
  • ( 14 )

检查 Solana SPL 代币账户余额的五种方法

这篇文章详细介绍了在Solana上检查SPL代币账户余额的五种方法，包括使用SPL-Token命令行接口、JavaScript API、SPL Token程序API、cURL脚本和Rust语言，文中提供了具体的代码示例和使用步骤，非常适合开发者了解和应用。
Solana  SPL Token  API  cURL  Rust  JavaScript 
  • QuickNode
  • 发布于 2025-03-11
  • 阅读 ( 1483 )
  • ( 117 )

现代稳定币 - M^0 是如何构建的

M^0 Protocol 是一种稳定币设计，采用简化的治理控制机制，通过验证者和铸造者的活动来维持与法币的锚定，从而更好地结合传统金融与去中心化金融。本文详细探讨了 M^0 协议的工作原理，包括参与者的角色、铸币和抵押机制、以及如何通过简单的经济激励维持价格稳定，确保系统的安全性和透明度。
稳定币  M^0协议  去中心化金融  治理控制  法定资产  铸币机制 
  • mixbytes
  • 发布于 2025-03-11
  • 阅读 ( 1164 )
  • ( 89 )

8款行业领先智能合约审计和安全工具

本文列出了八种行业领先的智能合约安全审计工具，讨论了它们的功能和优势，强调了安全性在Web3生态系统中的重要性。工具涵盖模糊测试、静态分析和正式验证等不同领域，旨在帮助智能合约开发者提高代码的安全性和可靠性。
智能合约  安全审计  模糊测试  静态分析  正式验证  Web3 
  • cyfrin
  • 发布于 2025-03-09
  • 阅读 ( 380 )
  • ( 26 )

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

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

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

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

深入 Uniswap V4 源码 - PoolManager

in  深入理解 Uniswap V4

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

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

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

如何进行ZK：Noir与Circom比较

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

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

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

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

本文详细解释了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
  • 阅读 ( 1287 )
  • ( 104 )

多签的正确使用方式

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

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

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

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

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

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

in  密码学101

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