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

Web3 极客日报 #1831

  • rebase
  • 发布于 2025-11-22
  • 阅读 ( 429 )
  • ( 15 )

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 实践

本文探讨了运营安全(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
  • 阅读 ( 567 )
  • ( 23 )

Solidity 整型：uint与int

本文深入讲解了Solidity中的整型，包括uint和int的区别、取值范围、运算符以及使用场景。同时，也指出了整型运算中常见的陷阱，如溢出、除零、类型转换等问题，并提供了Gas优化建议。重点强调了在实际智能合约开发中根据数据特性选择合适整型的重要性，以及如何避免潜在的错误。
Solidity  整型  uint  int  溢出  gas优化  智能合约 

以太坊智能合约开发基础

本文介绍了以太坊智能合约开发的基础概念，包括以太坊的定义、智能合约的本质、账户类型（外部账户和合约账户）、以太币和Gas的作用、以及交易的类型。通过理解这些概念，可以为后续的智能合约开发打下坚实的基础，并了解如何与区块链进行交互。
以太坊  智能合约  Solidity  账户  Gas  交易 

Solidity 地址类型

本文深入介绍了Solidity中的地址类型，包括普通地址(address)和可支付地址(address payable)的区别与转换。同时详细讲解了地址比较、查询余额和使用call方法进行转账等常用操作。通过一个存钱罐合约的实例，演示了地址类型在实际开发中的综合应用
Solidity  地址类型  Address  address payable  call  以太坊 

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
  • 阅读 ( 622 )
  • ( 29 )

Cairo 语言介绍

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

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

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

CoinJoin 面面观

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

Web3 极客日报 #1830

  • rebase
  • 发布于 2025-11-20
  • 阅读 ( 405 )
  • ( 10 )

以太坊的无需信任宣言、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 

Optimism 中文周刊#81| Uniswap 统一化提案、Soneium Startale 应用、OP Grants 第 44 期

文章部分来源：Superchaineco.46Weekly😎✨关键信息，唾手可得；最新动态，尽在掌握；英明决策，水到渠成！gm👋🏻乐观集体的公民们，欢迎回到Optimism中文周刊❤️本周是第#81期！本期的内容有：超级链上什么最热门？Uniswap统一化提案