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

Spark 和 Ark：看看我们最新的比特币 Layer 2 解决方案

本文深入探讨了比特币Layer 2网络Spark和Ark。它们旨在简化闪电网络的使用，并扩展其功能至支付以外的领域。文章详细介绍了Ark和Spark的架构、交易流程、信任模型、隐私性以及各自的优缺点，对二者进行了对比分析，并探讨了它们在比特币生态系统中的作用和未来发展。
Layer 2  闪电网络  ARK  Spark  vTXO  Statechains 
  • BTCStudy
  • 发布于 2025-10-29
  • 阅读 ( 507 )
  • ( 16 )

Brevis研究报告：zkVM 和 ZK 数据协处理器的无限可验证计算层

该报告详细分析了零知识证明（ZKP）技术的发展，重点介绍了zkVM和zkCoprocessor在以太坊及更广泛区块链领域的应用。报告深入探讨了Brevis Network的产品和技术，包括Pico zkVM, Pico Prism，ZK Data Coprocessor等，并分析了其在DeFi、RWA、AI等领域的应用，以及其性能，市场竞争，潜在风险和未来发展方向。
zkVM  zkCoprocessor  零知识证明  以太坊  Brevis  zkEVM 

051：L3 是什么？它为何成为“Rollup 的 Rollup”？

in  Web3 敲门砖计划
L3 并非单纯的扩容层，而是为特定场景量身打造的可定制执行域。通过递归证明、差异化数据可用性与共享排序层，L3 实现性能、隐私与成本的再平衡。它重塑了区块链的分层逻辑，让 Rollup 生态走向模块化与应用专属化的新阶段
Rollup  L3  数据可用性（DA）  模块化区块链  Appchain 
  • Henry
  • 发布于 2025-10-28
  • 阅读 ( 565 )
  • ( 20 )

Uniswap V1详解：它如何永远改变了DeFi

本文深入分析了 Uniswap V1 的架构、核心 AMM 模型（包括恒定乘积公式）、以及 Factory 和 Exchange 合约的设计。同时，着重讨论了V1版本中发现的安全漏洞，例如重入漏洞和价格操纵风险，以及它们对DeFi生态系统的影响。最后总结了Uniswap V1在DeFi发展中的重要地位，以及它为后续版本和整个行业提供的宝贵经验教训。
Uniswap V1  AMM  重入漏洞  价格预言机  恒定乘积公式  去中心化金融 
  • zealynx
  • 发布于 2025-10-28
  • 阅读 ( 333 )
  • ( 15 )

Solana 的下一篇章：奠定互联网资本市场的基础

Solana 在过去一年中取得了显著进展，已从一个高速网络转变为一个成熟的金融和技术平台。通过技术升级、生态系统深化以及机构相关性的提升，Solana 正致力于成为全球金融系统上链的驱动力，将区块链从平行实验转变为下一代金融基础设施。文章分析了 Solana 的技术发展、生态活动以及面临的挑战，并展望了其在互联网资本市场中的潜力
Solana  区块链  互联网资本市场  Agave  Firedancer  Alpenglow 
  • Galaxy
  • 发布于 2025-10-28
  • 阅读 ( 347 )
  • ( 28 )

解构 Bulletproofs 的奥秘：SageMath 深度解析

本文深入解析了 Bulletproofs 背后的数学引擎——Inner Product Argument (IPA) 的工作原理，通过逐步拆解并结合可运行的 SageMath 代码，详细解释了 IPA 协议的核心概念，包括向量折叠、L 和 R 交叉项的生成与作用，以及如何通过 Pedersen 承诺来防止欺诈，还讨论了优化验证过程的方法，最终构建了一个完整的内积参数。
零知识证明  Bulletproofs  内积参数  Pedersen 承诺  SageMath  椭圆曲线密码学 

Rust 异步编程基石：Tokio 运行时从入门到精通（单线程与多线程实战）

in  Rust
Rust异步编程基石：Tokio运行时从入门到精通（单线程与多线程实战）随着高并发、高性能网络服务的需求日益增长，异步编程已成为现代系统开发不可或缺的一环。在Rust语言的生态中，Tokio扮演着异步运行时的核心角色。它不仅提供了高效的I/O和任务调度机制，还为构建健壮、可伸缩的网络
Rust 

x402：让支付回归互联网底层的协议

x402，将“支付”嵌入 HTTP 协议本身，让网络请求天然具备结算能力。它或许正预示着一个全新的时代——支付不再是外部动作，而是互联网通信的底层语言
  • Eim
  • 发布于 2025-10-28
  • 阅读 ( 863 )
  • ( 47 )

解构 DeFi ：代币、Pool 与 Vault 的演变

本文深入探讨了去中心化金融（DeFi）的演变，从最初的资产代币化到代币池的出现，再到如今的资金库（Vault）管理。文章详细解释了代币飞轮的构建、不同类型代币池（如借贷池、交易池、质押池等）的运作方式、以及资金库在优化收益策略中的作用，并以Ethena的USDe稳定币为例，展示了DeFi生态系统中各种组件如何相互连接并创造价值。
去中心化金融  DeFi  代币  代币池  资金库  收益耕作 
  • ilemi
  • 发布于 2025-10-28
  • 阅读 ( 1948 )
  • ( 65 )

Cross chain 总览

Crosschainmessaging(2)Crosschain跨链是把一条区块链上的“已发生事实”（状态/事件/余额变动等）以可验证的方式带到另一条链上，使后者可以在自身共识下对该事实作出行动（调用合约/铸造或释放资产/更新状态）。本质是在不同安全域之间做可信消息传递与（可选的）资产迁
cross chain  跨链  LayerZero v2 
  • 坐忘道
  • 发布于 2025-10-28
  • 阅读 ( 589 )
  • ( 13 )

解构 Bulletproofs 的魔力：SageMath 深度解析

本文深入探讨了 Bulletproofs 背后的数学引擎——内部乘积论证（IPA），通过 SageMath 代码逐步解析其工作原理，包括向量折叠、L 和 R 交叉项的生成与校验，以及如何利用 Pedersen 承诺防止欺诈，最后优化验证过程，用单次多标量乘法替代多次折叠。文章旨在帮助读者理解零知识证明技术。
零知识证明  Bulletproofs  内部乘积论证  IPA  Pedersen 承诺  SageMath  椭圆曲线  多标量乘法 

BlockThreat 周报 - 2025年第43周

本周安全事件相对平静，损失低于100万美元。文章汇总了加密货币领域的研究，重点关注链下安全、多重签名安全、行业领导者的访谈以及最新的犯罪事件。此外，还列举了近期发生的安全事件、网络犯罪、钓鱼诈骗以及恶意软件等，并推荐了一些研究报告和安全工具。
网络安全  区块链安全  智能合约  漏洞  攻击  加密货币 

使用 LaserStream SDK 实现高性能 Solana 流式传输

LaserStream 是一个下一代 gRPC 流媒体服务，专为最低延迟的 Solana 数据传输而优化。它通过自动重连、基于槽的回放和高吞吐量架构提供可靠的流式传输，而不会影响超低延迟。该 SDK 使用 Rust 核心和零拷贝 NAPI 绑定来优化 JavaScript SDK 性能，与标准 JavaScript Yellowstone 客户端相比，速度提高了 40 倍。
gRPC  流媒体  Solana  Rust  JavaScript  NAPI 
  • Helius
  • 发布于 2025-10-28
  • 阅读 ( 1751 )
  • ( 103 )

Optimism 新文档发布

原文｜ThenewOptimismdocumentation我们很高兴地宣布，optimism文档全面升级！为什么更新Optimism生态正在飞速发展，越来越多的开发者在Superchain上开发项目，原来的文档已经有点过时了。我们希望给大家一套更顺手、更方便、也更符合现在使用

【论文速递】DilithiumRK：基于Dilithium签名的后量子比特币区块链

本文介绍了首个针对比特币的后量子确定性钱包方案DilithiumRK，它基于Dilithium签名，通过可重随机化密钥实现隐私保护和量子安全。该方案在量子随机预言机模型下满足不可伪造性和不可链接性，为比特币在量子威胁来临前提供了迁移路径, 但公钥和签名尺寸显著增加，交易吞吐量下降。
后量子密码学  比特币  Dilithium  确定性钱包  量子安全  密码学 
  • XPTY
  • 发布于 2025-10-27
  • 阅读 ( 134 )

x402：AI时代的互联网支付协议

技术标准一旦被激活，就能创造一整套新财富体系。继 BRC-20 铭文之后，x402 协议正在开启 AI 时代的价值传递新范式。
  • 青山
  • 发布于 2025-10-27
  • 阅读 ( 1029 )
  • ( 63 )

本周加密货币市场报告 (2025年10月20日)

本文是对加密货币市场每周的概览和更新，分析了宏观经济环境、链上数据、稳定币指标以及社区关注的焦点。文章指出，在宏观条件宽松的背景下，市场倾向于风险偏好，比特币可能引领突破。同时强调了Solana、Base和Polygon等在链上活动中的韧性，以及稳定币市场增长的停滞和整合趋势。
比特币  以太坊  稳定币  Solana  宏观经济  链上数据 

内存一致性检查：Multiset Hashing

在zkVM中，内存访问一致性检查是证明任何读操作返回的值确实是写入该内存地址的最新值。如果能证明读取和写入的数据是置换关系，便可证明内存访问的一致性。内存一致性检查构造读集合RRR和写集合WWW，元素都是(addr,val,cnt)(addr,val,cnt)(addr,val,
zkVM 

OP_STARK_VERIFY - 比特币脚本中的原生 STARK 证明验证

该提案建议在 Tapscript 中添加一个操作码 `OP_STARK_VERIFY`，用于在比特币链上原生验证 STARK 证明，旨在实现零知识证明的链上验证，并提供后量子安全性。该提案概述了动机、威胁模型、边界/定价方法和初始操作码语义，用于支持有效性汇总、后量子签名和隐私保护交易等应用。
STARK证明  零知识证明  Tapscript  OP_STARK_VERIFY  后量子密码学  链上验证 
  • XPTY
  • 发布于 2025-10-25
  • 阅读 ( 91 )

Rust Async/Await 实战：从串行到并发，掌握 block_on 与 join! 的异步魔力

in  Rust
RustAsync/Await实战：从串行到并发，掌握block_on与join!的异步魔力Rust以其零成本抽象和内存安全特性在系统编程领域备受推崇。在构建高性能网络服务或处理高并发任务时，理解和运用其异步编程模型至关重要。与Go、Node.js等语言提供“开箱即用”的异步方案
Rust