🧠 Kỹ thuật Token @ Chuỗi EthCC [2/12] Bài nói hôm nay: "Mở rộng Ethereum bằng cách tối ưu hóa Mạng ZK Prover" bởi Franklin Delehelle từ @lagrangedev. Đây là một phần trong chuỗi bài nói của chúng tôi về các bài nói chính từ Đường dây Kỹ thuật Token tại @EthCC 2025. #TEatEthCC2025 ⚙️ Thách thức: Khớp cung và cầu tính toán Hệ thống chứng minh ZK rất tốn tài nguyên tính toán. Nhóm của Franklin cần một cách để khớp công bằng và hiệu quả giữa khách hàng (những người muốn có chứng minh) với các nhà điều hành (những người cung cấp sức mạnh tính toán). Điểm đặc biệt: kết quả một phần là vô dụng. Mỗi khớp phải là tất cả hoặc không có gì. 📈 Mục tiêu: Xây dựng một cuộc đấu giá công bằng, phù hợp với động lực Vấn đề thiết kế là một biến thể của cuộc đấu giá kép — nhưng với các ràng buộc khó hơn so với các thị trường truyền thống. Hệ thống phải tối ưu hóa trên năm thuộc tính: 1. Tính trung thực 2. Tính bảo vệ chiến lược nhóm 3. Tối đa hóa phúc lợi 4. Cân bằng ngân sách 5. Hiệu quả tính toán 🧠 Cái bẫy: Đây là một Vấn đề Ba lô Khớp khách hàng và nhà điều hành giống như cố gắng nhét đồ vào một chiếc vali với các món đồ có hình dạng kỳ lạ — chính thức, đây là một thách thức tối ưu hóa tổ hợp. Giải pháp hoàn hảo là NP-hoàn chỉnh, nói cách khác, gần như không thể giải quyết trong một khoảng thời gian hợp lý. 🧪 Giải pháp: Cuộc đấu giá "Tetron và một nửa" Để làm cho nó hoạt động trong sản xuất, nhóm của Franklin đã nới lỏng một số ràng buộc: - Thay vì tối đa hóa phúc lợi, họ yêu cầu kết quả tổng dương - Họ định nghĩa một "gia đình" thuật toán linh hoạt được xây dựng từ các khớp xếp hạng, bộ lọc tương thích cung-cầu và logic thanh toán - Mỗi biến thể trong gia đình được tham số hóa và điều chỉnh theo từng trường hợp sử dụng. 🔍 Các thành phần Thuật toán Khung đấu giá bao gồm: - Quy tắc xếp hạng: Sắp xếp khách hàng và nhà cung cấp theo lợi nhuận và sức mạnh - Quy tắc khớp: Lọc các kết hợp khả thi (ví dụ: tính toán ≥ nhu cầu, khoảng giá OK) - Quy tắc thanh toán: Định giá công việc một cách công bằng, ưu tiên kết quả có thể sử dụng hơn là tối ưu 🧱 Thách thức Thế giới Thực Ngay cả với một thuật toán hợp lý, việc triển khai cũng rất phức tạp: - Mạng thực là liên tục, không phải là các vòng đấu giá đơn lẻ - Phần cứng là không đồng nhất (GPU so với CPU, tỷ lệ thất bại, v.v.) - Khách hàng đưa ra các quy tắc tùy chỉnh và sở thích của nhà điều hành - Hành vi đối kháng phải được tính đến Kết quả: nhiều trường hợp biên, nhiều heuristics, nhiều hỗn loạn tổ hợp. 🎯 Những điểm rút ra Thiết kế đấu giá cho chứng minh ZK là một sự kết hợp khó khăn giữa kinh tế, tối ưu hóa và kỹ thuật. Franklin cho thấy cách điều chỉnh các mô hình lý thuyết cho cơ sở hạ tầng thực tế đòi hỏi… sự thỏa hiệp và hiểu biết sâu sắc về tất cả các lớp hệ thống. 🎥 Xem toàn bộ bài nói: 📰 Đọc bài báo: 📚 Khám phá tất cả các tóm tắt: Tìm kiếm #TEatEthCC hoặc truy cập bài viết sự kiện của chúng tôi: