🧠從 0 到 ZK 概念簡介 #3: TODA 在第 8 部分中，我們介紹了 ProverNet，Brevis 的去中心化 ZK 證明生成市場。其核心是一種稱為 TODA（誠實的在線雙重拍賣）的拍賣機制，解決了一個大多數人不會考慮的問題：如何協調一個每個人都在試圖互相博弈的市場？ 傳統拍賣獎勵策略。如果我認為你會出價 80 美元，我就出價 81 美元，然後口袋裡就有了差額。將這種情況擴展到許多買家和賣家，你會發現到處都是低效率。買家為了確保出價而支付過高的價格。賣家為了贏得工作而定價過低。每個人都在針對其他人進行優化，而不是陳述他們實際需要的東西。 TODA 通過將出價與支付的金額分開來改變這一點。買家提交他們的最高出價，賣家提交他們的真實成本，機制根據供需找到最佳匹配並確定市場清算的「關鍵價格」。贏家支付這個關鍵價格，而不是他們提交的出價。如果我出價 100 美元，但市場清算價格為 80 美元，我就支付 80 美元。出價低於我的真實價值沒有任何優勢，因為這只會冒著失去我本來可以贏得的工作的風險。 不再猜測。只需陳述你的真實偏好，讓機制找到有效的價格。 🔧這對 ZK 證明具體有什麼重要性？ 因為這個市場獨特而複雜。一些工作負載需要亞秒延遲，另一些則需要幾個小時。一些需要 GPU，另一些在 CPU 上運行得更好。傳統拍賣會迫使參與者在所有這些變量之間進行策略規劃。TODA 讓應用程序指定要求，證明者報告能力和成本，機制處理匹配，而無需任何人去猜測其他人。 最佳策略根本不需要策略。♟️ 閱讀第 8 部分: