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

vApps：互联网规模上的可验证应用程序

Succinct 与 LayerZero 合作推出了一种名为 vApps（可验证应用程序）的新开发范例。
vApps  可验证应用程序  LayerZero  SP1  ZK证明  Rust语言 

预编译对齐错误：根本原因分析 - Anza

Agave的ed25519和secp256r1预编译程序中存在一个bug，该bug在新版v2.2引入的`--transaction-structure view`选项的验证器中被暴露。
Ed25519  secp256r1  预编译程序  交易结构体  Agave  漏洞 
  • Anza
  • 发布于 2025-04-25
  • 阅读 ( 624 )
  • ( 14 )

扩展Base：第二季度达到50 Mgas/s

本文回顾了Base在2025年第一季度在扩展其链上经济方面的进展，重点关注将gas费用降低到1美分以下的目标。已成功达到25 Mgas/s，是启动时的10倍。目前正朝着在第二季度末达到50 Mgas/s的目标前进。文章还详细分析了关键的扩展瓶颈，并更新了消除这些瓶颈的进展，包括L1数据可用性、客户端执行速度和故障证明。
base  扩展性  Gas费用  L1数据可用性  客户端执行速度  故障证明 

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

in  Optimism 中文力量
Superchain残酷共学已经圆满完成啦！
Superchain 

超立方体 IR：零知识证明系统的基础

本文介绍了Cysic公司正在进行的零知识证明（ZKP）专用硬件研究工作，目标是开发一种定制的证明加速芯片，专门用于ZKP工作负载。
零知识证明  ZKP  硬件加速  多项式计算  HyperCube IR  密码学 
  • Cysic_
  • 发布于 2025-04-25
  • 阅读 ( 1162 )
  • ( 20 )

更新日志

本文档是Solana项目的更新日志，记录了从1.17.0版本到2.2.0版本的重要变更。
Solana  SDK  更新日志  feature gate  Validator  RPC  CLI  Borsh  agave-validator 
  • Anza
  • 发布于 2025-04-25
  • 阅读 ( 910 )
  • ( 18 )

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

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

Helius 推出验证器即服务

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

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

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

变更日志

本文档是 Solana 项目的变更日志，记录了从 2.3.0 版本(Unreleased)到 1.17.0 版本的显著变化，包括验证器、平台工具SDK、CLI的更新、废弃功能以及SDK的Breaking changes等。详细说明了每个版本的新增功能、配置变更和升级注意事项，旨在帮助贡献者、验证器运营者、RPC 运营者和 DApp 开发者了解 Solana 的演进。
Solana  变更日志  验证器  SDK  CLI  版本更新 
  • Anza
  • 发布于 2025-04-25
  • 阅读 ( 859 )
  • ( 23 )

关于 OP-CHECKOUTPUTSHASHVERIFY 的 bips-archive/bip-coshv.mediawiki

该BIP (Bitcoin Improvement Proposal) 提议引入一个新的操作码 OP_CHECKOUTPUTSHASHVERIFY，用于Tapscript版本0。这个新的操作码可以用于交易拥塞控制和支付通道的实例化等。该操作码验证输出的 SHA256 双哈希是否与提供的值匹配，从而实现有限的智能合约功能，例如拥塞控制交易、通道工厂和钱包保险库，同时尽量减少对现有代码库的影响。
OP_CHECKOUTPUTSHASHVERIFY  Tapscript  比特币  智能合约  交易拥塞控制  支付通道 

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

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

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 

仅有面向人工智能的 L1 并不够：Ritual 为何以及如何与众不同

本文介绍了 Ritual 这个 L1 区块链项目，它不仅仅专注于 AI 计算，而是旨在构建一个通用的、可定制化的 Layer1，以支持各种复杂的链上计算，例如 AI 推理、ZK 证明、TEE 执行等。Ritual 通过 Resonance 实现高效的市场化定价，Symphony 减少重复执行，EVM++ 扩展了智能合约的功能，从而为开发者提供更大的灵活性和可扩展性。
区块链  Layer1  AI  EVM++  zk  TEE  异构计算 

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 
  • QuickNode
  • 发布于 2025-04-25
  • 阅读 ( 1213 )
  • ( 37 )

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

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  执行层