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

更快的 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
  • 阅读 ( 1215 )
  • ( 39 )

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

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

理解 Solana 提案：SIMD-0411

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

Web3 极客日报 #1831

  • rebase
  • 发布于 2025-11-22
  • 阅读 ( 348 )
  • ( 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 

使用 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
  • 阅读 ( 412 )
  • ( 17 )

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

Cairo 语言介绍

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

Uniswap V2 深度解析：从代码到机制

目录概述核心架构核心机制关键合约解析安全特性价格预言机个人见解与学习概述UniswapV2是一个去中心化的自动做市商（AMM）协议，允许用户在以太坊上交换ERC20代币，而无需传统的订单簿。它通过恒定乘积公式x*y=k来维持流动性池的平衡。核心特点无
  • 乡客
  • 发布于 2025-11-21
  • 阅读 ( 454 )
  • ( 15 )

CoinJoin 面面观

本文深入探讨了 CoinJoin 的不同概念及其在比特币隐私中的作用，分析了等输出额 CoinJoin、多方批处理、PayJoin 和闪电通道等技术的隐私性保证，并探讨了钱包聚类分析、次级交易模型以及输入输出相关性等理论，强调了理解攻击者视角和设计隐私保护交易结构的重要性，还讨论了诸如FIFO等输入输出相关性的荒谬理论可能对用户行为产生的影响。
CoinJoin  隐私性  比特币  钱包聚类  payjoin  闪电网络 
  • BTCStudy
  • 发布于 2025-11-21
  • 阅读 ( 436 )
  • ( 5 )

Web3 极客日报 #1830

  • rebase
  • 发布于 2025-11-20
  • 阅读 ( 326 )
  • ( 9 )

以太坊的无需信任宣言、MetaMask多链账户、RIP-7560详解、x402协议

本文是Etherspot发布的一篇关于以太坊账户抽象和链抽象的周报，讨论了Trustless Manifesto、RIP-7560、MetaMask的多链账户、EIP-7702基础设施研讨会以及x402协议等最新进展。文章还分析了账户抽象的局限性，并提出了x402协议作为一种更实用的跨链支付标准。
账户抽象  链抽象  EIP-7702  RIP-7560  多链账户  X402协议 

面向 Solidity 开发者的 Cairo 教程

本文是 Cairo 编程的入门教程，面向有 Solidity 经验的开发者，旨在帮助他们快速上手 Cairo 语言。教程介绍了 Cairo 的基本概念、安装配置、项目结构，以及Cairo与Solidity的异同，还包括Starknet账户创建和初始化，以及如何避免旧版本 Cairo 代码的问题。
Cairo  Starknet  Solidity  Scarb  智能合约  zkVM