DApp Store | Web3 Hub tapahtumille ja peleille

[Onko ZK:n petossuojaus täydellinen?] Mukava tutkimus @GCdePaula_ - sukeltakaamme nykyisten ZK-petostenkestävien protokollien turvallisuuteen.

Ensinnäkin, vaikka ZK-petostodisteita käytettäisiin, haasteaikaa ei voida lyhentää. Tämä johtuu siitä, että ZK-petostodisteet eivät ratkaise voimakkaita sensuurihyökkäyksiä. Toisin sanoen logiikka on, että pelkkä tapahtuman lähettäminen kerran ei riitä lyhentämään haasteaikaa.

Lisäksi nykyiset mekanismit, kuten OP Kailuan yksinkertainen ZK-petostentorjuntaan perustuva riitapeli, eivät pysty pysäyttämään uupumushyökkäyksiä. OP Kailuan hyökkäysskenaario voisi näyttää tältä:

1. Hyökkääjä lähettää jatkuvasti virheellisiä tilajuuria OP Kailuaan. Ennen lähettämistä hyökkääjä laskee etukäteen ZK-todisteet, jotka kumoavat heidän omat virheelliset tilajuurensa. 2. Rehellinen puolustaja vastaa luomalla ZK-todisteen kyseenalaistaakseen virheellisen tilajuuren.

3. Kun puolustaja luo edelleen ZK-todistetta, hyökkääjä lähettää ennalta lasketun ZK-todistuksen kumoaakseen oman tilajuurensa ja lopettaa kiistapelin. Puolustaja menettää ZK-todistuksen luomiseen käytetyt resurssit.

4. OP Kailuassa hävinneen osapuolen takuu maksetaan voittajalle. Koska hyökkääjä on kiistänyt itsensä, hän ei menetä mitään sidosta.

Tässä hyökkääjä kuluttaa ZK-todisteiden luontikustannukset + varmennuskustannukset, kun taas puolustaja vastaa ZK-todisteen tuottamiskustannuksista.

Jos hyökkääjällä on vähintään N kertaa enemmän pääomaa kuin puolustajalla, hyökkääjä voi toistaa tämän syklin, kunnes puolustajan varat loppuvat. Tässä vaiheessa hyökkääjä voi julkaista haitallisen tilajuuren ja tyhjentää kaikki resurssit koontitiedostosta.

Tämä osoittaa tehokkaasti, että ZK:n petoksenkestävät protokollat vaativat vivahteikkaampia turvallisuusnäkökohtia kuin voisi olettaa. Vahvemman turvallisuuden saavuttaminen edellyttää lisäsuunnittelutoimenpiteitä.

ZK-petossuojaukset otetaan jo käyttöön live-rollupeissa, kuten BOB, ja ne ovat ydinmekanismi, jonka seuraavan sukupolven L2:t, kuten MegaETH, suunnittelevat integroivansa. Pyrkimällä korkeampiin turvallisuusstandardeihin voimme toimittaa paljon kestävämmän ja tuotantovalmiimman tuotteen.