🧠Dari 0 hingga ZK Konsep Bites #3: TODA Di Bagian 8, kami memperkenalkan ProverNet, pasar terdesentralisasi Brevis untuk pembuatan bukti ZK. Pada intinya adalah mekanisme lelang yang disebut TODA (Truthful Online Double Auction) yang memecahkan masalah yang tidak dipikirkan kebanyakan orang: bagaimana Anda mengoordinasikan pasar di mana semua orang mencoba mempermainkan satu sama lain? Strategi penghargaan lelang tradisional. Jika saya pikir Anda akan menawar $80, saya menawar $81 dan mengantongi selisihnya. Kalikan ini di banyak pembeli dan penjual dan Anda mendapatkan inefisiensi di mana-mana. Pembeli membayar lebih untuk mengamankan penawaran. Penjual kurang harga untuk memenangkan pekerjaan. Semua orang mengoptimalkan terhadap orang lain alih-alih menyatakan apa yang sebenarnya mereka butuhkan. TODA mengubahnya dengan memisahkan apa yang Anda tawarkan dari apa yang Anda bayarkan. Pembeli mengirimkan maksimum mereka, penjual mengirimkan biaya sebenarnya mereka, dan mekanisme menemukan kecocokan optimal dan menentukan "harga kritis" kliring pasar berdasarkan penawaran dan permintaan. Pemenang membayar harga penting ini, bukan tawaran yang diajukan. Jika saya menawar $100 tetapi pasar bersih pada $80, saya membayar $80. Tidak ada keuntungan untuk menawar lebih rendah dari nilai sebenarnya saya karena hanya berisiko kehilangan pekerjaan yang akan saya menangkan. Tidak ada lagi menebak-nebak. Cukup nyatakan preferensi Anda yang sebenarnya dan biarkan mekanisme menemukan harga yang efisien. 🔧Mengapa ini penting bagi ZK membuktikan secara khusus? Karena pasar ini sangat kompleks. Beberapa beban kerja membutuhkan latensi di bawah detik, yang lain membutuhkan waktu berjam-jam. Beberapa membutuhkan GPU, yang lain berjalan lebih baik pada CPU. Lelang tradisional akan memaksa peserta untuk menyusun strategi di semua variabel ini. TODA memungkinkan aplikasi menentukan persyaratan, pemprov melaporkan kapasitas dan biaya, dan mekanisme menangani pencocokan tanpa ada yang perlu menebak orang lain. Strategi terbaik adalah tidak ada strategi sama sekali. ♟️ Baca Bagian 8: