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

Certora Prover 开源——智能合约安全的未来

Certora Prover 是一种先进的正式验证引擎，旨在提升 Ethereum、Solana 和 Stellar 等平台的智能合约安全性。通过开源，Certora Prover 旨在降低安全成本，提升可访问性，最终帮助开发者在早期发现和修复可能的漏洞。这篇文章详细介绍了 Certora Prover 的功能、工作原理以及其对多个知名项目的实际影响。
正式验证  智能合约  Certora Prover  安全性  DeFi  开源 
  • Certora
  • 发布于 2025-02-25
  • 阅读 ( 426 )
  • ( 2 )

Web3 极客日报 #1681

  • rebase
  • 发布于 2025-02-25
  • 阅读 ( 617 )
  • ( 8 )

统一以太坊：实现无缝跨链互操作性的路径

文章探讨了区块链生态系统中跨链互操作性的现状与挑战，提出通过Intents架构来简化用户在跨链交易中的复杂性，进而推动DeFi和Web3的全面发展。成功的跨链互操作性将使资产、数据和价值的流动更加高效，促进用户和开发者的参与。
跨链互操作性  Intents  ERC-7683  Web3  DeFi  区块链 
  • across
  • 发布于 2025-02-25
  • 阅读 ( 399 )
  • ( 4 )

深度解析：Solana DePIN - 2025年1月

该文章深入探讨了2025年1月Solana DePIN领域的发展情况，涵盖了地图绘制（Hivemapper）、无线网络（Roam, XNET, Helium Mobile）、计算与AI（Nosana, Render, Kuzco）以及能源（Srcful）等多个板块的关键数据和进展。
DePIN  Solana  Hivemapper  Helium  Render  Nosana 
  • syndica
  • 发布于 2025-02-25
  • 阅读 ( 108 )

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

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

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

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

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

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

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

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

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

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

ERC721 - OpenZeppelin 文档

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

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

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