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

迈向仅验证部分无状态性 (VOPS) 的务实之路 - 执行层研究

本文探讨了在以太坊弱无状态性背景下，如何保持抗审查性。提出了Validity-Only Partial Statelessness (VOPS)方案，该方案通过节点存储验证待处理交易所需的最小账户数据（地址、nonce、余额和代码标志），在实现25倍存储缩减的同时，保持以太坊的抗审查性。
无状态性  抗审查性  mempool  以太坊  Verkle树  零知识虚拟机 

修改 Solana dApp 以支持 Sonic：“SVM Greetings”

本文介绍了如何将现有的Solana dApp部署到Sonic Testnet。文章以SVM-Greet Solana程序和SVM-Greeting dApp为例，详细描述了部署Solana dApp到Sonic SVM Testnet RPC所需的关键修改步骤，包括设置开发环境、获取测试网Token、部署Solana程序、修改前端以及测试和部署。
Solana  DApp  Sonic Testnet  SVM  Anchor  前端部署 
  • Shivam
  • 发布于 2025-04-30
  • 阅读 ( 802 )
  • ( 25 )

密码学 - 斯巴达

本文档旨在对 Spartan 协议进行温和的介绍，Spartan 是一种基于 sum-check 的 zkSNARK，具有高效的证明者。文章详细介绍了 Spartan 的特性，包括与多线性多项式承诺方案的兼容性、对算术化的灵活性以及将证明者工作分解为 witness 相关和 witness 无关部分的能力。同时还介绍了 Spartan 协议在零知识证明、zkVM以及身份验证等领域的应用。
zkSNARK  Spartan协议  sum-check协议  多项式承诺  零知识证明  Spark协议 

使用 OP Stack 创建你自己的 L2 Rollup 测试网：分步指南

本文档详细介绍了如何使用 OP Stack 框架搭建一个以太坊等效的 Layer 2 Rollup。
OP Stack  Layer 2 Rollup  op-geth  op-node  Optimism  以太坊 

发币防止大户提前跑路 - 手搓一个线性释放合约

in  小白专享-图解以太坊编程
线性释放（LinearVesting）是一种常见的代币释放机制，指得是：代币按照固定的速率、持续均匀地在设定时间内逐渐释放。而不是一次性就释放完。

实用工具 - OpenZeppelin 文档

本文档介绍了OpenZeppelin Contracts库中提供的各种实用工具，包括密码学（签名验证，包括ECDSA、P256和RSA）、Merkle证明验证、接口自省（ERC-165）、数学运算、数据结构（如BitMaps、EnumerableSet、MerkleTree等）、数据打包、底层存储槽操作(StorageSlot)、Base64编码以及多重调用（Multicall）等功能。
ECDSA  P256  RSA  Merkle证明  ERC-165  多重调用  StorageSlot 

用 Python 解锁 Web3：以太坊日志解析实战

in  Web3
用Python解锁Web3：以太坊日志解析实战想用Python挖掘以太坊区块链的隐藏数据？Web3开发正成为技术前沿的热点，而日志解析是解锁链上数据的关键！本文通过开源项目EtherTrace，带你实战构建一个高效的以太坊日志解析器。基于Python和Web3.py，我们将从连
Web3  Python  Ethereum  以太坊 

Solana程序测试：必备工具与技巧

本文介绍了Solana链上程序测试的重要性，并详细阐述了单元测试、集成测试的不同方法和工具。
Solana  链上程序  Anchor  Trident  SVM  Litesvm 

以太坊 2025/04 进展

本文概述了以太坊核心开发者在2025年4月的进展，重点关注Pectra升级的发布、历史过期以及Fusaka升级的范围确定。Pectra升级已在主网上线，而Fusaka则集中于PeerDAS的实施。文章还提到了EVM对象格式（EOF）的讨论和blob参数仅分叉（BPO），以及为提高效率而进行的流程改进。
以太坊  Pectra  Fusaka  PeerDAS  EOF  EVM  历史过期 

空投大杂烩 - 合约实现空投发放的三种方案

in  小白专享-图解以太坊编程
什么空投合约“空投合约”（AirdropContract）是指专门用于自动向一组地址发送代币或NFT的智能合约:https://learnblockchain.cn/shawn_shaw
空投  数字签名  默克尔树  智能合约  Solidity  airdrop 

什么是Staking？- Pintu Academy

本文介绍了Staking的概念，它是一种将加密货币锁定在网络中以验证和保护交易的方式。通过Staking，投资者可以获得被锁定资产的利息形式的奖励。文章还讨论了Staking的工作原理、奖励计算方法、Staking池的概念以及Staking的优势和风险。
staking  权益证明  PoS  staking池  验证者  被动收入 
  • pintuid
  • 发布于 2025-04-29
  • 阅读 ( 239 )

KZG变体：第一部分，单变量 - ZKSECURITY

本文深入探讨了KZG多项式承诺方案的多种单变量变体，包括用于批量处理多个开放的技术以及实现无条件隐藏属性的方法。文章详细介绍了Plain KZG、Batched Variants等方案，并探讨了如何使用随机多项式或随机群元素来实现无条件隐藏特性，为构建zkSNARKs提供理论基础。
KZG  多项式承诺  密码学  SNARK  零知识证明  双线性配对 

Web3 极客日报 #1730

  • rebase
  • 发布于 2025-04-29
  • 阅读 ( 539 )
  • ( 6 )

韩媒专访CertiK创始人顾荣辉：黑客攻击激增300%，安全优先的破局之路

4月17日，韩国知名科技媒体《韩国IT时报》(KoreaITTimes)发布了对CertiK联合创始人兼CEO顾荣辉教授的专访。双方围绕CertiK一季度《HACK3D》安全报告，就黑客攻击手法的迭代和安全防御技术的创新路径等，展开深度对话。顾荣辉认为，安全应被视为一项基础原则，而非事后的补
Web3 
  • CertiK
  • 发布于 2025-04-29
  • 阅读 ( 939 )
  • ( 21 )

Arbitrum Stylus 入门教程

本文介绍了Arbitrum Stylus，它是Arbitrum Nitro堆栈的升级版，允许使用多种编程语言编写智能合约。文章详细说明了Stylus的关键特性和优势，包括多语言支持、增强的性能和效率、无缝EVM互操作性以及开发者友好的工具。此外，还提供了逐步教程，指导读者如何开始使用Arbitrum Stylus，包括安装Rust、创建Stylus项目、检查和部署项目。
Arbitrum Stylus  智能合约  Rust  WASM  EVM  cargo-stylus 

分析对“AI 2027时间线预测”的批判

本文是对LessWrong用户，substack作者Titotal对AI 2027时间线预测的深入批判性分析。
AI  人工智能  时间线预测  模型评估  深度学习  AGI 
  • thezvi
  • 发布于 2025-04-29
  • 阅读 ( 576 )

Celo Public Goods

in  Optimism 中文力量
关于公共物品的生态系统介绍

【solidity必知】函数修饰器用法汇总

函数修饰器并不是一个新鲜的概念，但是它的用法在solidity中与其他语言中稍有不同，接下来我们详细介绍一下solidity中的函数修饰器的各种使用方法。
Solidity  函数修饰器 

【solidity必知】详解 solidity 数据存储的三种方式

在Solidity里存储（storage）、内存（memory）和调用数据（calldata）这三种，这篇文章详细介绍了它们各自有着不同的特性和使用场景。
Solidity  数据存储 

Gill 简介：现代 Solana JavaScript 客户端库

Gill 是一个新的 JavaScript 客户端库，用于与 Solana 区块链交互。
Solana  客户端库  Web3.js  DApp  交易构建器  gill 
  • Shivam
  • 发布于 2025-04-29
  • 阅读 ( 1336 )
  • ( 90 )