各大交易所公布 ZK-PoR 储备证明时，公关稿里最喜欢用“密码学数学级安全”来背书。 但只要在终端跑过一次 Merkle 树验证，就能看懂这套零知识证明的… · @fishjar · TwKit

@fishjar

各大交易所公布 ZK-PoR 储备证明时，公关稿里最喜欢用“密码学数学级安全”来背书。 但只要在终端跑过一次 Merkle 树验证，就能看懂这套零知识证明的微观边界： ZK-PoR 证明的仅仅是负债端（Liability），它通过零知识证明向用户承诺“你的账户余额确实被包含在了交易所声明的总负债账本里，且总和没有被暗中截断”。 但这套密码学证明从数学上根本无法证明资产端（Assets）。 交易所链上冷钱包里到底有没有足额的代币？私钥到底掌握在谁手里？是否存在多签私钥质押或链外拆借？这些核心事实，零知识证明是完全看不见的。 更微妙的是快照时间窗口。只要提前 24 小时从做市商或借贷协议里倒腾一笔过桥资金，把快照区块打满，等快照生成完毕后再转走，数学证明依然可以完美通过。 密码学只能保证公式没算错，保证不了人心不挪用。

曝光 68 · 评论 0 · 点赞 0 · 书签 0