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

一文了解BLS聚合签名

in  密码学和网络安全

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

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

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

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

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

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

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

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

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

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

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

如何进行ZK：Noir与Circom比较

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

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

多签的正确使用方式

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

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

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

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

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

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

in  密码学101

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

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

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

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

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

如何在 Uniswap V4 上创建 Hook

本文介绍了如何在Uniswap V4中使用Hooks添加自定义逻辑，详细讲解了Hooks的生命周期、IHook接口和Hook标志，并提供了一个简单的Swap Limiter Hook的实现和测试方法。
uniswap v4  Hooks  Swap Limiter  Smart Contract  DeFi  Ethereum 
  • QuickNode
  • 发布于 2025-03-03
  • 阅读 ( 1332 )
  • ( 69 )

EigenLayer 解锁：通向无摩擦去中心化应用程序的可行路径

本文深入探讨了EigenLayer及其再质押生态系统，介绍了如何通过活跃验证者集（AVS）推动去中心化应用程序的开发。EigenLayer的再质押机制增强了经济安全性，使开发者能够利用以太坊的共识机制来支持新的链下服务，同时降低了进入障碍，并促进了多链生态下的相互作用。文中详细介绍了再质押的经济学、网络安全、操作员的作用和跨链创新等关键概念，以及EigenLayer未来的战略和挑战。
EigenLayer  再质押  去中心化应用  活跃验证者集  协议经济学  跨链安全 

以太坊 Pectra 升级：主要改进及影响

Pectra是即将到来的以太坊升级，旨在通过Prague和Electra两个层面提升可扩展性、安全性和开发工具。此次升级引入了多项重要的EIP，如允许验证者在32到2048 ETH之间灵活质押，及智能账户功能的改进。Pectra将增强以太坊用户、开发者和验证者的体验，并推动以太坊向全面Danksharding的方向发展。
Pectra  Ethereum  EIP-7702  智能账户  质押  可扩展性 
  • QuickNode
  • 发布于 2025-03-02
  • 阅读 ( 1436 )
  • ( 173 )

Bybit被盗事件深度解析

文章阐述 Safe{Wallet}的签名过程以及替换 JavaScript 完成攻击的过程。
Safe  Bybit 
  • BlockSec
  • 发布于 2025-03-01
  • 阅读 ( 841 )
  • ( 2 )

多种访问链上 Safe 钱包账户的方法

访问链上 Safe 钱包账户的方法
Safe  多签钱包