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

为什么用户生成的预测市场行不通？

本文分析了用户生成预测市场未能成功的原因，主要归结为三个方面：流动性不足和经济模型缺陷，复杂的结算问题，以及注意力分散。文章指出，开放创建模式破坏了市场所需的核心要素：集中的流动性、清晰的结算规则和集中的注意力。补贴虽然可以启动交易量，但无法改变长尾市场的基本经济状况。
预测市场  流动性  结算  注意力  激励机制  用户生成内容 

Aptos Move 入门：掌握链上资源（Resource）的增删改查

in  Aptos
AptosMove入门：掌握链上资源（Resource）的增删改查智能合约的终极目的，是管理那些永久存在于区块链上的状态（State）。在AptosMove中，这种链上状态是通过其独一无二的资源（Resource）模型来管理的。所谓资源，就是被赋予了key能力的结构体，它们像真实的物
Aptos 

长期信任与模拟计算机

本文是Andrew Poelstra在MIT Bitcoin Expo 2022上的演讲稿，主要讨论了如何长期安全地存储比特币私钥，并介绍了使用模拟计算机（特别是轮盘表）来避免对电子设备的信任依赖的方法。该方法包括使用轮盘表进行密钥生成、校验和验证、秘密分享等操作，以确保存储数据的完整性和安全性。
比特币  私钥  硬件签名器  轮盘表  模拟计算机  Codex32 
  • BTCStudy
  • 发布于 5天前
  • 阅读 ( 285 )
  • ( 4 )

绕过代码完整性检查以在本地后门植入Signal、1Password、Slack等应用

文章揭示了Electron应用中一个名为CVE-2025-55305的漏洞，该漏洞允许攻击者通过篡改V8堆快照文件，绕过代码完整性检查，从而在Signal、1Password、Slack和Chrome等应用中植入后门。尽管Electron提供了完整性检查机制，但默认未启用，且未能覆盖V8堆快照，使得攻击者能够利用此漏洞实现持久性的隐蔽攻击。
Electron  CVE-2025-55305  V8堆快照  代码完整性检查  后门  漏洞 

Aptos Move 实战：全面掌握 SimpleMap 的增删改查

in  Aptos
AptosMove实战：全面掌握SimpleMap的增删改查在智能合约开发中，管理动态的数据集合是一项基本功。键值对（Key-Value）映射作为最高效、最常用的数据结构之一，是每个开发者都必须掌握的工具。在AptosMove中，SimpleMap就为我们提供了这样一个基础而强大的
Aptos 

理解合约部署、代理和CREATE2——第二部分

本文深入探讨了以太坊虚拟机（EVM）上常用的合约部署模式，包括用于逻辑升级的UUPS代理，用于标准化和可追踪部署的工厂模式，以及用于gas高效复制的最小代理（克隆）。文章通过代码示例详细解释了这些模式的原理和应用，并区分了简单合约、代理和克隆。
UUPS代理  工厂模式  最小代理  CREATE2  EVM  智能合约  代理模式  EIP-1822  EIP-1167 

如何使用 SBPF 汇编编写 Solana 程序

本文介绍了 Solana 生态系统中一种极致的程序优化方法：直接编写 sBPF 汇编。文章解释了 sBPF 汇编的原理、优势、适用场景以及安全注意事项，并提供了一个简单的 memo 程序的示例，展示了如何使用 sBPF 汇编直接控制 Solana 虚拟机，从而实现极致的性能优化。
sBPF汇编  Solana虚拟机  程序优化  性能优化  智能合约  区块链 
  • Helius
  • 发布于 6天前
  • 阅读 ( 427 )
  • ( 22 )

Web3 极客日报 #1793

  • rebase
  • 发布于 6天前
  • 阅读 ( 319 )
  • ( 11 )

交易所钱包系统开发 #1 - 系统设计

前不久，我写了一篇设计稳定币系统的文章，有很多朋友和交流一些细节，我发现很多同学想详细了解托管类系统，如何处理资金安全问题。从这篇文章开始，将以交易所为例，设计和实现一个安全且极简的加密货币托管系统，以便大家在实现类似系统的时候有一个参考。因为管理资金的是钱包，托管系统有时也叫交易所钱包系统。交
交易所钱包  钱包开发 
  • Tiny熊
  • 发布于 6天前
  • 阅读 ( 866 )
  • ( 112 )

重入漏洞完全实战指南

本文全面分析了重入漏洞，并通过可执行的示例介绍了各种攻击类型。
重入漏洞  Reentrancy  CEI模式  智能合约安全  以太坊  漏洞分析 
  • Ackee
  • 发布于 6天前
  • 阅读 ( 629 )
  • ( 40 )

利用Wake的引导模糊测试检测抢跑漏洞

本文介绍了使用Wake的Manually Guided Fuzzing (MGF)技术来发现智能合约中的抢跑漏洞。通过分析合约逻辑、使用Python进行测试以及简化测试流程，MGF能够有效地揭示潜在的安全问题，文章通过两个具体的案例，展示了如何利用MGF发现盐值碰撞和ERC-721通证铸造中的抢跑漏洞，并强调了在测试中考虑各种边缘情况的重要性。
智能合约  抢跑漏洞  模糊测试  安全测试  CREATE2  ERC-721 
  • Ackee
  • 发布于 6天前
  • 阅读 ( 434 )
  • ( 10 )

ZKM 选择 MIPS32r2而非 RISC-V：微架构的简洁性和约束效率

in  zkMIPS解读
MIPS32r2 在指令宽度、格式一致性和操作码稳定性上具备天然优势，更适合 zkVM 电路的确定性与高效性。 相比之下，RISC-V 的可变长度与扩展性带来更多约束复杂度和证明性能开销。
zkVM  zkMIPS 
  • ZKM
  • 发布于 6天前
  • 阅读 ( 380 )
  • ( 11 )

Aptos Move 核心安全：& 与 &mut 引用机制详解

in  Aptos
AptosMove核心安全：&与&mut引用机制详解AptosMove之所以被誉为最安全的智能合约语言之一，其根基就在于它独特的所有权和引用模型。理解这个模型，是掌握Move安全编程的重中之重。在开发中，我们常常需要访问或修改数据，却又不希望转移其所有权，这该如何实现呢？答案就
Aptos 

Etherspot 周报：Avail 收购 Arcana、以太坊用户体验路线图、以太坊链上交易量创四年新高 ...

本文是关于以太坊账户抽象（AA）和链抽象（ChA）的每周摘要，涵盖了以太坊用户体验改进路线图、Avail收购Arcana以加速多链可扩展性、以太坊链上交易量创四年新高，以及Etherspot对AA/ChA的概览，强调了AA/ChA如何改进Web3的用户体验，以及Etherspot相关工具的介绍。
账户抽象  链抽象  以太坊  互操作性  多链  Etherspot 

Miniscript 101：技术指南

本文深入浅出地介绍了 Miniscript，一种用于编写比特币花费规则的结构化语言，它通过乐高积木式的模块化方式，将公钥、时间锁、哈希锁等元素组合成灵活且可分析的花费策略。文章还探讨了 Miniscript 在遗产规划、公司财库、托管交易等领域的应用，并结合 Nunchuk 钱包，展示了如何便捷地创建和管理基于 Miniscript 的高级比特币钱包。
Miniscript  比特币脚本  时间锁  多签名  Taproot  MuSig2  Nunchuk 
  • BTCStudy
  • 发布于 2025-09-04
  • 阅读 ( 392 )
  • ( 4 )

React Native DApp 开发全栈实战·从 0 到 1 系列（流动性挖矿-合约部分）

前言本文基于OpenZeppelinv5最新组件（ERC-4626+AccessManager+ReentrancyGuard），将「质押凭证」、「奖励分发」、「权限治理」三者解耦，实现「一键部署、按需授权、秒级清算、线性释放」的典型DeFi场景。通过阅读本文，你将获得：
流动性挖矿  DeFi  Solidity  Open Zeppelin 
  • 木西
  • 发布于 2025-09-03
  • 阅读 ( 404 )
  • ( 14 )

加密内存池与以太坊路线图：解决方案还是干扰？

本文探讨了以太坊加密内存池的利弊及其在以太坊路线图中的位置。加密内存池旨在通过隐藏交易信息来减少恶意 MEV，但同时也引发了关于透明度、MEV 类型以及实施复杂性的讨论。文章分析了支持者和怀疑者的观点，并提出分阶段实施的方案，以期在公平性、用户保护和技术可行性之间找到平衡。
加密内存池  MEV  门限加密  以太坊  审查抵抗  ePBS 
  • shutter
  • 发布于 2025-09-03
  • 阅读 ( 140 )
  • ( 7 )

Aptos Move 实战：用 signer 实现合约所有权与访问控制

in  Aptos
AptosMove实战：用signer实现合约所有权与访问控制在智能合约的世界里，最基础也是最核心的安全问题莫过于：“谁有权执行此操作？”。无论是转账、修改状态还是管理合约，我们都必须先验证调用者的身份。AptosMove为此提供了一个强大而独特的类型——signer。signer
Aptos 

今天就实施 EIP-7730 , 让硬件钱包不再盲签

本文讨论了Web3生态系统中长期被忽视的盲签问题，以及Bybit被黑事件暴露出的用户验证交易信息的不足。文章分析了EIP-712的局限性，并提出了EIP-7730作为一种解决方案，通过使硬件钱包能够解码交易，帮助用户理解他们实际签署的内容，从而提高交易的安全性，并降低了开发者的实施负担。
盲签  EIP-7730  EIP-712  硬件钱包  交易安全  Web3 

利用 Lighter + Succinct 实现无跨链桥的可组合性

本文介绍了无桥抵押模型，它通过将资产保留在以太坊L1上，并利用ZK证明将其价值投射到高性能L2上，实现了资本位置与效用的分离。该模型通过Lighter和Succinct两项技术实现，具有提高资本效率、实现跨层可组合性、确保安全互操作性等优点，并克服了传统桥接的局限性。
ZK证明  L2  无桥抵押  Lighter  Succinct  以太坊