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

通往 Core Solidity 之路

Solidity 团队发布了一系列名为 "通往核心 Solidity 之路" 的博文，分享了该语言的未来发展方向。
Solidity  Core Solidity  EVM  IR pipeline  Ethdebug  标准库 

苦涩的教训与古代哲学家

文章探讨了人工智能发展的哲学基础，认为AI的发展历程与西方认识论的演变相呼应，经历了从模仿（柏拉图）、经验（亚里士多德）到自我反思（黑格尔）的阶段。文章还指出，Richard Sutton的“苦涩的教训”在于强调通过经验学习的重要性，而非依赖人类的直觉和预先设定的知识。
人工智能  强化学习  模仿学习  经验学习  自我反思  哲学 
  • thogiti
  • 发布于 2天前
  • 阅读 ( 111 )
  • ( 5 )

钱包聚类分析原理

本文讨论了比特币交易图谱中钱包聚类分析的基础知识，包括通过输入来源同一性（CIOH）关联钱包、更复杂的聚类方法以及由此产生的隐私性对抗性框架。文章还提到了CoinJoin、PayJoin等隐私技术，并强调了根据不同威胁模型选择合适的对抗模式的重要性。
比特币  钱包聚类  隐私性  输入来源同一性  交易图谱  CoinJoin  payjoin 

Solana 中的 Ed25519 签名验证

in  Solana 60 天课程
本文详细介绍了如何在 Solana Anchor 程序中验证链下 Ed25519 签名。通过使用 Solana 提供的 `Ed25519Program` 原生程序和指令内省技术，实现了一个空投场景的签名验证流程，包括构建带有 Ed25519 验证指令和空投申领指令的交易，并在链上程序中验证签名的有效性，以授权代币申领。
Ed25519  签名验证  Solana  Anchor  指令内省  空投 

永久隐私投票即将登陆 Snapshot

Shutter 与 Snapshot 合作，为 Snapshot DAO 引入永久屏蔽投票功能。该系统采用 El-Gamal 同态加密和零知识证明技术，确保每个投票的隐私性，并能透明地计算投票结果。目前 PoC 已在 Snapshot UI 中实现，未来将集成到 Snapshot testnet 和主网。
屏蔽投票  Snapshot  Shutter  El-Gamal  同态加密  零知识证明 
  • shutter
  • 发布于 3天前
  • 阅读 ( 152 )
  • ( 8 )

Fusaka 更新——EIP-7825 带来的交易 Gas 限制上限

以太坊的 Fusaka 硬分叉引入了每个交易的 gas 上限，设为 2²⁴ (约 1678 万 gas)。此更改已在 Holesky 和 Sepolia 测试网上生效，并将随 Fusaka 在主网上激活。开发者和依赖大型交易的用户应验证其合约和交易构建器是否符合新的上限。
EIP-7825  gas 上限  Fusaka  硬分叉  交易 gas  并行执行 

区块链是否已为高级持续性威胁做好准备？

本文分析了以太坊网络面临的潜在攻击风险，特别是考虑到国家行为者(state actor)可能发起的供应链攻击和51%攻击。文章强调，尽管以太坊社区在客户端多样化方面取得了进展，但仍需在整个供应链中实现更广泛的多样化，以增强网络的安全性，并呼吁社区重视数据收集和风险应对，以实现以太坊基金会提出的“万亿美元安全”愿景。
以太坊  安全  51%攻击  供应链攻击  APT攻击  去中心化 
  • Certora
  • 发布于 3天前
  • 阅读 ( 193 )
  • ( 4 )

Web3 极客日报 #1814

  • rebase
  • 发布于 3天前
  • 阅读 ( 139 )
  • ( 8 )

深度｜当随机数不再随机：12 万枚 BTC 失窃真相

文|MaxHe@SafeheronLab近期，加密货币社区广泛讨论一则重磅消息：美国执法部门疑似已掌握2020年那次神秘转移的约12万枚比特币私钥，价值高达150亿美元。据Elliptic报告显示[1]，这些资产最初与矿池Lubian.com存在关联，后被美国司法

Canton验证器与应用程序：它们如何交互

Canton Network是一个“网络的网络”，它通过 Validator 和 Super Validator 协同工作，构建了一个安全且可互操作的网络。Validator 负责验证交易， Super Validators 维护 Global Synchronizer 以实现跨子网的互操作性，同时保证隐私。该网络采用双层结构，既有用于隔离活动的私有子网，也有用于互操作的公共主干网。
Canton Network  Validator  Super Validator  Global Synchronizer  Daml  互操作性 
  • DAIC
  • 发布于 4天前
  • 阅读 ( 199 )
  • ( 11 )

在闪电网络上发行稳定币：好的，坏的，未知的

本文分析了稳定币USDT登陆比特币闪电网络所带来的机遇、风险以及未知因素。作者认为，USDT的加入可以为比特币和闪电网络带来大量用户和流动性，实现更广泛的应用场景，但也可能引来监管审查，并给闪电网络带来新的挑战，例如免费看涨期权的问题。文章呼吁闪电网络参与者积极应对这些挑战，实现比特币经济的长期目标。
闪电网络  USDT  稳定币  Taproot Assets  比特币  监管 
  • BTCStudy
  • 发布于 4天前
  • 阅读 ( 207 )
  • ( 4 )

Web3 极客日报 #1813

  • rebase
  • 发布于 4天前
  • 阅读 ( 150 )
  • ( 8 )

GKR 教程 - 加速零知识证明的密码学方案 - Vitalik

本文详细介绍了GKR协议，这是一种用于加速零知识证明的密码学方案，尤其适用于处理具有多层结构和大量并行计算的复杂计算，如Poseidon哈希函数。文章深入探讨了GKR的核心构建模块Sumcheck协议，以及如何通过优化技巧和多项式承诺来提高效率，最终实现接近个位数的开销，并讨论了GKR在LLM推理等其他领域的潜在应用。
GKR协议  零知识证明  Sumcheck协议  Poseidon哈希函数  多项式承诺  zk-SNARK 

本周加密货币（2025年10月20日）

本周宏观环境持续偏向风险，但加密货币市场进入过渡阶段。BTC在11.1万美元附近震荡，ETF流入疲软，市场情绪低迷。链上活动普遍收缩，TVL、DEX交易量和手续费收入均下降。Zcash因隐私叙事和屏蔽代币使用量增加而大涨，MetaDAO的AMM在Solana上启动。
比特币  宏观经济  链上活动  稳定币  Zcash  Solana 

Rust 实战：用两个队列实现栈——重温经典数据结构面试题

in  Rust
Rust实战：用两个队列实现栈——重温经典数据结构面试题在计算机科学和软件开发中，栈（Stack）和队列（Queue）是两种最基础也最重要的抽象数据类型。它们遵循着截然不同的存取原则：队列是“先进先出”（FIFO），而栈是“后进先出”（LIFO）。一个经典的面试挑战就是：如何使用队列来模拟栈的行
Rust 

SlowMist 出品：区块链应用中常见的密码学风险

本文由 SlowMist 团队撰写，旨在揭示区块链应用中常见的密码学风险，涵盖私钥随机数安全、ECDSA 安全、EdDSA 安全、Schnorr 安全、BLS 安全、RSA 安全、哈希安全和 AES 安全等多个方面。针对每种风险，文章详细描述了其严重性、描述、利用场景和建议，旨在帮助 Web3 项目团队建立强大的密码学安全基础。
密码学  区块链安全  私钥安全  ECDSA  EdDSA  RSA 

Web3 极客日报 #1812

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

# Kyber Exploit 数学取整分析

📐目录取整基础Kyber中的数学公式取整策略分析漏洞的数学推导精确的数值示例取整累积效应数学证明取整基础FloorvsCeiling在Solidity中，整数除法默认是Floor（向下取整）：//Floor:⌊x⌋=向下取整uint256res
samczsun 

计息代币第二部分

in  Solana 60 天课程
本文介绍了如何使用 Anchor 框架创建一个具有计息功能的 Token-2022 mint，通过 PDA 进行权限控制，并实现利率更新。文章详细阐述了创建、初始化、铸造以及更新利率的完整生命周期，并使用 LiteSVM 模拟时间推移，验证计息的准确性，最后提供了一个构建简易质押奖励程序的自学练习。
Token-2022  计息代币  Anchor  pda  Litesvm  利率 

Rust 并行加速：4 个实操案例，深度解析 Rayon 线程池的 Fork-Join 与广播机制

in  Rust
Rust并行加速：4个实操案例，深度解析Rayon线程池的Fork-Join与广播机制在现代软件开发中，充分利用多核CPU的并行计算能力是提升应用性能的关键。Rust语言通过其零成本抽象和所有权系统，在并发编程方面提供了卓越的安全保障。而Rayon库，作为Rust生态中最
Rust