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

【solidity基础】一文说清楚合约函数的大小事

在Solidity里，函数是合约的关键构成部分，用于执行特定任务或操作的代码块，可以包含逻辑、访问状态变量、进行计算，并且可以接受参数和返回值。但是solidity的函数与其他语言不太一样，经常会有同学搞混，这里开一篇文章完整介绍一下solidity函数的用法。
Solidity  solidity函数 

中继包含列表 - 权益证明/区块提议者

本文介绍了中继包含列表（rILs），这是一种无需引入协议更改、新的信任假设或重大技术复杂性即可立即提高以太坊抗审查性的方法。该设计旨在作为非审查中继的新默认功能，并提供选择退出选项以适应验证者的偏好。rILs 通过将包含列表的编译和执行委托给中继来增强以太坊的审查阻力，从而使验证者无需承担任何额外风险或信任假设。
中继包含列表  抗审查性  以太坊  交易排序  EIP-7805  FOCIL 

Zora空投漏洞利用：深入研究12.8万美元的申领合约攻击

Zora的NFT空投系统中的一个漏洞允许攻击者通过利用薄弱的声明检查来窃取代币。攻击者利用0x Settler合约的basicSellToPool功能，使得ZoraTokenCommunityClaim合约将0x的ZORA代币分配转移到了攻击者的地址。这次攻击暴露了智能合约设计中安全性的重要性，并强调了严格的访问控制的必要性。
智能合约  漏洞  攻击  以太坊  空投  权限控制 

Taiko BBR：以太坊的世界母板

本文探讨了以太坊通过 Rollup 扩展性能时面临的碎片化问题，并介绍了 Taiko 提出的基于增强 Rollup（Based Booster Rollup，BBR）架构。BBR 旨在通过共享状态、同步处理和统一部署等技术优势，将多个 Rollup 连接成一个统一的整体，从而提升用户体验和开发者效率，并为 DeFi、NFT 和游戏等应用带来新的可能性。
以太坊  Rollup  Taiko  BBR  Layer2  区块链 
  • 4pillars
  • 发布于 2025-04-30
  • 阅读 ( 528 )
  • ( 24 )

迈向仅验证部分无状态性 (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
  • 阅读 ( 809 )
  • ( 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  历史过期 

赚取Initia质押奖励：通过INIT保障网络安全

本文介绍了如何在Initia网络上进行INIT代币的质押，包括质押的益处（如赚取奖励、保障网络安全、获得治理权）、操作步骤（连接钱包、选择验证器、选择锁定时间等），以及需要注意的风险（如验证器惩罚、市场价格波动、无常损失等）。文章提供了详细的图文教程，指导用户使用Initia App进行质押操作。
INIT代币  质押  Initia网络  Initia App  验证器  锁仓  VIP gauge投票权 
  • DAIC
  • 发布于 2025-04-29
  • 阅读 ( 16 )

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

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
  • 阅读 ( 245 )

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

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

Web3 极客日报 #1730

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

CertiK创始人顾荣辉出席Unchained Summit，探讨Web3.0安全与合规路径

4月28日，Unchained Summit正式开幕，CertiK联合创始人顾荣辉作为重要嘉宾发表主题演讲，探讨Web3.0在创新与安全间的平衡。
  • CertiK
  • 发布于 2025-04-29
  • 阅读 ( 542 )

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

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