🧠 Token Engineering @ EthCC-sarja [2/12] Tämän päivän puhe: "Ethereumin skaalaaminen optimoimalla ZK Prover Networks", kirjoittanut Franklin Delehelle vuodelta @lagrangedev. Tämä on osa sarjaamme, joka kattaa Token Engineering Trackin keskeiset puheet @EthCC 2025. #TEatEthCC2025 ⚙️ Haaste: Laskennan kysynnän ja tarjonnan yhteensovittaminen ZK-varmistusjärjestelmät ovat laskentaintensiivisiä. Franklinin tiimi tarvitsi tavan yhdistää reilusti ja tehokkaasti asiakkaat (jotka haluavat todisteita) operaattoreihin (jotka tarjoavat laskentatehoa). Käänne: osittaiset tulokset ovat hyödyttömiä. Jokaisen ottelun on oltava kaikki tai ei mitään. 📈 Tavoite: Rakentaa oikeudenmukainen, kannustimia suosiva huutokauppa Suunnitteluongelma on muunnelma kaksoishuutokaupasta – mutta tiukemmilla rajoituksilla kuin perinteisillä markkinoilla. Järjestelmän piti optimoida viidessä kiinteistössä: 1. Totuudenmukaisuus 2. Konsernistrategian kestävyys 3. Hyvinvoinnin maksimointi 4. Tasapainoinen talousarvio 5. Laskennallinen tehokkuus 🧠 Juju: Se on reppuongelma Asiakkaiden ja operaattoreiden yhteensovittaminen on kuin yrittäisi pakata matkalaukkuun oudon muotoisia esineitä – muodollisesti kombinatorinen optimointihaaste. Täydellinen ratkaisu on NP-täydellinen, toisin sanoen käytännössä ratkaisematon kohtuullisessa ajassa. 🧪 Ratkaisu: "Tetron ja puoli" -huutokaupat Jotta se toimisi tuotannossa, Franklinin tiimi höllensi joitain rajoituksia: - Hyvinvoinnin maksimoinnin sijaan ne vaativat positiivisia tuloksia - He määrittelivät joustavan algoritmin "perheen", joka rakentui sijoitetuista otteluista, kysynnän ja tarjonnan yhteensopivuussuodattimista ja maksulogiikasta - Jokainen tuoteperheen versio on parametroitu ja mukautettu käyttötapauskohtaisesti. 🔍 Algoritmin komponentit Huutokauppakehykseen kuuluvat: - Sijoitussäännöt: Lajittele asiakkaat ja todistajat kannattavuuden ja tehon mukaan - Täsmäytyssäännöt: Suodata mahdolliset yhdistelmät (esim. laskenta≥ tarve, hintaluokka OK) - Maksusäännöt: Hinnoittele työ oikeudenmukaisesti ja aseta käyttökelpoiset tulokset etusijalle optimaalisten sijaan 🧱 Todelliset haasteet Jopa järkevällä algoritmilla toteutus on sotkuista: - Todelliset verkot ovat jatkuvia, eivät yksittäisiä huutokauppakierroksia - Laitteisto on heterogeeninen (GPU vs. CPU, vikaprosentit jne.) - Asiakkaat ottavat käyttöön mukautettuja sääntöjä ja operaattoriasetuksia - Vastakkainen käyttäytyminen on otettava huomioon Tulos: enemmän reunatapauksia, enemmän heuristiikkaa, enemmän kombinatorista kaaosta. 🎯 Takeawayt Huutokauppasuunnittelu ZK:n todistamiseen on kova sekoitus taloutta, optimointia ja suunnittelua. Franklin osoittaa, kuinka teoreettisten mallien mukauttaminen todelliseen infrastruktuuriin vaatii... kompromisseja ja syvällistä ymmärrystä kaikista järjestelmäkerroksista. 🎥 Katso koko puhe: 📰Lue artikkeli: 📚 Tutustu kaikkiin yhteenvetoihin: Hae #TEatEthCC tai käy tapahtumakirjoituksessamme: