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

Superchain 残酷共学成果展：从Rollup原理到 OP 测试链搭建实战

in  Optimism 中文力量

Superchain残酷共学已经圆满完成啦！
Superchain 

为什么形式化验证是DeFi和Web3安全的必需品

本文强调了形式化验证（FV）在Web3和DeFi安全中的重要性，指出传统测试方法不足以应对Web3的安全挑战。FV通过数学证明确保代码按预期运行，能预防高危漏洞，并已在多个知名DeFi项目中应用，同时建议将FV尽早集成到开发生命周期中，以提升代码质量和安全性。
形式化验证  Web3  DeFi  安全  智能合约  漏洞 
  • Certora
  • 发布于 2025-04-25
  • 阅读 ( 157 )
  • ( 8 )

Helius 推出验证器即服务

Helius 推出了 Validator-as-a-Service (VaaS)，这是一个为交易所、钱包、应用程序和资产管理公司构建的白标验证器解决方案，旨在运营他们自己的 Solana 验证器。通过 Helius VaaS 运行安全、合规且可用于生产的验证器，积极参与保护 Solana 网络，无需管理和维护底层基础设施的技术负担。
Solana  验证器  VAAs  staking  基础设施  收益 
  • Helius
  • 发布于 2025-04-25
  • 阅读 ( 141 )
  • ( 2 )

使用 safe-utils 和 tenderly-utils 自动化你的安全运营

本文介绍了如何使用 safe-utils 和 tenderly-utils 这两个 Foundry 模块来简化协议的治理流程，尤其是在涉及 Safe 多签账户的场景下。
多重签名  智能合约  Foundry  治理  测试网络  模拟 
  • Recon
  • 发布于 2025-04-25
  • 阅读 ( 196 )
  • ( 9 )

Lido“自带验证器”替代设计方案

本文分析了Lido V3的“自带验证器”设计方案，旨在提供可扩展、灵活和去中心化的流动性质押方法。通过引入可定制的金库，机构质押者、再质押者和节点运营商可以更好地控制其风险回报结构，确保资本的有效分配而不会损害协议的完整性。同时，优先保持stETH作为流动性质押代币 (LST)，而不是转变为纯粹的合成资产，保护赎回保证并维护DeFi生态系统内的信任。
Lido V3  流动性质押  DeFi  验证器  stETH  金库  风险管理 
  • mixbytes
  • 发布于 2025-04-25
  • 阅读 ( 150 )
  • ( 7 )

Web3 Eclipse 开发环境搭建与资产跨链桥接实战指南

in  Solana

Web3Eclipse开发环境搭建与资产跨链桥接实战指南Eclipse区块链凭借高性能和Solana虚拟机（SVM）兼容性，成为2025年Web3生态的耀眼新星。本文详细介绍如何搭建Eclipse开发环境，包括安装Rust、Solana、Anchor，创建账户，配置Sal
Web3  Solana  Eclipse 

AIFi > DeFAI : 蝴蝶效应

将 AI 与 DeFi 集成（AIFi ）将增强 DeFi 的现有使用方式。从比较定义开始，然后深入 DeFi 痛点、可验证性和各种用例, 探讨了蝴蝶效应：在复杂系统中，初始的小变化可以导致后来的重大、不可预测的结果。更好的定义会激发更好的系统
AIFI  DeFAI 

Solana账户粉尘攻击与地址投毒

该文章深入探讨了Solana区块链上两种新兴的欺诈形式：基于域名的粉尘攻击和外科手术式地址投毒攻击。文章详细解释了这两种攻击方式的原理、识别方法，以及如何通过建立工具来检测和预防这些攻击。文章强调，通过简单的逻辑和可扩展的方法，可以在钱包层面有效减少这些攻击。
Solana  粉尘攻击  地址投毒  域名  钱包安全  区块链安全 

【solidity必知】如何理解 solidity 的低级别调用与高级别调用？

在以太坊智能合约开发里，低级别调用（Low-levelcalls）和高级别调用（High-levelcalls）是两种不同的合约交互方式，对新手小白来说这可能是一个陌生的概念。这篇文章我们来详细说一下他们的概念及应用。
Solidity 

使用Yellowstone gRPC Geyser插件（Go）监控Solana流动性池

本文介绍了如何使用QuickNode的Yellowstone gRPC接口，通过Go语言实时监控Solana链上DEX的流动性池交易。文章详细说明了如何设置Go环境、创建gRPC客户端，以及如何监控Raydium流动性池的交易活动和分析交易吞吐量，为DeFi应用和交易系统提供实时数据访问。
Solana  Yellowstone gRPC  Geyser插件  Go语言  Raydium  流动性池  DEX 

事件监听 - 合约事件监听的方案汇总

in  小白专享-图解以太坊编程

合约事件监听是区块链开发中常见的需求，主要应用在Dapp开发、钱包开发、交易监控、交易所开发等场景:https://learnblockchain.cn/shawn_shaw

事件监听  The Graph  RPC  合约事件  Go-Ethereum 

长期L1执行层提议：用RISC-V取代EVM - Magicians / Primordial Soup

该文章提议用RISC-V取代EVM作为智能合约的虚拟机语言，旨在提高以太坊执行层的效率和简化性。此举将优化ZK-EVM的性能，并可能带来超过100倍的效率提升。文章还讨论了多种实现方案，包括支持双虚拟机、将现有EVM合约转换为调用RISC-V编写的EVM解释器合约等。
EVM  RISC-V  虚拟机  智能合约  ZK-EVM  执行层 

Web3 极客日报 #1727

  • rebase
  • 发布于 2025-04-24
  • 阅读 ( 436 )
  • ( 5 )

椭圆曲线密码学中强大的基点（G）——什么是阶？

本文深入探讨了椭圆曲线密码学（ECC）中基点G的重要性，解释了其在密钥交换中的作用。通过具体示例展示了如何选择合适的基点以避免循环，并介绍了order的概念及其对安全性的影响。文章还给出了判断bad base point的例子，并介绍了secp256k1曲线的基点。
椭圆曲线密码学  基点G  order  ECDH  secp256k1 

用集合论思维编写更健壮的 Solana 智能合约

本文通过一个Solana智能合约中的奖励分配逻辑的实际案例，强调了使用集合论的思维方式来确保代码的健壮性。核心思想是将问题划分为完整的子集，从而全面考虑所有可能的情况，减少bug的产生，并优化链上存储的使用。
Solana  智能合约  集合论  代码健壮性  存储优化  奖励分配 
  • MrMaxPi
  • 发布于 2025-04-24
  • 阅读 ( 587 )
  • ( 16 )

如何开发 pump.fun 智能合约 - 带源码

Pump.fun 创新性地使用连接曲线机制来解决流动性问题, 本文带领大家实现一个 pump.fun
pump.fun  Solana  bonding curve 

Openzeppelin学习：Ownable & AccessControl 源码学习

Ownable源码源码概览功能说明onlyOwner修饰器控制谁能调用敏感函数transferOwnership将权限转让给别人renounceOwnership放弃控制权，实现去中心化OwnableInvalidOwner/Unau
OpenZeppelin  access control  authority 

Openzeppelin 学习：ERC20源码分析

ERC20源码解析ERC20是以太坊上的一种代币标准，定义了一组规则，任何实现它的智能合约都可以发行一个“可替代代币”（FungibleToken,FT）可替代”是一个经济学术语，意思是：每一个单位的代币都是一样的、等价可互换的比如：你有一个1USDT，我也有一个1U
ERC20  FT  OpenZeppelin  源码分析 

用 Rust 玩转数据存储：JSON 文件持久化实战

in  Rust

用Rust玩转数据存储：JSON文件持久化实战你是否想过如何让Rust程序中的数据“长久保存”？在开发中，数据从内存到文件的持久化是一个常见需求。Rust凭借其高性能和安全性，结合强大的Serde框架，能轻松实现数据的JSON文件存储与读取。本文将带你通过一个简单却实用的Us
Rust  JSON 

监听合约事件 -- 手把手带你在线、离线部署 The Graph

in  小白专享-图解以太坊编程

是什么TheGraph是一个去中心化的协议，用于索引和查询区块链数据。它使得开发者能够构建基于区块链的数据应用（dApps），并能快速、高效地查询和访问链上的信息:https://learnblockchain.cn/shawn_shaw

The Graph  智能合约  事件监听  Solidity  以太坊  anvil