🧠 Token Engineering @ EthCC Series [2/12] Vandaag's lezing: “Ethereum schalen door ZK Prover-netwerken te optimaliseren” door Franklin Delehelle van @lagrangedev. Dit is onderdeel van onze serie die belangrijke lezingen behandelt van het Token Engineering Track op @EthCC 2025. #TEatEthCC2025 ⚙️ De Uitdaging: Aanbod en Vraag van Rekenkracht Afstemmen ZK bewijs systemen zijn rekenintensief. Franklin's team had een manier nodig om klanten (die bewijs willen) eerlijk en efficiënt te matchen met operators (die rekenkracht aanbieden). De twist: gedeeltelijke resultaten zijn nutteloos. Elke match moet alles-of-niets zijn. 📈 Het Doel: Een Eerlijke, Incentive-Gestuurde Veiling Bouwen Het ontwerpprobleem is een variant van een dubbele veiling — maar met moeilijkere beperkingen dan traditionele markten. Het systeem moest optimaliseren over vijf eigenschappen: 1. Waarheidsgetrouweheid 2. Groepsstrategie-bestendigheid 3. Welvaartsmaximalisatie 4. Budgetbalans 5. Computationele efficiëntie 🧠 De Catch: Het is een Rugzakprobleem Het matchen van klanten en operators is als het proberen inpakken van een koffer met onregelmatig gevormde items — formeel, een combinatorisch optimalisatie-uitdaging. De perfecte oplossing is NP-compleet, met andere woorden, praktisch onoplosbaar in een redelijke tijd. 🧪 De Oplossing: “Tetron en een Half” Veilingen Om het in productie te laten werken, heeft Franklin's team enkele beperkingen versoepeld: - In plaats van welvaart te maximaliseren, vereisen ze positieve-som uitkomsten - Ze definieerden een flexibele algoritme “familie” opgebouwd uit gerangschikte matches, aanbod-vraag compatibiliteitsfilters, en uitbetalingslogica - Elke variant in de familie is geparameteriseerd en aangepast per gebruiksgeval. 🔍 Algoritme Componenten Het veilingframework omvat: - Rangschikkingsregels: Sorteer klanten en provers op winstgevendheid en kracht - Matchingregels: Filter haalbare combinaties (bijv., rekenkracht ≥ behoefte, prijsklasse OK) - Betalingsregels: Prijs het werk eerlijk, met prioriteit voor bruikbare uitkomsten boven optimale uitkomsten 🧱 Uitdagingen in de Echte Wereld Zelfs met een goed algoritme is de implementatie rommelig: - Echte netwerken zijn continu, niet enkele veilingrondes - Hardware is heterogeen (GPU vs. CPU, faalpercentages, enz.) - Klanten introduceren aangepaste regels en operatorvoorkeuren - Vijandig gedrag moet in aanmerking worden genomen Resultaat: meer randgevallen, meer heuristieken, meer combinatorische chaos. 🎯 Belangrijkste Leerpunten Veilingontwerp voor ZK bewijs is een moeilijke mix van economie, optimalisatie en engineering. Franklin laat zien hoe het aanpassen van theoretische modellen aan echte infrastructuur vereist… compromissen, en een diep begrip van alle systeemlagen. 🎥 Bekijk de volledige lezing: 📰 Lees het paper: 📚 Verken alle samenvattingen: Zoek #TEatEthCC of bezoek onze evenementverslag: