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

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 

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

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

zkvm-brainfuck [4] 生成 proof

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

Web3 极客日报 #1831

  • rebase
  • 发布于 4天前
  • 阅读 ( 260 )
  • ( 12 )

实时 MEV、小费和奖励：使用 Bitquery API 构建生产级的验证者仪表盘

实时MEV、小费和奖励：使用BitqueryAPI构建生产级的验证者仪表盘实时交易小费数据正成为以太坊验证者监控中最重要的组成部分之一。验证者收入的很大一部分现在来自执行层的小费和MEV，这些都在每个区块中直接支付。
  • Asher
  • 发布于 6天前
  • 阅读 ( 245 )
  • ( 9 )

Cairo 语言介绍

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

桥接一切：一键完成任何代币多条链

Across 协议推出了一项重大升级，允许用户在 21 个以上的区块链网络之间一键桥接和交换任何代币，无需多步交换或额外的 dApp，旨在提供最快、最便宜和最安全的方式来获取所需资产。此次升级简化了跨链操作，通过集成 DEX 和聚合器，用户可以更便捷地在不同链上转移和交换代币。
跨链桥  代币交换  互操作性  DEX  区块链  Across 协议 
  • across
  • 发布于 1天前
  • 阅读 ( 184 )
  • ( 7 )

Solana 上的 Bonding Curve

本文深入探讨了 bonding curve（ bonding 曲线）在代币发行和交易中的应用，详细解释了 bonding curve 的原理、不同类型的曲线（线性、指数、对数、S 曲线）及其适用场景，并介绍了 Pump.fun 平台如何利用 bonding curve 实现快速启动和交易，以及相关的技术架构和定价计算方法。
bonding curve  智能合约  代币发行  自动做市  虚拟流动性  Solana 

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

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

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

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

剖析比特币交易生命周期，在转账时背后发生了什么？

当我们在比特币网络上发起一笔转账时，背后究竟发生了什么？这篇文章我参考深度解析：在发送1个DAI时发生了什么的叙述逻辑，尝试以经典的P2PKH（Pay-to-PubKey-Hash）交易为例，剖析比特币的完整生命周期，我们从选择UTXO开始到构造交易、生成签名，到最终广播到网络并被矿工如
比特币  P2PKH 
  • Tiny熊
  • 发布于 17小时前
  • 阅读 ( 148 )
  • ( 10 )

101：账户模型是标准的根：UTXO vs Account vs Object

in  Web3 多链标准体系全解析
不同链的代币、NFT、权限与执行方式，都由底层账户模型决定。理解 UTXO、账户模型与 Move 对象模型的差异，是理解多链标准的第一原则。
UTXO  EOA  账户模型  对象模型  Move  ETT 
  • Henry
  • 发布于 15小时前
  • 阅读 ( 89 )

SIMD-0411：Solana 新的通货膨胀削减提案

Solana 改进提案 SIMD-0411 建议将区块链的通货紧缩率从每年 15% 提高到 30%，这将减少 SOL 的排放量，并缩短达到 1.5% 最终通胀率的时间。该提案旨在平衡各方利益，加速减少 SOL 通胀，同时为验证者提供一致且可预测的通胀率，但可能会压缩验证者的利润。
Solana  SIMD-0411  通货紧缩率  验证者  SOL  Alpenglow 
  • Galaxy
  • 发布于 8小时前
  • 阅读 ( 77 )

How Babylon Vaults Unlock Trustless Bitcoin DeFi

Babylon 提出了 Trustless Vaults 的方案，旨在解决比特币在 DeFi 中的利用率低的问题。该方案允许比特币作为任何智能合约链上的抵押品，而无需离开比特币网络或进行跨链桥接，从而降低了交易成本并避免了传统跨链桥接的信任风险，通过密码学证明和 BitVM3 来保证交易的安全性。
比特币  DeFi  BitVM3  Trustless Vaults  密码学  BTCFi 
  • DAIC
  • 发布于 8小时前
  • 阅读 ( 71 )

深度分析：Solana链上活动 - 2025年10月

该报告深入分析了2025年10月Solana链上活动的关键指标，包括真实经济价值（REV）大幅下降，网络活动指标略有下降，Frankendancer验证器的跳过率上升，验证器数量减少但质押集中度增加，以及DeFi计算单元使用量的变化趋势，并分析了验证器在不同地区和国家/地区的分布情况。
Solana  链上活动  验证器  DeFi  计算单元  网络性能 
  • syndica
  • 发布于 8小时前
  • 阅读 ( 66 )

面向 Solidity 开发者的 Cairo 教程

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

Inscriptions 对节点运营者的影响

本文分析了比特币区块链上铭文数据对节点运营者的影响。BRC-20 token交易数量远超Ordinals图片，但两者占据的存储空间相近。理论上，Ordinals图片因无需验证签名可能减轻节点负担，但BRC-20 token可能导致UTXO集膨胀，增加节点运营成本。实验结果显示，铭文数据量与验证速度存在不确定但可能存在的正相关关系。
比特币  铭文  Ordinals  BRC-20  节点运营  UTXO集