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

一文了解BLS聚合签名

in  密码学和网络安全

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

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

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

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

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

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

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

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

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

深入 Uniswap V4 源码 - PoolManager

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

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

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

如何进行ZK：Noir与Circom比较

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

深入分析漏洞：Euler Finance

Euler Finance遭遇了约2亿美元的黑客攻击，原因是其EToken智能合约中的缺陷导致的流动性检查缺失。文章详细分析了攻击的步骤、所用合约和过程，并提供了攻击的概念验证。解读了如何在该协议中出现此类漏洞及其可能的解决方案。
Euler Finance  黑客攻击  智能合约  流动性检查  动态清算  代码审计 
  • cyfrin
  • 发布于 2025-03-08
  • 阅读 ( 14 )

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

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

在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
  • 阅读 ( 954 )
  • ( 82 )

多签的正确使用方式

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

Cyfrin 2024 年总结：推动区块链安全与教育

2024年，Cyfrin实现显著增长，团队规模翻倍，保护了超过1000亿美元的区块链资产，并为超过20万名学生提供智能合约开发教育。文章回顾了公司在产品创新、教育影响、社区成长和安全成就等方面的主要里程碑，并展望了未来的发展计划。
区块链  智能合约  安全审计  教育  技术创新  社区增长 
  • cyfrin
  • 发布于 2025-03-06
  • 阅读 ( 15 )

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

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

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

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

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

in  密码学101

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

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

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

区块链开发者路线图 - 完整指南 - Cyfrin

这篇文章详细介绍了成为区块链开发者的完整路线图，从编程基础到智能合约开发，再到安全性和前端开发，提供了丰富的学习资源和课程链接。文章结构清晰，逻辑性强，为读者提供了从入门到高级发展的全套指导，让读者能够在区块链领域获得扎实的技能。
区块链开发  智能合约  编程基础  安全性  前端开发  Web3 
  • cyfrin
  • 发布于 2025-03-04
  • 阅读 ( 14 )

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

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