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

机构加密货币系列（三）： 资产管理公司代币化现状：43.7亿美元的市场分析

本文分析了资产管理公司代币化的现状，重点介绍了贝莱德(BlackRock)、富兰克林邓普顿(Franklin Templeton)、WisdomTree和富达(Fidelity)等主要机构在将传统投资基金转移到区块链上所做的努力。
代币化  区块链  资产管理  RWA  BUIDL  BENJI 
  • Hazeflow
  • 发布于 2025-11-25
  • 阅读 ( 741 )
  • ( 21 )

影响 25.1 以前版本 Bitcoin Core 软件的漏洞披露

本文整理了 Bitcoin Core 软件 25.1 版本之前已公开披露的漏洞，包括对等节点拖延导致区块传播停滞、触发 blocktxn 消息处理逻辑中的断言导致远端节点崩溃、inv-to-send 集合过大导致的DoS、变异区块所导致的区块传播停滞、区块头轰炸所导致的内存DoS、addr消息轰炸可引发远端节点崩溃，以及miniupnp 依赖库中的无限循环 bug。
Bitcoin Core  漏洞  安全  DoS攻击  区块传播  miniupnp 
  • BTCStudy
  • 发布于 2025-11-25
  • 阅读 ( 354 )
  • ( 3 )

100：为什么要理解 Web3 多链标准体系

in  Web3 多链标准体系全解析
理解不同链的标准，是认识 Web3 架构与生态差异的基础。标准决定资产形态、合约能力、跨链方式与开发边界，是工程师建立系统性 Web3 认知的核心入口
标准  ERC  SPL  IBC  PSP  Web3 
  • Henry
  • 发布于 2025-11-23
  • 阅读 ( 464 )
  • ( 15 )

加密货币市场每周回顾 (11/23/25)

该文章是关于加密货币市场的每周回顾和更新，主要讨论了宏观经济环境向宽松转变、加密货币市场情绪低迷、稳定币市场变化以及行业内的重要动态。文章指出，尽管宏观压力减缓，市场情绪低落，但比特币价格保持稳定，暗示潜在的需求。同时，稳定币市场出现整合迹象，行业内如 Coinbase 收购 Vector、Solana 的 SIMD 提案、Circle 推出 xReserve 等动态表明基础设施持续扩展。
宏观经济  稳定币  比特币  以太坊  市场情绪  ETF 

更快的 Sumcheck：第一部分

本文介绍了加速 Sumcheck 协议证明时间的优化方法，尤其是在需要证明的值在一个小域，而随机性来自一个相对大域的情况下。文章详细讲解了四种算法，重点在于减少大域乘法（ll multiplication）的次数，通过预计算r无关项、分组d位、Lagrange插值等技术，逐步优化Sumcheck协议的计算效率，并提供了相应的 SageMath 代码实现。
Sumcheck协议  零知识证明  多线性多项式  zkVM  优化算法  密码学 

Hederion：将Hedera的链上数据转化为个人智能

LimeChain 为 Hedera 网络开发了一款名为 Hederion 的工具，旨在简化链上数据的理解和使用。Hederion 帮助用户理解、信任和导航他们在 Hedera 上的活动，使用户能够以简单的英语提问并获得清晰的叙述性总结，从而赋能 Web3 新手、加密货币投资者、dApp 开发者和企业用户。
区块链  Hedera  Hederion  LimeChain  链上数据  Web3 

MiCA法规解读：欧盟加密货币合规指南

本文详细解读了欧盟的加密资产市场法规（MiCA），该法规对加密货币发行方和服务提供商提出了明确的合规要求，旨在保护消费者和维护金融稳定。文章深入分析了MiCA的具体规定，合规影响，以及未来发展方向，为企业提供了在欧洲加密市场运营的重要指导。
MiCA  加密资产  欧盟法规  合规性  稳定币  加密资产服务提供商 
  • Cyfrin
  • 发布于 2025-11-22
  • 阅读 ( 1346 )
  • ( 51 )

写给初学者的加密货币质押指南

本文为初学者介绍了加密货币质押的原理和步骤，包括权益证明（PoS）机制、奖励生成方式、验证者和委托的角色，以及质押的风险。文章还提供了在Hyperliquid上质押HYPE的简要指南，以及关于重新质押的概述，旨在帮助新投资者了解如何通过质押为网络安全做出贡献并获得收益。
加密货币质押  权益证明  验证者  委托  HYPE  Hyperliquid 
  • imperator
  • 发布于 2025-11-22
  • 阅读 ( 566 )
  • ( 21 )

理解 Solana 提案：SIMD-0411

Solana 网络正在进行升级，旨在通过 SIMD-0411 提案，将通货膨胀衰减速度提高一倍，从而更快地降低 SOL 的排放量，同时保持 1.5% 的最终通胀率不变。此次升级旨在提高 Solana 的货币效率，并增强 SOL 对持有者的长期价值。
Solana  SIMD-0411  通货膨胀  排放量  验证者  质押 

Web3 极客日报 #1831

  • rebase
  • 发布于 2025-11-22
  • 阅读 ( 382 )
  • ( 14 )

zkvm-brainfuck [4] 生成 proof

算术化：将计算问题转换为有限域F上的多项式代数问题。zkSTARK算数化会构建程序的代数中间表达(AlgebraicIntermediateRepresentation,AIR)，用s个多项式描述当前执行状态与下一步状态的转换约束。算术化中会得到两种witness：整个待
zkVM 

zkvm-brainfuck [3] 约束

通过chip的eval()函数对trace表的列添加约束。本文列出每个chip的核心约束。列出如下变量/寄存器clk：每条指令运行的时间戳pc：指令指针，指向当前指令ci：当前指令，pc指向的指令mp：内存指针，执行一个内存单元mv：内存值，mp所指内存单元的值
zkVM 

zkvm brainfuck [2] 生成 Trace

ExecutionRecord为了实现对brainfuck程序的约束，需要将每条指令运行过程中的一些信息收集起来，放到ExecutionRecord中。ExecutionRecord中会包含多种event列表，后续会被转换为trace表.一条指令会生成多个event，每条指令
zkVM 

zkvm brainfuck [1] Brainfuck Executor

Brainfuck编程语言Brainfuck只有8条指令。假设mp为内存指针，mv为mp所指内存单元的值，最初两者都为0[：如果mv==0，则跳转到相应]指令的下一条指令处；否则，执行下一条指令。]：如果mv!=0，则跳转到相应[指令的下一条指令处；否
zkVM 

FFT友好的有限域

本文介绍了在有限域中执行FFT算法（数论变换）所需的n次单位根，并列举了几个常用的FFT友好的有限域，包括Goldilocks Field、Baby Bear Field、Teddy Bear Field、Koala Bear Field、BN-128 field、STARK Field和BLS12-381，以及它们各自的特征和单位根的阶数，并提供了相应的Python代码验证。
有限域  FFT  数论变换  单位根  Goldilocks  bls12-381 

我检查了最差的运营安全实践，所以你不必亲自检查

本文探讨了运营安全(OpSec)的重要性，通过分析John McAfee、Ross Ulbricht等历史案例，以及Prigozhin和Roman Novak的悲剧，强调了不良OpSec实践可能导致的严重后果，例如信息泄露、财产损失甚至人身安全威胁，文章还提供了增强自身OpSec的具体建议，如照片元数据清理、使用假名、启用双因素认证等。
运营安全  OpSec  信息安全  隐私保护  加密货币  安全漏洞 

使用 Rails API 进行 x402 支付集成

本文介绍了如何使用 Quicknode 的 open-source x402-rails 和 x402-payments gems，将 x402 支付协议集成到 Rails 应用程序中，从而实现按请求付费的 API 访问控制。你将学习如何配置 API 以要求付款，保护特定端点，并生成必要的客户端签名以使用 API。
x402  Rails  API  支付协议  EIP-712  USDC 
  • QuickNode
  • 发布于 2025-11-21
  • 阅读 ( 455 )
  • ( 18 )

GBM拍卖模型

GBM 是一种链上拍卖协议，通过“outbid rewards”机制，对出局的竞标者进行奖励，激励更早的参与和更强的价格发现。GBM已成功应用于NFT，通过IDA扩展到同质化代币发行，并推出$GBM代币实现无需许可的协议层，未来可能应用于政府资产拍卖、房地产分配等领域。
GBM  拍卖协议  链上拍卖  NFT  IDA  初始分配拍卖 

什么是 ERC-3643？

本文介绍了ERC-3643，这是一个以太坊代币标准，专为受监管的资产设计，它通过链上身份、资格检查和模块化合规规则，在ERC-20模型的基础上，支持需要许可的代币。ERC-3643由ERC-3643协会管理，旨在标准化现实世界资产的许可代币化，适用于证券、房地产和基金等用例。
ERC-3643  代币标准  权限代币  ONCHAINID  合规性  现实世界资产 
  • QuickNode
  • 发布于 2025-11-21
  • 阅读 ( 476 )
  • ( 21 )

Cairo 语言介绍

本文介绍了Cairo编程语言的基础知识，包括Cairo在Starknet中的作用、开发环境的搭建、语言的语法要点和数据类型（felt252、整数、bool）、复合类型(元组、结构体、枚举)、字符串处理、控制流以及数组和字典的使用。着重讲解了Cairo与Rust相似的语法结构，以及Cairo中数据类型和错误处理的特殊性。
Cairo  Starknet  零知识证明  felt252  控制流  数据类型