#dusk 我今天顺着 @Dusk 的Phoenix说明往下查,最后停在了Prover节点这一层。很多人理解隐私交易,只看到链上余额和参与者被隐藏,却很少问证明是谁算出来的、计算压力落在哪里。零知识证明不会凭空出现,Dusk把这类重计算交给Prover;Provisioner本身也包含证明能力,用户还可以把证明过程放在本地,减少敏感交易数据交给远端服务的需要。$DUSK

官方给独立Prover列出的最低配置是4核、8GB内存、20GB存储和20Mbps网络,并特别强调单核性能,因为生成证明的任务是单线程执行;增加worker主要依靠更多核心并行处理,而不是把一份证明随意拆成很多线程。这说明隐私路径的成本不只体现在Gas,还体现在等待时间、机器性能和证明服务的可用性。

这里的反转也很直接。本地证明能减少对第三方的暴露,却把软件更新、资源占用和失败重试交给用户;远程证明使用方便,又要弄清请求里暴露了什么、服务是否记录数据、宕机时能否切换。如果以后隐私交易量明显上升,Prover容量不足可能先表现为延迟和体验波动,而不是共识立刻停止。

所以我判断Dusk隐私能力,不会只看密码学名称和“可隐藏”三个字。更实在的观察项是证明生成耗时、普通设备成功率、远端证明者分布、失败后的回退路径,以及钱包有没有把成本提前讲清楚。隐私做得到是一层,用户愿意持续使用是另一层。