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

Balancer稳定币交换分析与差分模糊测试指南

本文介绍了如何使用Python进行差分模糊测试，以发现高精度计算和Solidity实现之间的差异。通过将Python的高精度计算结果与Solidity的计算结果进行比较，帮助开发者验证智能合约中交换函数的数学计算是否正确，以及合约是否能准确转移计算出的数量。同时强调了手动引导模糊测试（MGF）在发现细微bug中的作用。
模糊测试  Solidity  Python  智能合约  差分模糊测试  StableSwap 
  • Ackee
  • 发布于 5天前
  • 阅读 ( 359 )
  • ( 13 )

剖析比特币 P2SH 交易

探讨 比特币 P2SH 的设计理念、地址生成机制，以及交易验证
P2SH  比特币  比特币脚本  比特币交易 
  • Tiny熊
  • 发布于 5天前
  • 阅读 ( 635 )
  • ( 68 )

零时科技 || Port3 攻击事件分析

11 月 23 日，BNB Smart Chain 上 Port3 项目遭攻击。因合约部署未设 owner，攻击者可伪造跨链交易大量增发代币，致其价格归零。建议项目方多方验证代码逻辑，合约上线前由多家审计公司交叉审计。
黑客攻击  区块链安全  攻击事件 

通过 ℓ₂-范数检查实现更高效的格折叠

本文介绍了如何通过使用更高效的 ℓ₂-范数检查替代昂贵的范围检查，来提升 LatticeFold+ 的效率。该方法受到了 Rok and Roll 的启发，重点在于改进 Boneh & Chen 的 LatticeFold+，但这些技术是通用的，可以使其他基于格的折叠方案受益，最终目标是获得更快的证明者、相同的安全保证，并使后量子折叠方案适用于实际应用。
折叠方案  格密码  LatticeFold+  ℓ₂-范数  后量子密码  知识归约 
  • XPTY
  • 发布于 6天前
  • 阅读 ( 610 )
  • ( 6 )

ZK 编年史：数学基础

本文介绍了有限域和多项式的基本概念，特别是有限域上的模运算和多项式的构建。重点讲解了如何使用拉格朗日插值法，通过给定的一组评估点来重构原始多项式，从而实现信息的编码与表示。这些数学工具是构建现代零知识证明系统的基础。
有限域  多项式  模运算  拉格朗日插值  零知识证明  密码学 

ZK纪事：Sum-Check

本文介绍了零知识证明（ZKP）领域中的Sum-Check协议，该协议允许证明者向验证者证明一个多元多项式在布尔超立方体上的求和结果，验证者通过多轮交互和挑战来验证结果的正确性。该协议是构建更复杂零知识证明系统的基础，文中还讨论了协议的完整性和可靠性，并对其计算成本进行了简要分析。
sum-check协议  零知识证明  有限域  多项式  布尔超立方体  交互式证明 

Arc区块链是什么 - 综合概述

Arc Blockchain是一个新的Layer 1区块链，专为稳定币而设计，使用USDC作为gas，具有确定的费用和亚秒级的最终性。其架构优先考虑确定性而非吞吐量，目标是为实时支付、金融应用和面向用户的Web3体验提供所需的可靠性。Arc目前处于公共测试网阶段，主网预计于2026年推出。
区块链  稳定币  USDC  EVM兼容  Layer 1  确定性 

不记名的合约

本文是 Nick Szabo 1997 年发表的关于“不记名合约”的讨论，核心在于探讨如何使用盲签名技术封装电子现金和各种计算机资源，实现不可追踪的交易。文章深入研究了在不同权利转移场景下，为保障隐私性所需搭配使用的技术，以及如何通过盲化和通信混淆等手段对抗追踪。
盲签名  不记名合约  电子现金  不可关联性  通信混淆  Chaumian 协议 
  • BTCStudy
  • 发布于 6天前
  • 阅读 ( 410 )
  • ( 3 )

dApp开发入门教程：从零开始构建链上留言板

1.什么是dApp？dApp（去中心化应用）是基于区块链技术构建的应用程序，与传统应用的主要区别在于：去中心化：数据存储在区块链上，不依赖单一服务器透明公开：智能合约代码和数据对所有人可见用户控制：用户完全控制自己的数据和资产无需信任：通过智能合约自动执行，无需第三方中介本教程将指
DApp 

Solidity合约暂停与恢复：让你的区块链项目稳如老狗随时刹车

Solidity合约的暂停和恢复！区块链上跑的智能合约，资金和数据都在链上，遇到紧急情况，比如发现漏洞、黑客攻击，或者需要维护，咋办？暂停功能就是救命稻草！它能让合约“刹车”，阻止关键操作，等修好再恢复。暂停与恢复的核心概念先搞清楚几个关键点：暂停功能：暂时禁用合约的关键功能（如转账、存款）
Solidity  智能合约  以太坊 

Rust编程入门：从零基础到掌握核心概念的完整指南

引言最近身边不少朋友对Rust编程语言产生了浓厚兴趣，纷纷向我咨询如何快速入门。作为一门系统级编程语言，Rust以其内存安全、并发安全和零成本抽象等特性，在开发者社区中越来越受欢迎。传统的学习方式往往需要花费大量时间阅读文档和书籍，但对于现代开发者来说，借助AI工具学习新技术已经成为一种高效
Rust 入门 
  • King
  • 发布于 6天前
  • 阅读 ( 506 )
  • ( 10 )

666 - 后量子密码巨兽的密文大小？

本文介绍了基于格的签名方案Falcon (FN-DSA)，并将其与ML-DSA (Dilithium)等其他后量子密码签名方案进行了比较， Falcon虽然速度较慢，但是密钥和密文大小更小。文章还展示了NTRU如何在Falcon中使用，并给出了使用JavaScript实现的示例。
FALCON  ML-DSA  Dilithium  NTRU  后量子密码  格基密码 

Plinko PIR 教程

本文介绍了Plinko PIR协议，它是一种用于实现私有信息检索（PIR）的技术，允许用户从大型数据库中读取数据，而无需透露他们正在读取的内容。文章详细解释了Plinko PIR的原理、设置阶段、查询机制、备份查询以及数据集更新，并与现有的替代方案进行了比较，最后还讨论了 Plinko 的效率，以及未来可能的发展方向。
私有信息检索  PIR  Plinko  同态加密  preprocessing  密码学 

如何使用 LiteSVM 测试 Solana 程序

本文介绍了LiteSVM，一个轻量级的Solana虚拟机，它允许在Rust测试环境中运行完整的Solana运行时，无需外部验证器。文章详细说明了如何使用LiteSVM测试Anchor程序，包括环境设置、编写程序测试、以及使用`anchor-litesvm`减少样板代码。通过具体的代码示例和测试案例，展示了LiteSVM在简化Solana程序测试流程、提高测试效率方面的优势。
Solana  Litesvm  Anchor  测试  Rust  区块链 
  • QuickNode
  • 发布于 2025-11-26
  • 阅读 ( 440 )
  • ( 17 )

Arbitrum Nitro v3.9.0 版本发布

本文讨论了Offchain Labs发布的Arbitrum Nitro v3.9.0版本，该版本于2025年11月20日发布，并在Arbitrum Sepolia链上激活了ArbOS 50 “Dia”。此更新对于Arbitrum节点运行者来说是一个好消息，因为它包含了多项改进和错误修复，提升了性能和稳定性。
Arbitrum  Nitro  ArbOS  Offchain Labs  Layer2  区块链 

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

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

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

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

How Babylon Vaults Unlock Trustless Bitcoin DeFi

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

Inscriptions 对节点运营者的影响

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

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

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