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

Raiku：解决Solana的最大痛点

本文介绍了Raiku，一个旨在解决Solana区块链确定性执行问题的方案。Solana虽然速度快、费用低，但在网络拥堵时缺乏确定性执行保证，阻碍了机构采用。Raiku通过引入AOT（Ahead-of-Time）和JIT（Just-in-Time）交易类型，以及Slot Marketplace，为需要确定性结果的用户和机构增加了一个溢价层，从而实现交易的可预测、快速和可定制排序。
Solana  确定性执行  AOT交易  JIT交易  Slot Marketplace  Raiku 
  • Hazeflow
  • 发布于 2025-10-09
  • 阅读 ( 338 )
  • ( 13 )

多签名钱包使用习惯常见误区及其纠正

本文深入探讨了多签名钱包设置中常见的错误，例如密钥备份不当、脚本配置错误、密钥分散不足、软件兼容性问题以及缺乏恢复计划。文章提供了针对这些问题的实用解决方案，强调了密钥备份的重要性、验证脚本和地址、分散密钥存储，并建议进行定期的测试和审计，以确保多签名钱包的安全性和可靠性。
多重签名  密钥管理  比特币  钱包安全  私钥备份  Shamir私钥分割 
  • BTCStudy
  • 发布于 2025-10-09
  • 阅读 ( 487 )
  • ( 7 )

免费课程推介：EVM 高阶课 - 深入汇编与字节码

在以太坊与通用区块链生态中，智能合约安全性与效率始终是关键命题。许多开发者停留在Solidity编写层面，对编译后的字节码、Gas优化、底层执行机理、形式化验证等难以深入理解。PatrickCollins出品的这门课程正是为那些想要突破Solidity层、深入EVM内部机制，并在
EVM  课程 
  • 晓娜
  • 发布于 2025-10-08
  • 阅读 ( 351 )
  • ( 11 )

Rust实战：深度解析二叉搜索树（BST）的实现，掌握泛型与内存安全

in  Rust
Rust实战：深度解析二叉搜索树（BST）的实现，掌握泛型与内存安全你好，Rust开发者！在高性能系统和底层架构中，数据结构是性能的基石。在Rust中实现一个像二叉搜索树（BST）这样的递归结构，不仅是算法的练习，更是对Rust独特内存管理和所有权系统的一次深度考验。这段代码展示
Rust 

044：ZK：隐私与可验证性的双刃剑

in  Web3 敲门砖计划
零知识证明（ZK）是一种在不泄露隐私的前提下验证真实性的密码学技术。它让链上数据既可被验证又可保持机密，被广泛用于隐私交易与可扩展性方案。但ZK实现复杂、计算昂贵，也带来中心化验证和电路可信度等新挑战
zk  零知识证明  ZKP  Web3 
  • Henry
  • 发布于 2025-10-08
  • 阅读 ( 564 )
  • ( 23 )

UniswapV2 深入解析系列 10：安全转账机制与ERC20兼容性处理

in  UniswapV2 技术深度解析
本系列文章将带您从零开始深入理解和构建 UniswapV2 去中心化交易所，通过实际编码实现来掌握自动做市商（AMM）机制的核心原理。本篇将深入探讨 UniswapV2 中的安全转账机制设计，以及如何处理不同 ERC20 代币实现的兼容性问题。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 288 )
  • ( 9 )

UniswapV2 深入解析系列 09：Solidity 安全最佳实践与整数溢出防护

in  UniswapV2 技术深度解析
本文是 UniswapV2 深入解析系列的第九篇文章，深入探讨 Solidity 智能合约开发中的安全最佳实践，重点分析整数溢出防护机制、unchecked 块的正确使用场景，以及 UniswapV2 项目中的安全设计理念。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 357 )
  • ( 8 )

UniswapV2 深入解析系列 08：代币转账机制与设计哲学

in  UniswapV2 技术深度解析
本系列文章将带您从零开始深入理解和构建 UniswapV2 去中心化交易所，通过实际编码实现来掌握自动做市商（AMM）机制的核心原理。本篇将深入探讨 UniswapV2 中的代币转账机制设计与实现策略。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 366 )
  • ( 8 )

UniswapV2 深入解析系列 07：存储优化与Gas节省策略

in  UniswapV2 技术深度解析
本系列文章将带您从零开始深入理解和构建 UniswapV2 去中心化交易所，通过实际编码实现来掌握自动做市商（AMM）机制的核心原理。本篇将深入探讨 UniswapV2 中的存储优化技术和 Gas 节省策略。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 287 )
  • ( 9 )

UniswapV2 深入解析系列 06：时间加权平均价格预言机实现详解

in  UniswapV2 技术深度解析
本文是 UniswapV2 深入解析系列的第六篇文章，深入探讨了 UniswapV2 中时间加权平均价格预言机（TWAP Oracle）的设计原理和实现细节。价格预言机是 DeFi 生态系统的重要基础设施，UniswapV2 的创新在于将 DEX 本身转变为可靠的价格数据源。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 272 )
  • ( 4 )

UniswapV2 深入解析系列 05：智能合约安全防护与重入攻击分析

in  UniswapV2 技术深度解析
本文是 UniswapV2 深入解析系列的第五篇文章，专注于智能合约的安全防护机制，特别是重入攻击（Re-entrancy Attack）的识别、分析和防护策略。安全性是 DeFi 协议的生命线，一个看似微小的安全漏洞就可能导致数百万美元的资金损失。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 291 )
  • ( 5 )

UniswapV2 深入解析系列 04：代币交换机制

in  UniswapV2 技术深度解析
本文是 UniswapV2 深入解析系列的第四篇文章，专注于去中心化交易所的核心功能——代币交换机制的实现。我们将深入探讨 UniswapV2 如何通过恒定乘积公式实现无许可的代币交换。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 336 )
  • ( 9 )

UniswapV2 深入解析系列 03：流动性移除机制与LP代币销毁

in  UniswapV2 技术深度解析
本文是 UniswapV2 深入解析系列的第三篇文章，深入讲解流动性移除的工作原理、LP 代币销毁机制，以及不平衡流动性提供的惩罚效应。
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 199 )
  • ( 2 )

UniswapV2 深入解析系列 02：流动性池机制与LP代币铸造

in  UniswapV2 技术深度解析
本文是 UniswapV2 深入解析系列的第二篇文章，重点讲解流动性池的工作原理和 LP 代币的铸造机制。
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 214 )
  • ( 7 )

UniswapV2 深入解析系列 01：架构概述与开发环境搭建

in  UniswapV2 技术深度解析
本系列文章将带您从零开始深入理解和构建 UniswapV2 去中心化交易所，通过实际编码实现来掌握自动做市商（AMM）机制的核心原理。
UniswapV2深入解析 
  • 青山
  • 发布于 2025-10-08
  • 阅读 ( 480 )
  • ( 33 )

Foundry、Echidna 与 Wake：模糊测试收缩算法比较

本文比较了 Foundry、Echidna 和 Wake 三种模糊测试工具中的 shrinking 算法。Shrinking 的作用是最小化重现 bug 所需的操作序列，从而简化调试过程。文章详细介绍了每种工具的 shrinking 算法及其优缺点，帮助读者选择最适合自己测试目标的工具。
模糊测试  智能合约  Foundry  Echidna  Wake  Shrinking 算法 
  • Ackee
  • 发布于 2025-10-08
  • 阅读 ( 302 )
  • ( 14 )

DAO过度支出：密封投标RFP可以解决这个问题

本文讨论了DAO在RFP（Request for Proposal）流程中存在的资金浪费问题，指出公开RFP导致价格虚高和提案质量下降。Shutter提出的解决方案是采用密封投标RFP，即在截止日期前保持提案私密，以恢复公平竞争。Shutter提供了一个链上密封投标RFP平台，旨在帮助DAO更明智地使用资金。
DAO  RFP  密封投标  Shutter  链上治理  提案 
  • shutter
  • 发布于 2025-10-08
  • 阅读 ( 253 )
  • ( 11 )

LogUp 在 zkVM 中的应用

Lookup(LogDerivativeLookupArgument)是一种通过**预计算表（LookupTable）**来验证某个值是否存在于特定集合中的技术。在ZKP中，它通常用于减少电路约束的复杂性，将复杂的算术约束（如位操作、范围检查）转换为查表操作，减少证明生成的开销。L
zkVM 

重心插值

重心插值（Barycentricinterpolation）是拉格朗日插值的变换。有时候需要通过一组多项式点值直接计算另一个不同点处的值，例如，p(x)p(x)p(x)是一个度为2的多项式，可以在O(N)时间内用p(0),p(1),p(2)p(0),p(1),p(2)p(0),

Recon 扩展：现在拥有更多 Halmos

Recon Extension 新版本发布，集成了 Halmos，并支持 Vyper。该扩展旨在改进模糊测试工作流程，可以更高效地定义和打破属性。通过使用 Chimera 框架，Recon Extension 可以运行 Halmos, Echidna 和 Medusa，生成报告，并将损坏的测试转换为 Foundry reproducer。
模糊测试  不变性测试  符号执行  Halmos  Echidna  Medusa  Foundry 
  • Recon
  • 发布于 2025-10-07
  • 阅读 ( 219 )
  • ( 11 )