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

Stwo中的递归证明：第一部分

本文深入探讨了如何在StarkWare的新零知识证明系统Stwo中实现递归证明验证，包括面临的三个主要挑战及其解决方案。通过将计算切割为小块以适应内存限制、并利用并行分布的证明生成方法，该系统增强了证明的效率。同时，介绍了设计专门的证明系统以优化证明者和验证者的效率，特别是在与比特币的兼容性方面。
递归证明  零知识证明  StarkWare  证明系统  比特币  zkRollup 
  • L2IV
  • 发布于 2025-02-26
  • 阅读 ( 1369 )
  • ( 11 )

如何使用ElizaOS和Gelato创建加密AI代理

本文介绍了如何使用Gelato和ElizaOS在Ink上创建链上AI代理。ElizaOS简化了AI代理的创建和部署，Gelato提供了跨EVM链的自动交易管理、Gasless操作、可验证的随机数生成和去中心化自动化等基础设施。通过CoinFlip AI这个示例，展示了如何将ElizaOS与Gelato的Web3服务集成，创建基于区块链的应用程序。
AI代理  ElizaOS  Gelato  Web3  区块链  自动化 
  • gelato
  • 发布于 2025-02-26
  • 阅读 ( 892 )

【zkMIPS系列】ZKM Prover——STARK to SNARK

in  zkMIPS解读
STARK到SNARK的转换从构建递归电路开始，递归电路的作用是将原本庞大的STARK证明压缩成较小的SNARK证明，具体由以下几个组件构成，包括根电路，聚合电路和区块电路。
  • ZKM
  • 发布于 2025-02-26
  • 阅读 ( 1422 )
  • ( 7 )

以太坊Pectra升级会对现有生态带来什么影响？

借着以太坊在Holesky网络升级这事，稍微聊聊以太坊Pectra升级到底有什么以及对链上生态的一些影响有什么？EIP7702有限的账户抽象(可设置EOA账户的code)传统账户抽象（如EIP-4337标准）依赖额外的中心化服务，例如Bundler，来将用户的操作打包成一笔交易。由于这一方案引
  • seeker
  • 发布于 2025-02-26
  • 阅读 ( 1352 )
  • ( 10 )

🎥 信标链验证者排行榜

本文介绍了如何使用 Beacon REST API 和 Ethers.js 构建一个以太坊 2.0 的验证者排行榜应用。详细说明了如何配置项目，安装依赖，以及各个功能的实现，包括获取验证者余额、计算总余额和生成排行榜等。代码部分包含了重要的实现细节，适合有一定基础的开发者阅读。
以太坊  Beacon链  验证者  ethers.js  Next.js  区块链应用 
  • QuickNode
  • 发布于 2025-02-26
  • 阅读 ( 1659 )
  • ( 39 )

那些不起眼但很好玩的API合辑

那些不起眼但很好玩的API，为我们带来了许多出人意料的乐趣和惊喜。这些API可能看起来并不起眼，但它们却蕴含着无限的创意和趣味性。它们可以是一些小游戏API，让我们可以在闲暇时刻尽情娱乐；也可以是一些奇特的音乐API，让我们能够创作出独特的音乐作品；还可以是一些有趣的文本处理API，让我们能够玩转文

Certora Prover 开源——智能合约安全的未来

Certora Prover 是一种先进的正式验证引擎，旨在提升 Ethereum、Solana 和 Stellar 等平台的智能合约安全性。通过开源，Certora Prover 旨在降低安全成本，提升可访问性，最终帮助开发者在早期发现和修复可能的漏洞。这篇文章详细介绍了 Certora Prover 的功能、工作原理以及其对多个知名项目的实际影响。
正式验证  智能合约  Certora Prover  安全性  DeFi  开源 
  • Certora
  • 发布于 2025-02-25
  • 阅读 ( 1431 )
  • ( 2 )

Web3 极客日报 #1681

  • rebase
  • 发布于 2025-02-25
  • 阅读 ( 1057 )
  • ( 8 )

彩虹角色与激励：ABPS + FOCILR + AS - 权益证明/经济学

本文深入探讨了以太坊权益证明机制中最大程度解绑权益 staking 集的潜在角色和激励机制。
权益证明  信标提议者分离  审查抵抗  动态定价拍卖  奖励曲线  验证者分离  MEV燃烧 

PEPC 常见问题解答

PEPC（Protocol-Enforced Proposer Commitments）是一种协议强制执行的提议者承诺机制，旨在允许验证者对他们产生的区块进行具有约束力的承诺。文章探讨了PEPC的原理、用途、状态、工作方式、用例，以及与Eigenlayer、SUAVE、ABCI++、MEV捕获等相关技术的联系，并提出了Out-of-Protocol PEPC的方案，最后指出了未来的工作方向。
PEPC  协议强制提议者承诺  MEV  PBS  EigenLayer  SUAVE 
  • efdn__
  • 发布于 2025-02-25
  • 阅读 ( 768 )

统一以太坊：实现无缝跨链互操作性的路径

文章探讨了区块链生态系统中跨链互操作性的现状与挑战，提出通过Intents架构来简化用户在跨链交易中的复杂性，进而推动DeFi和Web3的全面发展。成功的跨链互操作性将使资产、数据和价值的流动更加高效，促进用户和开发者的参与。
跨链互操作性  Intents  ERC-7683  Web3  DeFi  区块链 
  • across
  • 发布于 2025-02-25
  • 阅读 ( 983 )
  • ( 4 )

二十五年后回顾：尼克·萨博的微支付与精神负担理论

文章探讨了小额支付的概念及其未能广泛应用的原因，重点分析了尼克·萨博提出的“精神负担”概念，即消费者在决定是否进行小额支付时产生的认知成本。文章还讨论了人工智能和比特币闪电网络等新技术如何尝试克服这些障碍，以及小额支付在未来可能的发展方向。
小额支付  精神负担  比特币闪电网络  尼克·萨博  认知成本  AI 

Arweave/AO 生态精粹 Week 8｜AR.IO 主网启动、$FFP 启动空投、AO 节点入门工作坊

AR.IO 主网启动、$FFP 启动空投、AO 节点入门工作坊

WBE3行业游戏标杆

WBE3行业，即Web3游戏行业，是基于区块链、去中心化技术、加密资产和智能合约构建的互联网生态系统中的一个重要创新领域。以下是一些WBE3行业中的游戏标杆：AxieInfinity背景：由SkyMavis开发，基于以太坊和Ronin链。玩法：玩家可以通过战斗、繁殖、育成和交易自己的

深度解析：Solana DePIN - 2025年1月

该文章深入探讨了2025年1月Solana DePIN领域的发展情况，涵盖了地图绘制（Hivemapper）、无线网络（Roam, XNET, Helium Mobile）、计算与AI（Nosana, Render, Kuzco）以及能源（Srcful）等多个板块的关键数据和进展。
DePIN  Solana  Hivemapper  Helium  Render  Nosana 
  • syndica
  • 发布于 2025-02-25
  • 阅读 ( 1014 )

BOLT 1：基础协议

本文档是闪电网络BOLT#1协议规范，定义了节点间通信的基础协议，包括连接处理、消息格式（类型-长度-值格式）、基本数据类型、设置消息（init、error、warning）和控制消息（ping、pong）等。该协议旨在建立认证和排序的传输机制，保证消息的可靠传输和处理，并允许通过TLV格式进行协议扩展。
闪电网络  BOLT  协议规范  消息格式  Type-Length-Value  TLV 

探索加密数据 II：使用外包数据服务

本文探讨了区块链数据管理和解释的外包解决方案，包括多种服务类型，如节点即服务（NaaS）、原始流、解码流、索引数据API和影子日志等。这些服务帮助开发者和企业高效地访问区块链数据，而不必自行管理节点和基础设施。文章提供了深入的技术细节和实例，展示了每种服务的功能和应用。
区块链  数据服务  节点即服务  解码流  影子日志  索引数据API 

区块链的威胁建模 - ImmuneBytes

本文深入探讨了区块链技术的核心机制，包括共识协议、数据层、网络层以及模块化架构。文章分析了每个层面存在的潜在威胁，如验证者卡特尔、数据可用性问题、DDoS攻击以及模块化链中的漏洞，并提出了相应的缓解策略，强调了威胁建模对于保障区块链安全的重要性。
区块链  共识机制  数据可用性  网络安全  模块化  威胁建模 

发行一个ERC20标准代币以及实现空投和水龙头相关使用场景

前言本文主要实现标准代币的空投合约和代币水龙头相关业务场景的实现，包含合约的编写，测试，部署全流程。概念以及相关场景说明空头合约：币圈中一种营销策略，项目方将代币免费发放给特定用户群体;代币水龙头：一种为用户提供小额加密货币的机制;标准代币说明：本合约基于openzeppelin库实
  • 木西
  • 发布于 2025-02-25
  • 阅读 ( 2202 )
  • ( 13 )

状态更新：以太坊主网上`IDONTWANT`消息的采用 - 网络

文章介绍了以太坊主网上`IDONTWANT`控制消息的采用情况。该消息旨在减少节点接收到的重复消息数量，从而提高带宽利用率。尽管所有客户端实现都已添加对`IDONTWANT`的支持，但仍有大约20%-25%的节点（1879个）由于运行旧版本而不支持此功能。ProbeLab正在监控`IDONTWANT`的采用情况，并计划在Pectra更新后重新评估其对带宽可用性的影响。
以太坊  Gossipsub协议  IDONTWANT控制消息  带宽  P2P网络  discv5网络