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

BOLT 1：基础协议

本文档是闪电网络BOLT#1协议规范，定义了节点间通信的基础协议，包括连接处理、消息格式（类型-长度-值格式）、基本数据类型、设置消息（init、error、warning）和控制消息（ping、pong）等。该协议旨在建立认证和排序的传输机制，保证消息的可靠传输和处理，并允许通过TLV格式进行协议扩展。
闪电网络  BOLT  协议规范  消息格式  Type-Length-Value  TLV 

探索加密数据 II：使用外包数据服务

本文探讨了区块链数据管理和解释的外包解决方案，包括多种服务类型，如节点即服务（NaaS）、原始流、解码流、索引数据API和影子日志等。这些服务帮助开发者和企业高效地访问区块链数据，而不必自行管理节点和基础设施。文章提供了深入的技术细节和实例，展示了每种服务的功能和应用。
区块链  数据服务  节点即服务  解码流  影子日志  索引数据API 

区块链的威胁建模 - ImmuneBytes

本文深入探讨了区块链技术的核心机制，包括共识协议、数据层、网络层以及模块化架构。文章分析了每个层面存在的潜在威胁，如验证者卡特尔、数据可用性问题、DDoS攻击以及模块化链中的漏洞，并提出了相应的缓解策略，强调了威胁建模对于保障区块链安全的重要性。
区块链  共识机制  数据可用性  网络安全  模块化  威胁建模 

发行一个ERC20标准代币以及实现空投和水龙头相关使用场景

前言本文主要实现标准代币的空投合约和代币水龙头相关业务场景的实现，包含合约的编写，测试，部署全流程。概念以及相关场景说明空头合约：币圈中一种营销策略，项目方将代币免费发放给特定用户群体;代币水龙头：一种为用户提供小额加密货币的机制;标准代币说明：本合约基于openzeppelin库实
  • 木西
  • 发布于 2025-02-25
  • 阅读 ( 1030 )
  • ( 13 )

状态更新：以太坊主网上`IDONTWANT`消息的采用 - 网络

文章介绍了以太坊主网上`IDONTWANT`控制消息的采用情况。该消息旨在减少节点接收到的重复消息数量，从而提高带宽利用率。尽管所有客户端实现都已添加对`IDONTWANT`的支持，但仍有大约20%-25%的节点（1879个）由于运行旧版本而不支持此功能。ProbeLab正在监控`IDONTWANT`的采用情况，并计划在Pectra更新后重新评估其对带宽可用性的影响。
以太坊  Gossipsub协议  IDONTWANT控制消息  带宽  P2P网络  discv5网络 

Certora技术白皮书

Certora工具套件提供了智能合约审计的全面解决方案，核心是Certora Prover，该工具能自动检测代码中的漏洞并确保关键属性得到满足。文章详细介绍了Certora的功能、自动验证的流程，以及与传统测试和审计的比较，强调了Certora如何在早期开发阶段安全性验证的有效性和便利性。
Certora Prover  智能合约  验证与审计  安全性  漏洞检测  自动化 
  • Certora
  • 发布于 2025-02-25
  • 阅读 ( 625 )
  • ( 5 )

一文读懂 zk-STARK 与 zk-SNARK 零知识证明

自区块链问世以来，如何在去中心化的环境下保证数据隐私与系统可扩容，一直是产业和学界的共同难题。
zk-STARK  zk-SNARK 

Uniswap V3 的刻度（Tick） - 深入了解集中流动性

本文深入探讨了Uniswap V3中集中流动性概念的技术设计，阐明了如何通过数学模型简化复杂算法的实现，从而降低交易和流动性供应的燃气费用。文章涵盖了Uniswap V3的核心原理、实现细节，以及流动性提供的机制，强调了该设计中的优化思路和技巧，为开发者和审计人员提供了有价值的见解。
集中流动性  Uniswap V3  流动性提供  智能合约  DeFi  数学模型 
  • mixbytes
  • 发布于 2025-02-25
  • 阅读 ( 1524 )
  • ( 67 )

BOLT 1：基础协议

本文档是闪电网络基础协议规范（BOLT #1），定义了闪电网络节点之间通信的基本规则。内容涵盖连接处理、消息格式、类型-长度-值（TLV）编码、基本数据类型以及设置、控制消息，并详细阐述了节点如何通过ping/pong消息保持连接活跃，以及如何使用peer_storage消息进行对等存储。文档还包含了BigSize和TLV格式的测试向量，便于开发者验证实现。
闪电网络  协议  BOLT  消息格式  类型-长度-值  TLV  节点通信 

【Rust 基础入门】(12) | 特征 (Traits)

in  Rust 基础入门指南：为 Solana 合约学习铺路
本文介绍了Rust中的特征（Traits），通过吉他和钢琴的演奏示例展示了如何定义和实现特征、添加默认实现及使用关联类型，阐释了特征在代码复用和类型安全中的核心作用。
Rust  Rust 入门  Rust 基础  Rust语法基础 
  • 0xE
  • 发布于 2025-02-25
  • 阅读 ( 938 )
  • ( 14 )

在Uniswap V3上使用Pimlico Alto和BuildBear进行代币交换

本文提供了通过Pimlico Alto插件将ERC-4337兼容的打包器集成到区块链应用中的详细教程。内容涵盖了如何在BuildBear沙盒环境中安装和配置Pimlico Alto、使用permissionless.js管理智能账户，以及如何进行DAI与USDC的交换交易，同时提供了相关代码示例和调试工具介绍，适合开发者学习和实操。
ERC-4337  Pimlico Alto  BuildBear  区块链应用  permissionless.js  Uniswap 

Certora技术白皮书

Certora工具套件提供了一种全面的智能合约审计解决方案，通过自动检测漏洞与生成安全性保证来提升合约的安全性。该工具的核心是Certora Prover，它可以将合约字节码和用Certora验证语言(CVL)编写的规范结合起来，精确识别合约在特定情况下可能偏离规范的情形。此工具为开发者与安全研究人员提供了比传统测试和审计更可靠的安全保证。
智能合约  审计  漏洞检测  Certora Prover  验证  安全性 
  • Certora
  • 发布于 2025-02-25
  • 阅读 ( 633 )
  • ( 5 )

Uniswap Hook库里程碑 1 审计

本文对OpenZeppelin的Uniswap Hooks库进行了审计，涵盖了各类Hook的安全性及逻辑实现，详细列出关键问题，包括安全漏洞、逻辑缺陷和潜在改进意见。审计指出必须采用必要的访问控制与文档化措施来确保合约的安全性，并提供了关于如何改进合约实施的建议。
Uniswap  Hooks  安全审计  Solidity  合约设计  动态费用 

零时科技 || Bybit 攻击事件分析

我们监测到⼀笔涉及Bybit交易所的重⼤安全事件，转出401,346 ETH 、8,000 mETH、90,375 stETH和15,000 cmETH 价值约1.5 BillionUSD，共损失15亿美元。

Solana停机的完整历史：原因与解决方案

本文详细探讨了Solana网络的停机历史，分析了七次不同的停机事件及其原因、解决措施和教训。文章涵盖了网络的分布式系统特性、CAP定理及其对一致性和可用性的影响，提供了关于网络重启和漏洞报告的详细信息。作者强调，通过历史教训和社区努力，Solana的稳定性和韧性正在不断提高。
Solana  网络停机  分布式系统  CAP定理  区块链  漏洞报告 
  • Helius
  • 发布于 2025-02-25
  • 阅读 ( 1431 )
  • ( 66 )

理解 Solidity 代理合约

in  代理模式与 Delegatecall 规范手册
本文详细介绍了代理合约的概念及其在智能合约中的重要性，特别是如何通过代理合约实现智能合约的升级性和降低部署成本。文章通过示例代码和图解，深入解析了代理合约的工作原理和实现方法，并探讨了存储冲突问题及其解决方案。
代理合约  智能合约  升级性  delegatecall  存储冲突  ERC-1967 

使用Metis和Solana Web3.js 2.0自动化Pump.fun交易

本文介绍了如何使用Solana Web3.js 2.0与Metis Pump.fun API进行交互，包括如何获取报价、执行交易以及处理交易的签名和发送。提供了详细的TypeScript实现步骤，并附有相关代码示例。
Solana  Web3.js  Metis  pump.fun  API  Typescript 
  • QuickNode
  • 发布于 2025-02-25
  • 阅读 ( 2026 )
  • ( 87 )

ERC721 - OpenZeppelin 文档

本文档介绍了 OpenZeppelin Contracts 库中与 ERC721 非同质化代币标准相关的接口、合约和实用程序。
ERC721  NFT  智能合约  OpenZeppelin  代币标准  Solidity语言 

探索 Go 语言的无类设计：从 Struct 到组合的优雅之道

in  Go 语言
探索Go语言的无类设计：从Struct到组合的优雅之道在众多编程语言中，Go以其简洁和高性能著称，但它却刻意摒弃了传统的面向对象特性——class。与C++、Java等语言的继承体系不同，Go选择了一条别样的道路：通过struct、方法关联以及组合（composition）来实现

如何从你的 Solidity 代码中调用另一个智能合约

本文介绍了如何在Solidity中调用另一个智能合约的函数，通过部署两个合约（Counter.sol和Interface.sol）并演示它们之间的交互，展示了智能合约的复用性和交互方式。
Solidity  智能合约  Ethereum  goerli  Remix  接口 
  • QuickNode
  • 发布于 2025-02-24
  • 阅读 ( 942 )
  • ( 14 )