🧠Từ 0 đến ZK Concept Bites #3: TODA Trong Phần 8, chúng tôi đã giới thiệu ProverNet, thị trường phi tập trung của Brevis cho việc tạo ra chứng minh ZK. Ở cốt lõi của nó là một cơ chế đấu giá gọi là TODA (Đấu giá Đôi Trực tuyến Trung thực) giải quyết một vấn đề mà hầu hết mọi người không nghĩ đến: làm thế nào để bạn phối hợp một thị trường nơi mọi người đều cố gắng chơi trò chơi với nhau? Các cuộc đấu giá truyền thống thưởng cho chiến lược. Nếu tôi nghĩ bạn sẽ đấu giá $80, tôi sẽ đấu giá $81 và bỏ túi phần chênh lệch. Nhân điều này với nhiều người mua và người bán, bạn sẽ thấy sự không hiệu quả ở khắp mọi nơi. Người mua trả quá nhiều để đảm bảo đấu giá. Người bán định giá thấp hơn để giành được công việc. Mọi người đều tối ưu hóa chống lại nhau thay vì nêu rõ những gì họ thực sự cần. TODA thay đổi điều này bằng cách tách biệt những gì bạn đấu giá với những gì bạn trả. Người mua gửi giá tối đa của họ, người bán gửi chi phí thực sự của họ, và cơ chế tìm ra các kết hợp tối ưu và xác định "giá quan trọng" để làm sạch thị trường dựa trên cung và cầu. Những người chiến thắng trả giá quan trọng này, không phải giá đã gửi của họ. Nếu tôi đấu giá $100 nhưng thị trường làm sạch ở $80, tôi sẽ trả $80. Không có lợi thế nào khi đấu giá thấp hơn giá trị thực sự của tôi vì điều đó chỉ rủi ro mất một công việc mà tôi lẽ ra đã thắng. Không còn đoán mò nữa. Chỉ cần nêu rõ sở thích thực sự của bạn và để cơ chế tìm ra giá hiệu quả. 🔧Tại sao điều này lại quan trọng cho việc chứng minh ZK cụ thể? Bởi vì thị trường này đặc biệt phức tạp. Một số khối lượng công việc cần độ trễ dưới một giây, trong khi những cái khác mất hàng giờ. Một số yêu cầu GPU, trong khi những cái khác hoạt động tốt hơn trên CPU. Một cuộc đấu giá truyền thống sẽ buộc các bên tham gia phải chiến lược hóa trên tất cả các biến số này. TODA cho phép các ứng dụng chỉ định yêu cầu, các nhà cung cấp báo cáo khả năng và chi phí, và cơ chế xử lý việc kết hợp mà không ai cần phải đoán trước ai khác. Chiến lược tốt nhất là không có chiến lược nào cả. ♟️ Đọc Phần 8: