🧠 Tokenové inženýrství @ Série EthCC [2/12] Dnešní přednáška: "Škálování Etherea optimalizací ZK Prover Networks" od Franklina Delehelleho z @lagrangedev. Toto je část našeho seriálu o klíčových přednáškách z Token Engineering Track na @EthCC 2025. #TEatEthCC2025 ⚙️ Výzva: Sladění nabídky a poptávky po výpočetních prostředcích Systémy ZK proof jsou výpočetně náročné. Franklinův tým potřeboval způsob, jak spravedlivě a efektivně spárovat klienty (kteří chtějí důkazy) s operátory (kteří nabízejí výpočetní výkon). Vtip: dílčí výsledky jsou k ničemu. Každý zápas musí být všechno nebo nic. 📈 Cíl: vytvořit spravedlivou aukci v souladu s pobídkami Problém návrhu je variací dvojité aukce – ale s tvrdšími omezeními než tradiční trhy. Systém musel optimalizovat v pěti nemovitostech: 1. Pravdivost 2. Odolnost vůči skupinové strategii 3. Maximalizace blahobytu 4. Rozpočet vyrovnaný 5. Výpočetní efektivita 🧠 Háček: je to problém batohu Párování klientů a operátorů je jako snaha zabalit kufr s předměty neobvyklých tvarů – formálně jde o kombinatorickou optimalizační výzvu. Dokonalé řešení je NP-úplné, jinými slovy prakticky neřešitelné v rozumném čase. 🧪 Řešení: Aukce "Tetron a půl" Aby to fungovalo v produkci, Franklinův tým uvolnil některá omezení: - Spíše než aby maximalizovaly blahobyt, vyžadují výsledky s kladným součtem - Definovali flexibilní algoritmovou "rodinu" postavenou na hodnocených shodách, filtrech kompatibility nabídky a poptávky a výplatní logice - Každá varianta v rodině je parametrizována a přizpůsobena podle případu použití. 🔍 Komponenty algoritmu Rámec aukce zahrnuje: - Pravidla hodnocení: Seřaďte klienty a kyprografy podle ziskovosti a síly - Pravidla párování: Filtrujte proveditelné kombinace (např. výpočet ≥ potřeby, cenové rozpětí OK) - Pravidla platby: Oceňte práci spravedlivě, upřednostněte použitelné výsledky před optimálními 🧱 Výzvy v reálném světě I se zvukovým algoritmem je implementace chaotická: - Reálné sítě jsou kontinuální, ne jednotlivá aukční kola - Hardware je heterogenní (GPU vs. CPU, poruchovost atd.) - Klienti zavádějí vlastní pravidla a preference operátorů - S nepřátelským chováním je třeba počítat Výsledek: více okrajových případů, více heuristik, více kombinatorického chaosu. 🎯 Odnést Návrh aukce pro ZK proving je tvrdou kombinací ekonomiky, optimalizace a inženýrství. Franklin ukazuje, jak přizpůsobení teoretických modelů reálné infrastruktuře vyžaduje... kompromisy a hluboké porozumění všem vrstvám systému. 🎥 Podívejte se na celou přednášku: 📰Přečtěte si článek: 📚 Prozkoumat všechny souhrny: Hledat #TEatEthCC nebo navštivte náš zápis z akce: