3月16日周一上午。离 Cardano 社区期待的 3 月底 Midnight 主网首发还有两周时间。上个周末我没有关注

0x旺仔

3月16日周一上午。离 Cardano 社区期待的 3 月底 Midnight 主网首发还有两周时间。
上个周末我没有关注 $NIGHT 在各个场外交易群里的溢价率，而是花时间研究了 Midnight 开发者文档中关于“客户端证明（Client-side Proving）”的底层技术规格说明。
在白皮书的架构设计里，这是整个“理性隐私”能够成立的基础。为了确保企业的原始商业数据绝对不被泄露到公链上，所有的隐私计算都必须在用户的本地设备上执行。链上的验证节点只负责接收一串毫无意义的数学字符串，并用毫秒级的时间验证它的正确性。

从密码学的角度看，这个公式是完美的。但在物理世界的硬件执行层面，这种将计算压力完全下放到客户端的设计，违背了最基本的算力经济学规律。
我截取了 Kūkolu 测试网上一个基础的供应链资金分发合约。这个合约包含三个前置的隐私条件判定。用官方推荐的 Compact 语言编译后，它在底层生成了一个包含约 200 万个算术门约束的零知识电路。
把这个电路放在一台配置为 16GB 内存、M1 芯片的主流商务笔记本上运行证明生成程序，跑满 CPU 单核需要大约 40 秒。如果这是一台运行在工厂车间里的普通工控机，或者是一个普通的手机端钱包，这个时间会拉长到几分钟。
这就引出了一个被所有公链布道者刻意回避的现实问题，即 ZK 状态并发冲突。
企业级应用的核心是高频和并发。如果一家大型电商平台使用 Midnight 来处理其后台的供应商结算。当系统尝试为上千个供应商并发生成隐私转账证明时，按照现有的本地硬件算力，这台财务电脑会直接宕机。

即使勉强算出来了，由于区块链的状态是在不断向前推进的。当一台设备花了 40 秒钟在本地计算证明时，链上的 UTXO 状态可能已经被其他节点更新了。这会导致耗费大量本地算力和时间的证明直接失效，必须重新获取最新状态再算一遍。
在传统的 Web2 架构里，解决这种算力瓶颈的方法是买更多的云服务器。但在强调本地隐私的 Midnight 网络里，你不能把计算扔给云端，因为一旦你把数据传给云服务器去算，你的数据就出域了，隐私的物理隔离就被打破了。
这就逼出了一个极其尴尬的生态补丁。
为了在主网上线后解决这种本地算力不足导致的大规模交易失败，生态内必然会诞生一种名为“委派证明者（Delegated Provers）”的第三方服务商。
这些服务商会在机房里部署大量的 GPU 和定制的 FPGA 硬件加速卡，专门用来暴力计算零知识证明。企业或者普通用户因为自己的设备算不动，或者无法忍受极高的状态冲突失败率，只能选择支付一笔额外的费用，把计算证明的工作外包给这些专业的硬件农场。
但把证明工作外包，有一个绕不开的前提。你必须把生成证明所需的原始明文数据，一字不差地发送给这些第三方证明者。

这直接从物理层面上击穿了 Midnight “数据不离开本地”的核心承诺。
企业为了追求交易打包的成功率和并发速度，不得不把包含了核心商业机密的订单数据、流水明细、供应链底价，通过加密通道发送给几个集中的硬件算力池。
从外部看，链上的数据依然是零知识证明，没有任何人能看到这家企业的隐私。但从内部看，那几个掌握了全网最大 ZK 证明算力的第三方服务商，手里握着整个网络里最核心、最完整的原始商业明文数据。
整个公链的设计初衷是为了防范中心化机构对数据的窃取。但因为底层数学计算的物理硬件门槛过高，系统最终又把这些隐私数据，原封不动地送到了另一批掌握着核心算力的硬件财阀手里。
这与代币经济学无关，也与合规监管无关。这仅仅是因为数学公式的复杂度超出了民用硅基芯片的物理极限，从而在工程落地时产生的一种必然的架构妥协。
月底的主网启动并不会改变这一物理现状。普通用户和轻量级设备在这个网络里只具备理论上的隐私权。当真实的高并发商业应用落地时，受制于本地算力瓶颈，算力外包将成为唯一的工程解。而隐私数据向中心化算力节点的集中，将是这个密码学系统在现实运作中必须支付的代价。@MidnightNetwork #night $NIGHT
NIGHTUSDT永续0.05096+1.96%