🧠 Token-teknikk @ EthCC-serien [2/12] Dagens foredrag: "Scaling Ethereum by Optimizing ZK Prover Networks" av Franklin Delehelle fra @lagrangedev. Dette er en del av vår serie som dekker viktige foredrag fra Token Engineering Track på @EthCC 2025. #TEatEthCC2025 ⚙️ Utfordringen: Matching av databehandlingstilbud og -etterspørsel ZK-bevissystemer er dataintensive. Franklins team trengte en måte å rettferdig og effektivt matche kunder (som vil ha bevis) med operatører (som tilbyr datakraft). Vrien: delvise resultater er ubrukelige. Hver kamp må være alt-eller-ingenting. 📈 Målet: Bygge en rettferdig, insentivtilpasset auksjon Designproblemet er en variant av en dobbel auksjon – men med hardere begrensninger enn tradisjonelle markeder. Systemet måtte optimalisere på tvers av fem eiendommer: 1. Sannferdighet 2. Sikring av konsernstrategi 3. Velferdsmaksimering 4. Budsjettbalansert 5. Beregningsmessig effektivitet 🧠 Haken: Det er et ryggsekkproblem Å matche kunder og operatører er som å prøve å pakke en koffert med gjenstander med merkelige former – formelt sett en kombinatorisk optimaliseringsutfordring. Den perfekte løsningen er NP-komplett, med andre ord praktisk talt uløselig på rimelig tid. 🧪 Løsningen: "Tetron og en halv" auksjoner For å få det til å fungere i produksjonen, lempet Franklins team på noen begrensninger: - I stedet for å maksimere velferden, krever de positive sumresultater - De definerte en fleksibel algoritme-"familie" bygget fra rangerte treff, kompatibilitetsfiltre for tilbud og etterspørsel og utbetalingslogikk - Hver variant i familien er parametrisert og tilpasset etter brukstilfelle. 🔍 Komponenter i algoritmen Auksjonsrammeverket inkluderer: - Rangeringsregler: Sorter kunder og bevisere etter lønnsomhet og kraft - Samsvarsregler: Filtrer mulige kombinasjoner (f.eks. beregne ≥ behov, prisklasse OK) - Betalingsregler: Pris arbeidet rettferdig, og prioriter brukbare resultater fremfor optimale 🧱 Utfordringer i den virkelige verden Selv med en god algoritme er implementeringen rotete: - Reelle nettverk er kontinuerlige, ikke enkeltauksjonsrunder - Maskinvaren er heterogen (GPU vs. CPU, feilrater osv.) - Klienter introduserer tilpassede regler og operatørpreferanser - Kontradiktorisk oppførsel må redegjøres for Resultat: flere kanttilfeller, mer heuristikk, mer kombinatorisk kaos. 🎯 Takeaways Auksjonsdesign for ZK-bevis er en hard blanding av økonomi, optimalisering og ingeniørkunst. Franklin viser hvordan tilpasning av teoretiske modeller til reell infrastruktur krever... kompromisser og dyp forståelse av alle systemlag. 🎥 Se hele foredraget: 📰Les artikkelen: 📚 Utforsk alle sammendrag: Søk #TEatEthCC Eller besøk vår Event-artikkel: