🧠0からZKまで コンセプトポイント #3:TODA パート8では、Brevisの分散型マーケットプレイスであるZK証明生成のためのProverNetを紹介しました。その核心にはTODA(Truthful Online Double Auction)というオークションメカニズムがあり、多くの人があまり考えない問題を解決しています。つまり、みんなが互いを騙そうとする市場をどう調整するかということです。 従来のオークションは戦略を報酬にします。もし80ドルで入札すると思うなら、81ドルで入札して差額を取る。これを多くの買い手や売り手に掛け合わせると、どこでも非効率になります。買い手は入札を確保するために過剰な価格を支払います。売り手は仕事を勝ち取るために価格を安くします。みんなが自分たちの必要性を明言する代わりに、他の人に対して最適化をしています。 TODAは入札額と支払額を分けてこれを改善します。買い手は最大値を提出し、売り手は真のコストを提出し、メカニズムは最適なマッチを見つけ、需要と供給に基づいて市場清算を行う「重要な価格」を決定します。当選者はこの重要な代償を支払うものであり、提出した入札者ではありません。もし100ドル入札しても市場が80ドルでクリアなら、80ドルを払う。自分の本当の価値より低く入札しても、勝つはずだった仕事を失うリスクがあるだけなので、メリットはありません。 もう推測はしない。本当の好みを伝えて、メカニズムが効率的な価格を見つけるのを待ってください。 🔧なぜこれが特にZK証明に重要なのでしょうか? この市場は非常に複雑だからです。あるワークロードは秒単位のレイテンシが必要で、他のワークロードは数時間かかります。GPUが必要なものもあれば、CPUの方が動作が良いものもあります。従来のオークションでは、参加者はこれらすべての変数を踏まえて戦略を練ることを強いられます。TODAはアプリケーションが要件を指定し、プロバーが能力とコストを報告し、誰も他人を予測することなくマッチングを処理します。 最善の戦略は、戦略を全く持たないことです。♟️ パート8をお読みください: