精选文章 - 第12页

Solana 数据索引的问题

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

Solana 数据索引状态膨胀高频交易 Old Faithful Astralane

astralaneio
发布于 2025-03-12
阅读 ( 1528 )
( 79 )

一文了解BLS聚合签名

in 密码学和网络安全

BLS聚合签名（BLSAggregateSignature）是一种基于BLS（Boneh-Lynn-Shacham）签名算法的高级密码学技术，具有签名聚合的能力。

BLS signatures

Louis
发布于 2025-03-12
阅读 ( 1944 )
( 102 )

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

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

运营安全 Web3 分层防御密钥管理安全流程 SEAL 911

Cyfrin
发布于 2025-03-11
阅读 ( 564 )
( 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
阅读 ( 2163 )
( 117 )

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

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

稳定币 M^0协议去中心化金融治理控制法定资产铸币机制

mixbytes
发布于 2025-03-11
阅读 ( 1631 )
( 89 )

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

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

智能合约安全审计模糊测试静态分析正式验证 Web3

Cyfrin
发布于 2025-03-09
阅读 ( 852 )
( 26 )

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

本文深入探讨了Uniswap v4的新功能hooks，如何通过扩展常数函数市场制造者（CFMMs）的可交易性来改善交易路由。文章详细介绍了hooks的数学原理与应用场景，证明了其在某些条件下能够显著提升交易效率，并保持最佳路由问题的可解性。

Uniswap Hooks CFMM 交易路由数学证明去中心化交易

thogiti
发布于 2025-03-08
阅读 ( 556 )
( 11 )

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

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

Solana 账户系统 Rust 高性能区块链 Token 安全性

OxElliot
发布于 2025-03-08
阅读 ( 2079 )
( 104 )

深入 Uniswap V4 源码 - PoolManager

in 深入理解 Uniswap V4

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

Uniswap PoolManager 流动性管理代币交易合约安全智能合约

adshao
发布于 2025-03-08
阅读 ( 1027 )
( 10 )

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

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

程序派生地址 Solana 智能合约数据存储安全性 Rust编程

OxElliot
发布于 2025-03-08
阅读 ( 1598 )
( 81 )

如何进行ZK：Noir与Circom比较

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

circom Noir 零知识证明电路生态系统工具

mariiazhvanko
发布于 2025-03-08
阅读 ( 943 )
( 14 )

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

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

智能合约审计私密审计竞争审计 DeFi 安全性

Cyfrin
发布于 2025-03-07
阅读 ( 527 )
( 10 )

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

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

Uniswap V3 ticks 集中流动性流动性提供价格曲线 DeFi

RareSkills
发布于 2025-03-06
阅读 ( 2008 )
( 114 )

详解 Solana eBPF 虚拟机

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

Solana eBPF rBPF 虚拟机程序执行系统调用

Anza
发布于 2025-03-06
阅读 ( 1673 )
( 104 )

多签的正确使用方式

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

multisig 安全性风险管理 Timelock Gnosis Safe RolesAuthority

Recon
发布于 2025-03-06
阅读 ( 1652 )
( 116 )

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

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

BitVM 欺诈证明 BitVM2 跨链桥比特币编程零知识证明

L2IV
发布于 2025-03-05
阅读 ( 1894 )
( 68 )

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

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

智能合约不变性 Echidna 模糊测试 Solidity ERC4626

Recon
发布于 2025-03-05
阅读 ( 1355 )
( 68 )

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

in 密码学101

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

椭圆曲线函数同态同构扭曲密码学

Frank Mangone
发布于 2025-03-05
阅读 ( 1625 )

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

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

不变性智能合约 ERC4626 安全性测试属性定义正式验证

Recon
发布于 2025-03-05
阅读 ( 1143 )
( 39 )

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

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

黑客多签名安全分析 Bybit Safe 操作安全

Cyfrin
发布于 2025-03-05
阅读 ( 1076 )
( 11 )