跟进 Faraday 背后的两个隐私问题:网络如何在不识别来源的情况下检查花费,钱包如何识别收款?本文解释拟议机制及其实际影响。10 月 27 日官方公告表示设计仍在开发;当前网络应使用已发布钱包的操作说明。
Faraday 会改变哪些付款隐私机制?
Faraday 提议用覆盖 Faraday 币集合的花费证明,取代当前 16 成员的输入环。基于哈希的证明将保护花费,ML-KEM 则支持付款检测,两者职责不同。Faraday 期望在新币格式内提供更广泛的花费隐私及后量子保护。
从 16 成员环到 Faraday 币集合
当前花费会指定一个环,包含真实输入所引用的输出和 15 个诱饵。签名让网络在隐藏真实成员的同时验证授权。环签名指南解释这一现行机制。候选集合就是该输入附带的环。
拟议的 Faraday 证明将证实花费的币属于符合条件的 Faraday 集合,却不公开具体成员。这正是完整集合成员资格的实际含义:验证者检查归属及有效性,隐藏的选择仍保持私密。它不意味着下载其他所有人的私密钱包记录,也不意味着公开他们的余额。
详细公告明确说的是 Faraday 币,因此必须将这一不断增长的集合与所有旧格式历史输出区分开。图示说明这一差别;其中的点是概念示例,并非实时币数量。升级指南介绍将现有币迁入新格式的拟议迁移。
为什么花费证明与付款检测要分开?
花费证明回答网络验证问题:这次花费是否符合所需规则?发送方钱包创建证明,节点进行检查。项目提出使用证明系统构建工具集 Plonky3 来生成基于哈希的证明。工具集提供组件,但验证者接受什么,仍由 Blocknet 的具体规则及实现决定。
付款检测回答钱包问题:哪些输出属于我?ML-KEM 是用于建立共享秘密的标准化密钥封装机制。Faraday 计划把它用于接收侧。它不是花费证明的另一个名称,也不是签名算法。
这一区分也解释了 Faraday 中的后量子概念。它指旨在抵御量子计算机攻击的密码设计,不要求用户拥有量子计算机。ML-KEM 基于格问题,而公布的花费证明采用基于哈希的技术。使用标准化组件,本身并不等于整个加密货币实现已获认证。应分别理解有关算法、证明构造及完整钱包的主张。
付款之后证明会怎样?
提案区分通过网络发送的证明与随区块保留的证明。目前设计数值是每个花费证明约 1.4 MB,合并后的区块证明约 1 MB。节点将中继并验证花费证明,将其合并,在达到最终性后丢弃单独证明。这些是项目设计数值,不是本文进行的测量。
合并证明是一种汇总检查的方法。可以想象,几条独立验证的陈述通过一份“它们已经验证”的证明继续传递。区块证明服务于这一目标,与最初的单独证明不同。保留的记录更紧凑,不会让此前的网络传输和计算消失;中继、证明生成、聚合和长期存储是不同工作。
钱包用户会注意到什么?
理解提案时,可以把批准付款的时刻、钱包准备证明的工作、收入区块,以及等待收到的资金可用分别考虑。这些是付款过程中的不同部分。单独一项快速生成证明的结果,并不能说明端到端转账也很快。
计划提出十分钟的目标出块间隔,并表示更大的花费会增加手续费,但最终费率仍在制定。兼容版本发布后,请查看实际钱包的手续费预览。转账时间指南描述的是已发布的五分钟目标网络;未来时间应以最终 Faraday 规则为准。评估预计时间时,应同时考虑付款大小、证明工作及区块时间。
接下来该看哪篇指南?
当前公开交易字段、钱包记录及主动披露,请参阅别人能看到哪些付款信息。启用计划、恢复资料与币迁移,请参阅现有 Faraday 升级指南。
出现新公告时,检查改变了什么:符合条件的币集合、证明系统、付款检测、证明大小或钱包行为。再确认它描述的是提案、测试结果,还是已发布功能。这样既能让当前付款流程符合实际运行的软件,也能详细跟进拟议的隐私升级。
常见问题
全链隐私意味着所有历史输出已受 Faraday 保护吗?
详细公告描述的是完整的 Faraday 币集合。随着币进入新格式,该集合会增长。应区分当前的环交易与迁入拟议格式的过程。Faraday 仍在开发;新设计尚未在当前已发布的网络中启用。
ML-KEM 会生成 Faraday 花费证明吗?
ML-KEM 是用于建立共享秘密的密钥封装机制。项目将它用于付款检测。花费证明的角色不同:让网络在保护私密信息的同时检查花费。Faraday 为此提出使用 Plonky3 构建的基于哈希的证明。
Faraday 的证明大小、手续费和时间已经确定了吗?
没有。官方公告展示的设计仍在构建和测试。证明大小及目标时间描述当前计划,最终手续费尚未确定。操作设置应以实现 Faraday 的发行版为准,迁移信息则参阅现有升级指南。