🧠从0到ZK概念简述 #3: TODA 在第8部分中，我们介绍了ProverNet，Brevis的去中心化ZK证明生成市场。其核心是一个名为TODA（真实在线双重拍卖）的拍卖机制，解决了一个大多数人不考虑的问题：如何协调一个每个人都在试图互相博弈的市场？ 传统拍卖奖励策略。如果我认为你会出价80美元，我就出81美元并 pocket 差额。在许多买家和卖家之间进行这种操作，结果到处都是低效。买家为了确保出价而支付过高的价格。卖家为了赢得工作而定价过低。每个人都在针对其他人进行优化，而不是陈述他们实际需要的东西。 TODA通过将出价与支付分开来改变这一点。买家提交他们的最高出价，卖家提交他们的真实成本，机制找到最佳匹配并根据供需确定市场清算的“临界价格”。赢家支付这个临界价格，而不是他们提交的出价。如果我出价100美元，但市场清算在80美元，我就支付80美元。出价低于我的真实价值没有优势，因为这只会冒着失去我本可以赢得的工作的风险。 不再猜测。只需陈述你的真实偏好，让机制找到有效的价格。 🔧这对ZK证明特别重要吗？ 因为这个市场独特而复杂。一些工作负载需要亚秒延迟，其他则需要数小时。一些需要GPU，其他在CPU上运行更好。传统拍卖会迫使参与者在所有这些变量之间进行策略调整。TODA让应用程序指定要求，证明者报告能力和成本，机制处理匹配，而不需要任何人去猜测其他人。 最佳策略就是没有策略。♟️ 阅读第8部分：