🧠 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...