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

【solidity 进阶】合约的升级方式及核心原理

solidity智能合约一旦部署便不可更改，但是通过特定的设计觅食可以实现“升级”的效果。
Solidity 

走向多维——EVM gas计量实证分析——执行层研究

本文总结了一项实证分析的主要发现，该分析关注于不同EVM gas计量方案如何影响网络吞吐量和区块利用率，特别是多维方案，其中不同资源的使用情况被分别计量。研究结果表明，采用多维gas计量方案可以显著提高layer1的可扩展性，但同时也增加了复杂性，需要在实施和区块构建方面进行权衡。
EVM  Gas计量  多维度计量  网络吞吐量  区块利用率  状态 

Web3 安全入门：常见的硬件钱包陷阱

本文主要介绍了使用硬件钱包时可能存在的安全风险，包括购买时的假冒硬件钱包和恶意引导，使用时的钓鱼攻击和中间人攻击，以及存储和备份恢复短语时的风险。文章通过实际案例分析了这些风险，并提供了实用的安全建议，例如从官方渠道购买硬件钱包、注意签名授权、安全存储恢复短语等，旨在帮助用户更好地保护加密资产。
硬件钱包  安全  钓鱼攻击  中间人攻击  恢复短语  加密资产 
  • slowmist
  • 发布于 2025-06-18
  • 阅读 ( 1377 )
  • ( 33 )

高级 Foundry Cheatcodes 系列：第一部分 - Foundry 基础，为何选择 Foundry 而非 Hardhat？

本文介绍了 Foundry 作为 Rust 编写的智能合约工具包，相比 Hardhat，Foundry 能够原生运行 Solidity 测试，速度更快，效率更高。同时， Foundry 提供了`forge`、`cast`、`anvil`、`chisel`等 CLI 工具，以及 cheatcodes 以直接操控 EVM 状态，为智能合约开发和审计带来便利。
Foundry  Hardhat  Solidity  智能合约  EVM  测试 

零知识虚拟机（zkVM）简介

本文是零知识虚拟机（zkVM）安全系列的第一篇文章，主要介绍了zkVM的基本概念、工作原理及其在可验证计算中的作用。文章还简要介绍了zkEVM及其在区块链中的应用，并概述了该系列后续文章的主题，旨在为零知识领域的研究人员和zkVM开发者提供有用的安全指导。
零知识证明  虚拟机  zkVM  zkEVM  可验证计算  RISC Zero 
  • Veridise
  • 发布于 2025-06-18
  • 阅读 ( 1578 )
  • ( 28 )

cross-input-aggregation/master 分支的 half-aggregation.mediawiki

本文档主要描述了 BIP 340 签名的一种半聚合方法，它是一种将多个签名聚合成单个聚合签名的非交互式过程。聚合签名的大小约为原始签名组合大小的一半，通过半聚合可以减少发送给验证者的数据量，并在 Lightning Network 路由 gossip 协议和 Bitcoin 共识协议等场景中应用。
BIP 340签名  半聚合  签名聚合  Schnorr签名  密码学  区块链 

如何用科学的 Pump 策略提升项目流动性和市场热度：技术实操全解析

Pump 机制通过 AMM 流动性管理和市场情绪驱动项目初期价格上涨，激活市场热度。通过精准设置初始流动性、控制买入价格波动以及引入自动化 Bot 交易机制，能够有效提升代币的交易深度和价格推动。结合增发、限售和清算策略，确保项目的长期健康发展而非“一日游”。

多人在线对战俄罗斯方块开发教程

引言俄罗斯方块作为经典的益智游戏，自1984年诞生以来便风靡全球。随着Web3技术的发展，我们有机会将这款经典游戏升级为融合实时对战、NFT所有权和排行榜的新一代竞技体验。本教程将带领你从零开始构建一个完整的多人在线对战俄罗斯方块游戏，涵盖单机核心实现、实时multiplayer同步、NF
GameFi  Monad  OpenBuild 
  • King
  • 发布于 2025-06-18
  • 阅读 ( 1498 )
  • ( 25 )

Additive FFT：背景

本文深入探讨了在特征为2的域上进行多项式求值和插值的问题，重点介绍了David Cantor提出的适用于正特征域上的加性快速傅里叶变换（Additive FFT）算法。该算法通过使用线性化多项式的性质，在向量子空间上递归地进行多项式求值和插值，为在二元域塔上实现高效的Reed-Solomon编码提供了理论基础，并最终应用于多项式承诺。
加性快速傅里叶变换  线性化多项式  二元域塔  Reed-Solomon编码  有限域  多项式求值 

Avail 全栈启动：构建一次，随处扩展

Avail 致力于构建一个可水平扩展、可验证的基础设施堆栈，使 rollups 能够在一个无缝网络中进行扩展、连接、协调和蓬勃发展。通过 Nexus 升级，Avail 实现了跨 rollup 和主权链的信任最小化通信，解锁了共享流动性、共享基础设施和统一的用户体验。
数据可用性  Rollup  跨链互操作性  Nexus  模块化区块链  ZK证明 

Solana 上 Token Launchpad 竞争分析

本文分析了 Solana 上十个主要的 token 发射平台，包括 Pump.fun、Meteora、MetaDAO 等，比较了它们的机制、优缺点和战略适应性。
Solana  token 发射平台  pump.fun  Meteora  MetaDAO  DeFi 

Payjoin 探测攻击：事实、缓解措施与 Payjoin 的胜利

本文深入探讨了Payjoin的UTXO探测攻击问题，解释了现有的缓解措施及其有效性，并强调了Payjoin在节省手续费和增强隐私方面的优势。文章指出尽管探测攻击在理论上存在，但其实施成本高昂，已得到有效缓解，不会对Payjoin的采用构成实质性障碍。通过打破输入来源同一性线索等方式，Payjoin能显著减少信息泄露，改善整体隐私。
payjoin  UTXO  探测攻击  隐私  比特币  交易 
  • BTCStudy
  • 发布于 2025-06-18
  • 阅读 ( 798 )
  • ( 9 )

关于blob mempool的未来

本文讨论了blob mempool的未来，特别是在引入PeerDAS后，EL和CL之间出现的不对称性问题。提出了一个基于市场的机制，即带退款的拍卖，以实现blobpool的垂直分片，从而优化带宽使用并防止DoS攻击。同时也讨论了其他可能的解决方案，如水平分片和基于信誉的系统，并提出了针对rollup团队、区块构建者和stakers的关键问题。
blob mempool  PeerDAS  垂直分片  数据可用性  拍卖机制  带宽优化 

Foundry vs Hardhat：一种更快、更原生的 Solidity 智能合约测试方法

本文介绍了 Foundry 作为 Rust 编写的智能合约工具包的优势，包括速度快、原生 Solidity 测试、精简的 CLI 工具以及强大的内置功能。并对比了 Foundry 和 Hardhat，强调了 Foundry 在测试、脚本和模拟智能合约方面的优势。
Foundry  Hardhat  Solidity  智能合约  EVM  Forge 

Code4rena 将免费举办审计竞赛

Code4rena 将对其所有的审计竞赛免除平台费用，致力于提高整个加密行业的安全性。竞赛平台应作为公共产品存在，而非寻求租金的业务。Zellic 通过传统的私有审计盈利，并将 Code4rena 视为人才管道，持续投资于平台和社区。
  • zellic
  • 发布于 2025-06-18
  • 阅读 ( 575 )

比特币虚拟通道：为 Ark 带来即时确认

本文介绍了基于 Ark 的 VTXO 范式实现的比特币虚拟通道技术，旨在实现高效、低成本的比特币支付通道。它通过将智能合约转移到链下，利用 Tapscript 封装多方合约，实现了比传统斯皮尔曼支付通道更优的方案。
比特币  支付通道  vTXO  Tapscript  智能合约  ARK 
  • BTCStudy
  • 发布于 2025-06-17
  • 阅读 ( 811 )
  • ( 8 )

Hyperlend协议审计概要

本文是 Hyperlend 委托 Ackee Blockchain Security 做的安全审计报告，审计发现了44个问题，从Info到Critical级别不等。其中最严重的问题是C1，它会导致所有抵押代币被盗。该审计报告还提出了改进建议，包括及时了解Aave和Fraxlend代码库的最新修复，并保持最佳安全实践。
Hyperlend  安全审计  智能合约  漏洞  Chainlink  Wake  模糊测试 
  • Ackee
  • 发布于 2025-06-17
  • 阅读 ( 520 )

Rujira 合并：Kujira 代币转换指南

Rujira 联盟整合 Kujira 生态系统和 Levana，形成 THORChain 应用层核心。通过将 $KUJI、$FUZN、$NSTK 等代币转换为新的 $RUJI 代币，用户可以参与生态系统并从其核心应用中获益。转换过程包括将代币转账到 Cosmos Hub，再存入 Rujira 合约，最终兑换成 $RUJI，早期转换者可获得额外奖励。
Rujira 联盟  Kujira  Levana  THORChain  RUJI 代币  代币转换 
  • DAIC
  • 发布于 2025-06-17
  • 阅读 ( 337 )

在深入研究密码学电路中缺失范围检查攻击之前，有必要了解什么是群，它们的大小（阶）如何表现，以及为什么这很重要

本文深入探讨了密码学电路中缺失范围检查攻击的原理和实例，首先介绍了群论的基础知识，包括群、子群、群的阶、元素的阶、生成器和循环群等概念，以及拉格朗日定理及其推论。
零知识证明  椭圆曲线  bn254  Groth16  子群攻击  范围检查 
  • hexens
  • 发布于 2025-06-17
  • 阅读 ( 18 )

🔐 以太坊安全：数字签名中的 v、r、s

本文深入探讨了以太坊中数字签名的关键组成部分：v、r 和 s，它们基于椭圆曲线数字签名算法（ECDSA），对于验证交易的真实性、完整性和授权至关重要。文章详细解释了这三个参数的生成、验证过程，包括在EVM中的应用，同时还讨论了实际应用场景，如meta-transactions、gasless approvals等，并强调了安全性考虑，如重放攻击和签名延展性。
v  r  s  ECDSA  数字签名  以太坊  智能合约  EIP-712