🧠 Rekayasa Token @ Seri EthCC [2/12] Pembicaraan hari ini: "Scaling Ethereum by Optimizing ZK Prover Networks" oleh Franklin Delehelle dari @lagrangedev. Ini adalah bagian dari seri kami yang mencakup pembicaraan penting dari Jalur Rekayasa Token pada @EthCC 2025. #TEatEthCC2025 ⚙️ Tantangan: Mencocokkan Penawaran & Permintaan Komputasi Sistem bukti ZK intensif komputasi. Tim Franklin membutuhkan cara untuk mencocokkan klien secara adil dan efisien (yang menginginkan bukti) dengan operator (yang menawarkan daya komputasi). Twistnya: hasil parsial tidak berguna. Setiap pertandingan harus semua-atau-tidak sama sekali. 📈 Tujuan: Bangun Lelang yang Adil dan Sejajar dengan Insentif Masalah desain adalah variasi dari lelang ganda - tetapi dengan kendala yang lebih sulit daripada pasar tradisional. Sistem harus mengoptimalkan di lima properti: 1. Kebenaran 2. Bukti strategi grup 3. Maksimalisasi kesejahteraan 4. Seimbang anggaran 5. Efisiensi komputasi 🧠 Tangkapan: Ini Masalah Ransel Mencocokkan klien dan operator seperti mencoba mengemas koper dengan barang-barang berbentuk aneh — secara formal, tantangan pengoptimalan kombinatorial. Solusi sempurna adalah NP-lengkap, dengan kata lain, praktis tidak dapat dipecahkan dalam waktu yang wajar. 🧪 Solusinya: Lelang "Tetron dan Setengah" Untuk membuatnya bekerja dalam produksi, tim Franklin melonggarkan beberapa kendala: - Alih-alih memaksimalkan kesejahteraan, mereka membutuhkan hasil yang positif - Mereka mendefinisikan "keluarga" algoritme fleksibel yang dibangun dari kecocokan peringkat, filter kompatibilitas penawaran-permintaan, dan logika pembayaran - Setiap varian dalam keluarga diparameterisasi dan disesuaikan per kasus penggunaan. 🔍 Komponen Algoritma Kerangka lelang meliputi: - Aturan peringkat: Urutkan klien dan prover berdasarkan profitabilitas dan kekuatan - Aturan pencocokan: Filter kombinasi yang layak (misalnya, komputasi ≥ kebutuhan, kisaran harga OK) - Aturan pembayaran: Hargai pekerjaan secara adil, prioritaskan hasil yang dapat digunakan daripada yang optimal 🧱 Tantangan Dunia Nyata Bahkan dengan algoritma yang baik, implementasinya berantakan: - Jaringan nyata bersifat berkelanjutan, bukan putaran lelang tunggal - Perangkat keras heterogen (GPU vs. CPU, tingkat kegagalan, dll.) - Klien memperkenalkan aturan khusus dan preferensi operator - Perilaku permusuhan harus dipertanggungjawabkan Hasilnya: lebih banyak kasus tepi, lebih banyak heuristik, lebih banyak kekacauan kombinatorial. 🎯 Kesimpulan Desain lelang untuk pembuktian ZK adalah perpaduan keras antara ekonomi, pengoptimalan, dan teknik. Franklin menunjukkan bagaimana mengadaptasi model teoretis dengan infrastruktur nyata membutuhkan... kompromi, dan pemahaman mendalam tentang semua lapisan sistem. 🎥 Tonton pembicaraan lengkapnya: 📰Baca makalahnya: 📚 Jelajahi semua ringkasan: Cari #TEatEthCC atau kunjungi tulisan acara kami: