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

用于跨链消息传递系统的 AI 驱动的联盟证明证明 - 第 2 部分

本文介绍了CORE Pipeline，这是一个用于确保跨链消息传递系统安全的系统。该pipeline通过生成场景、进行稳健性可行性分析、进行参数优化以及进行统计认证四个阶段，来保证在各种情况下，攻击者无法通过贿赂节点来伪造消息，并提供一个可验证的证书来证明系统的安全性。
跨链消息传递  安全  联盟优化  稳健型启发  参数优化  统计认证 
  • thogiti
  • 发布于 2025-09-20
  • 阅读 ( 1875 )
  • ( 162 )

发现智能合约漏洞的方法（审计：第二部分）

本文是智能合约审计系列文章的第二部分，主要讨论了如何发现智能合约中的漏洞。文章首先定义了智能合约中的bug类型，然后详细介绍了在理解代码的过程中以及如何通过测试假设来发现潜在的漏洞，并强调了采用攻击者思维模式的重要性，通过不断提问和探索各种可能性来进一步挖掘潜在的漏洞。文章还提到审计是一个不断学习和改进的过程，即使失败也能提供宝贵的经验。
智能合约  审计  漏洞  重入攻击  拒绝服务  安全 

交易所钱包系统开发 #3 - 处理用户充值

梳理了交易所钱包系统中充值处理环节，可能遇到的各种问题。从 **如何识别 ETH 和 ERC20 充值**、到 **应对区块链分叉**，再到 **数据库的表结构与用户余额的聚合视图**，完整地走了一遍充值业务的核心流程。
交易所  钱包  充值  ERC20 
  • Tiny熊
  • 发布于 2025-09-19
  • 阅读 ( 2488 )
  • ( 694 )

Dean Little 谈 Solana 的真相

本文采访了Solana生态的开发者Dean Little，探讨了他对区块链构建，底层开发，以及教育的看法。他强调了设计容错系统的重要性，突破技术限制的创新精神，以及在高度抽象化的世界中保持对底层技术的深入理解。文章还提到了他为Solana构建量子抗性vault，以及对开发者教育的独特理念。
Solana  区块链  底层开发  量子计算  密码学  开发者教育 
  • Helius
  • 发布于 2025-09-18
  • 阅读 ( 1763 )
  • ( 132 )

EVM 中的钻石：突破限制的可扩展代理

本文介绍了 Diamond (EIP-2535) 协议，它是一种将智能合约的功能模块化并使其可升级的方法。Diamond 允许将合约逻辑分割成多个 facet，这些 facet 可以独立升级，从而突破了 EVM 的 24KB 代码大小限制，并提供了一种组织和管理大型智能合约代码库的有效方式。文章还提供了示例代码和部署步骤，展示了如何使用 Diamond 协议来构建可升级的智能合约。
智能合约  代理合约  可升级性  EIP-2535  Diamond 协议  Facet 

跨链消息传递系统的抗联盟证明 第一部分

本文深入探讨了LayerZero、CCIP和Across等跨链桥的安全经济学，提出了一个包含联盟、相关性和机制的框架，用于评估和提高桥的安全性。核心观点是桥的安全性取决于打破它所需的最廉价的相关联盟，因此需要购买独立性、支付检测费用和投资未来，使作弊在经济上不可行。
跨链桥  LayerZero  CCIP  经济安全  联盟  相关性  机制设计 
  • thogiti
  • 发布于 2025-09-16
  • 阅读 ( 1813 )
  • ( 141 )

【引介】Canon Guard - 更安全的使用 Safe 多签

本文介绍了Canon Guard，一种用于多重签名（Multisig）交易的更安全执行模型。它通过引入Action合约来封装交易逻辑，并结合时间锁和自定义Safe Guard合约来增强安全性，旨在减少重复审批、防止恶意攻击，并实现完全链上的透明度和可模拟性。
多重签名  multisig  安全  智能合约  时间锁  链上治理 

为什么Based Rollup 是以太坊唯一的未来？

文章讨论了Based Rollup (Based Rollup) 成为以太坊未来发展方向的原因。
以太坊  Rollup  Based Rollup  互操作性  排序器  MEV  PBS 
  • Hazeflow
  • 发布于 2025-09-13
  • 阅读 ( 2074 )
  • ( 41 )

交易所钱包系统开发 #2 - 签名机设计与账户生成实现

在交易所钱包系统中，我们通过内网隔离 `wallet` 主模块与 `signer` 签名机，提升了整体安全性。签名机基于 BIP39 / BIP32 / BIP44 标准，以单一助记词派生无限地址，降低了备份和迁移成本。 结合交互式密码隐藏输入机制，加强安全性。
交易所钱包  BIP39  签名机  钱包开发 
  • Tiny熊
  • 发布于 2025-09-13
  • 阅读 ( 3261 )
  • ( 400 )

以太坊的开放、应用驱动的全同态加密 - 隐私

本文深入探讨了全同态加密（FHE）在以太坊中的应用，包括DeFi、治理、rollup和AI等多个用例。文章分析了现有FHE技术在以太坊生态中的角色及面临的技术挑战，提出了开放基准测试、可持续经济模型、可验证FHE（vFHE）以及去中心化密钥管理等潜在发展路径，并强调了应用驱动的方案选择、可验证性设计、安全密钥管理以及IND-CPAD安全性的核心考虑因素。
全同态加密  以太坊  隐私保护  DeFi  密钥管理  安全  零知识证明 

zkVM、电路与优化博弈

本文探讨了零知识虚拟机（zkVMs）和电路（Circuits）的选择问题，以及zkVM架构的未来发展方向，包括定制指令集与基于RISC-V的通用指令集之间的权衡。文章强调，工程优化、迭代速度和安全性是关键考虑因素，纯粹追求理论速度并非唯一目标，生态系统的多样性能够提高安全性。
零知识虚拟机  zkVM  电路  RISC-V  指令集  优化  Amdahl定律 
  • Aligned
  • 发布于 2025-09-12
  • 阅读 ( 1560 )
  • ( 47 )

链上收益平台 Pendle (PENDLE) 概述

本文全面概述了 Pendle 协议，它通过将收益资产分解为本金和收益两部分，为 DeFi 引入了利率市场。Pendle 允许用户对收益进行交易、对冲和优化，并通过 vePENDLE 机制激励流动性，同时还推出了 Boros 模块，旨在实现永续合约资金费率的交易。
Pendle  收益代币化  利率互换  vePENDLE  Boros  资金费率 
  • OAK
  • 发布于 2025-09-11
  • 阅读 ( 2408 )
  • ( 269 )

以太坊上更安全的冷钱包存储方案

本文讨论了传统冷存储方案在以太坊上面临的风险，并提出了一种更安全的替代方案：利用智能合约的可编程性来构建自保护的冷存储钱包。这种方法通过实施角色分离、时间锁和速率限制等多层安全控制，即使在多重签名密钥泄露的情况下，也能最大程度地减少资金损失。
冷存储  智能合约  多重签名  时间锁  速率限制  安全 

Monad上的Prop AMM - 一种机制完善的、最佳原子执行路由

本文介绍了一种为Monad构建的执行时路由，用于在黑暗/专有 AMM 上实现原子最佳执行和激励对齐。该路由利用 Monad 的gas和延迟模型，在一个交易中探测多个AMM，选择最佳AMM执行。通过oracle轮次锁定，bonding, refunds, and penalties等机制，使得诚实报价成为平衡。
Monad  AMM  路由  gas模型  原子最佳执行  oracle 
  • thogiti
  • 发布于 2025-09-07
  • 阅读 ( 1716 )
  • ( 151 )

理解合约部署、代理和CREATE2——第二部分

本文深入探讨了以太坊虚拟机（EVM）上常用的合约部署模式，包括用于逻辑升级的UUPS代理，用于标准化和可追踪部署的工厂模式，以及用于gas高效复制的最小代理（克隆）。文章通过代码示例详细解释了这些模式的原理和应用，并区分了简单合约、代理和克隆。
UUPS代理  工厂模式  最小代理  CREATE2  EVM  智能合约  代理模式  EIP-1822  EIP-1167 

交易所钱包系统开发 #1 - 系统设计

前不久，我写了一篇设计稳定币系统的文章，有很多朋友和交流一些细节，我发现很多同学想详细了解托管类系统，如何处理资金安全问题。从这篇文章开始，将以交易所为例，设计和实现一个安全且极简的加密货币托管系统，以便大家在实现类似系统的时候有一个参考。因为管理资金的是钱包，托管系统有时也叫交易所钱包系统。交
交易所钱包  钱包开发 
  • Tiny熊
  • 发布于 2025-09-04
  • 阅读 ( 3558 )
  • ( 418 )

重入漏洞完全实战指南

本文全面分析了重入漏洞，并通过可执行的示例介绍了各种攻击类型。
重入漏洞  Reentrancy  CEI模式  智能合约安全  以太坊  漏洞分析 
  • Ackee
  • 发布于 2025-09-04
  • 阅读 ( 1887 )
  • ( 108 )

今天就实施 EIP-7730 , 让硬件钱包不再盲签

本文讨论了Web3生态系统中长期被忽视的盲签问题，以及Bybit被黑事件暴露出的用户验证交易信息的不足。文章分析了EIP-712的局限性，并提出了EIP-7730作为一种解决方案，通过使硬件钱包能够解码交易，帮助用户理解他们实际签署的内容，从而提高交易的安全性，并降低了开发者的实施负担。
盲签  EIP-7730  EIP-712  硬件钱包  交易安全  Web3 

利用 Lighter + Succinct 实现无跨链桥的可组合性

本文介绍了无桥抵押模型，它通过将资产保留在以太坊L1上，并利用ZK证明将其价值投射到高性能L2上，实现了资本位置与效用的分离。该模型通过Lighter和Succinct两项技术实现，具有提高资本效率、实现跨层可组合性、确保安全互操作性等优点，并克服了传统桥接的局限性。
ZK证明  L2  无桥抵押  Lighter  Succinct  以太坊 

Solana 索引器 CLI - 高性能区块链监控工具

Solana Indexer CLI 是一个用于实时 Solana 区块链监控、账户跟踪和数据索引的命令行工具，具有高级缓存和 gRPC 流媒体功能。它具有实时槽跟踪、账户监控、gRPC 流媒体、多层缓存、IPFS 集成、数据库持久化和交互式 TUI 等关键特性，能够高性能地监控 Solana 区块链。
Solana  indexer  区块链监控  gRPC  缓存  命令行工具 
  • senzenn
  • 发布于 2025-09-02
  • 阅读 ( 2168 )
  • ( 140 )