# 密码学的所有文章

在 HTX 新聞中心流覽與「密码学」相關的最新資訊與深度分析。潘蓋市場趨勢、專案動態、技術進展及監管政策，提供權威的加密行業洞察。

Vitalik最新长文：AI时代，代码如何变得更安全？

随着AI编程能力快速提升，软件安全面临新挑战：AI既能高效生成代码，也能高效发现漏洞。在加密行业，智能合约、ZK证明等一旦出现缺陷，可能导致不可逆的资金损失。Vitalik探讨了应对此问题的路径——形式化验证。这种方法将程序应满足的性质写成数学命题，再用机器可检查的证明验证这些性质是否成立。虽然形式化验证无法保证绝对安全（证明可能遗漏假设、规范可能写错等），但它提供了一种更可靠的安全范式：用多种方式表达开发者意图，再让系统自动检查这些表达是否兼容。以太坊未来将依赖复杂底层组件（如STARK、ZK-EVM、共识算法等），这些系统的实现复杂，但安全目标往往可以相对清晰地形式化。AI辅助的形式化验证在此可发挥最大价值：AI负责编写高效代码和证明，人类负责检查被证明的命题是否对应真正的安全目标。 Vitalik认为，面对强大的AI攻击者，答案不是放弃开源或依赖中心化机构，而是将关键系统压缩为更小、更可验证的“安全核心”。AI可能导致粗糙代码增加，但也可能让真正重要的代码变得比过去更安全。形式化验证与AI结合，可推动软件分化为“安全核心”和“不安全边缘组件”，前者通过严格验证承载高信任负担，后者在沙箱中运行以限制风险。最终，形式化验证有助于在AI时代构建更可信的网络安全基础。

marsbit05/19 09:56

marsbit05/19 09:56

BNB Chain 发布研究报告，探索 BSC 后量子密码学迁移路径

BNB Chain发布了一份研究报告，探讨了将BNB智能链的核心密码学系统迁移至后量子（抗量子计算）替代方案的可行路径。报告评估了包括交易签名、验证者签名聚合等多个核心领域，重点测试了采用ML-DSA-44作为签名方案和pqSTARK进行签名聚合的效果。研究发现，技术上实现后量子就绪是可行的，但会带来显著的可扩展性权衡。测试数据显示，单笔交易大小从约110字节增至约2.5千字节，区块大小从约110千字节增至约2兆字节，导致原生转账TPS从4,973下降至2,997。性能瓶颈主要源于数据体积增大带来的网络传输开销。报告同时指出，pqSTARK签名聚合技术表现高效，能将验证者签名以约43:1的比例压缩，有效控制共识层开销。此外，P2P握手和KZG承诺等部分领域的后量子替代方案仍需进一步研究。 BNB Chain强调，此项研究是前瞻性的探索，旨在评估长期网络安全性，并非针对迫在眉睫的威胁。

marsbit05/18 13:51

BNB Chain 发布研究报告，探索 BSC 后量子密码学迁移路径

BNB Chain发布了一份新的研究报告，旨在探索将BNB智能链的核心密码学系统迁移至后量子（抗量子计算）替代方案的可行路径。报告评估了采用ML-DSA-44作为后量子交易签名方案，以及使用pqSTARK技术聚合验证者共识签名等方法的性能影响。研究显示，从技术层面实现后量子就绪是可行的，但需要在可扩展性方面做出显著权衡。具体测试数据表明：单笔交易的大小将从约110字节大幅增加至约2.5千字节；区块大小从约110千字节增加至约2兆字节；原生转账的TPS（每秒交易数）则从4,973下降至2,997。报告指出，主要的性能瓶颈并非签名验证本身，而是交易和区块体积增大导致的网络传输开销增加。报告同时指出，pqSTARK聚合技术表现高效，能够将验证者签名以约43:1的比例压缩，有助于控制共识层的开销。此外，报告也说明，P2P握手和KZG承诺等领域的后量子替代方案尚未在此次评估范围内，需要进一步的生态协调与研究。 BNB Chain强调，此项工作属于前瞻性的研究与评估，旨在增强基础设施的长期韧性，并非针对迫在眉睫的安全威胁。

链捕手05/18 13:24

霍斯金森称：量子技术或将在2033年前超越现有加密系统

卡达诺创始人查尔斯·霍斯金森警告，量子计算机可能在2033年前对当前加密系统构成重大威胁。他表示，此类计算机有超过50%的几率能破解保护数字钱包和交易签名的传统加密技术，导致未经授权访问、伪造签名等风险。霍斯金森在共识大会上指出，行业准备时间窗口正在快速关闭。为应对此威胁，卡达诺已启动量子安全研究计划，重点采用格基加密等量子抗性技术，并计划采纳美国联邦量子抗性标准。得益于其年度硬分叉升级机制，卡达诺部署新安全标准相对顺畅。相比之下，比特币的升级路径更为复杂。虽已提出BIP-361提案以逐步引入量子抗性钱包地址，但比特币升级过程缓慢且存在争议。霍斯金森认为迁移虽困难但可行，并强调整个加密行业需尽快应对这一迫在眉睫的挑战。

bitcoinist05/18 06:46

bitcoinist05/18 06:46

Cardano创始人称门罗币是“比特币本该成为的样子”

卡尔达诺创始人查尔斯·霍斯金森表示，门罗币代表了如果比特币诞生时拥有更强的密码学工具，它可能成为的那种隐私保护型加密货币。他赞扬了门罗币的技术设计及其对密码朋克原则的坚持。霍斯金森在访谈中指出，门罗币不仅仅是边缘的隐私币，更是该领域重要的意识形态和技术参考点。他强调，大规模实现隐私比透明结算更难，而门罗币的贡献在于其一系列围绕隐私核心的设计选择，如环签名和隐私保护架构，同时保持了网络的可用性和去中心化。他认为，隐私系统通常由密码学家构建，其威胁模型可能使产品对普通用户难以使用，但门罗币社区在提升可用性的同时从未违背其密码朋克精神。霍斯金森将门罗币比作“隐私正义联盟”的关键成员，强调这种不妥协的立场在如今受机构、合规和链上分析影响的行业中仍然必要。他总结道，加密货币领域需要像门罗币这样的项目，以在关于隐私、可审计性和监管的持续讨论中代表坚定的立场。

bitcoinist05/14 19:02

bitcoinist05/14 19:02

ZK驱动的比特币隐私方案正式上线Starknet

strkBTC于5月12日在Starknet主网上线，利用ZK技术为比特币提供隐私保护解决方案。该方案旨在应对因比特币公共账本透明性导致的个人安全风险，如针对持有者的抢劫和勒索案件激增。用户可通过strkBTC将比特币桥接至Starknet的屏蔽环境，隐藏余额与交易历史。项目强调合规性，通过查看密钥技术和第三方筛查，确保在必要时可进行审计与监管披露，从而满足金融机构等对隐私与合规的双重需求。核心功能包括重新匿名化桥接和合规就绪。未来将推出机密DeFi等功能。技术发展路线包括抗量子密码学研究、BitVM集成以增强安全性，以及长期通过OP_CAT软分叉实现完全无信任桥接的目标。项目由Starknet生态系统多方合作推动，旨在使比特币成为兼具隐私性与可用性的数字现金。

marsbit05/14 11:09

marsbit05/14 11:09

新协议Tacit，比特币生态的ZEC

比特币生态近期因新协议Tacit重新受到关注。Tacit是一个专注于隐私的比特币资产协议，类似于“比特币上的ZEC”，其核心特点是通过Pedersen承诺和Bulletproof等技术隐藏代币交易金额，同时利用Mimblewimble风格的签名确保代币总量守恒、防止恶意增发。交易金额通过ECDH加密，只有发送方和接收方能解密，其他人只能看到乱码。该协议的索引器运行在用户浏览器中，无需信任中心化服务器。 Tacit由以太坊知名开发者ross.wei（@z0r0zzz）创建，已支持公开铸造、市场交易、代币互换和混币器功能。其混币器类似于Tornado Cash，但通过Taproot交易备注和浏览器索引器实现，不依赖智能合约，且在混币数额隐匿方面更具优势。不过，隐私功能带来较高成本，单次转账费用约为符文（Runes）的10倍。目前，该生态中的主要代币是$TAC，市值约400万美元。未来计划包括支持原生比特币的隐私封装（cBTC）、静默接收和隐匿转账币种等功能。Tacit在比特币主网上实现了原生隐私资产协议，与BRC-20、符文等元协议相比增加了隐私维度，与RGB、Taproot Assets等方案相比则完全基于链上数据运行，被视为比特币生态中一次重要的技术创新。

marsbit05/14 11:09

marsbit05/14 11:09

霍斯金森称卡尔达诺面临决定Web3成败的关键问题

查尔斯·霍斯金森在最新直播中表示，Cardano面临着一个关乎成败的Web3核心问题：尽管区块链本身去中心化，但实际仍依赖中心化的链下基础设施。他引用Signal联合创始人Moxie Marlinspike的论述指出，当前大多数去中心化应用仍通过中心化平台提供用户体验，形成"中心化控制却分布停滞"的困境。霍斯金森承认Cardano同样存在这一问题，并提出解决方案：通过隐私链Midnight提供密码学基础，同时将收购的BlockFrost转型为去中心化基础设施网络，打造真正符合去中心化理念的Alchemy替代方案。他强调当前国库提案正是为了构建不重复Web2瓶颈的链下设施，实现应用层去中心化、提升扩展性并跨链互联。最后他指出，基础设施公司的巨额估值证明行业控制点实际在链外，这正是Cardano必须突破的关键。

bitcoinist04/24 23:31

bitcoinist04/24 23:31

XRP两年内实现量子就绪：这对投资者意味着什么

瑞波公司（Ripple）开发团队发布了一份四阶段路线图，计划在2028年前实现XRP账本（XRPL）的全面后量子就绪，以应对量子计算对加密网络日益增长的威胁。该计划旨在保护用户资产安全，并将XRPL置于行业领先地位。路线图分为四个阶段：第一阶段聚焦最坏情况下的应急方案，允许用户在传统加密被破解时安全转移资金；第二阶段（2026年上半年）已启动，正在测试美国国家标准技术研究院（NIST）推荐的抗量子签名方案；第三阶段（2026年下半年）将在开发网部署后量子签名原型供测试；第四阶段计划于2028年完成全网原生后量子加密升级。量子计算威胁已非理论风险。诺贝尔奖得主警告比特币可能成为早期攻击目标，研究显示先进量子计算机可在几分钟内从公钥推导出比特币私钥。XRPL同样面临风险，因交易时公钥会暴露在链上。工程负责人表示，这一转型将彻底改变数字资产的长期安全架构，涉及密钥管理、验证节点基础设施和用户交互方式的变革。

bitcoinist04/24 04:01

bitcoinist04/24 04:01

美军正在运行比特币节点，四星上将透露

美国印太司令部司令、四星上将塞缪尔·帕帕罗近日披露，美军正在积极运营一个比特币节点，并将比特币网络用于网络安全相关实验。帕帕罗在众议院军事委员会听证会上强调，美军并非进行比特币挖矿，而是利用其协议进行网络监控和保护，并通过操作测试来增强网络安全。他指出，比特币的底层技术——包括密码学、区块链和工作量证明机制——具有重要的计算机科学价值，能够用于“力量投射”和网络安全防御。帕帕罗多次澄清，美军关注的是其技术工具属性而非金融属性，认为该协议具有直接的国家安全意义。此前一天，他也在参议院听证会上表达了类似观点，称比特币是“点对点、零信任的价值传输工具”，显示出其在网络安全领域的战略潜力。

bitcoinist04/24 03:01

bitcoinist04/24 03:01

# 密码学的所有文章

Vitalik最新长文：AI时代，代码如何变得更安全？

BNB Chain 发布研究报告，探索 BSC 后量子密码学迁移路径

BNB Chain 发布研究报告，探索 BSC 后量子密码学迁移路径

霍斯金森称：量子技术或将在2033年前超越现有加密系统

Cardano创始人称门罗币是“比特币本该成为的样子”

ZK驱动的比特币隐私方案正式上线Starknet

新协议Tacit，比特币生态的ZEC

霍斯金森称卡尔达诺面临决定Web3成败的关键问题

XRP两年内实现量子就绪：这对投资者意味着什么

美军正在运行比特币节点，四星上将透露

熱門分類

熱門標籤

其他

监管政策