Arbitrum en ZK-rollups handelen verschillen in uitbetalingen af
Het type proof van een Ethereum rollup bepaalt wanneer uitbetalingen terug naar Ethereum aankomen en hoe makkelijk apps erop draaien. Optimistic rollups en ZK-rollups werken met verschillende validatiemethoden.
Wat er gebeurde
Rollups voeren transacties buiten Ethereum uit en sturen batches met gegevens terug naar de mainchain. Die data legt de activiteit vast. De manier waarop een rollup bewijst dat een batch klopt bepaalt wanneer de voorgestelde toestand wordt geaccepteerd.
Een optimistic rollup plaatst een batch op de veronderstelling dat die klopt. Daarna begint een challengeperiode. Tijdens die periode kan een deelnemer een fraud proof indienen als hij een ongeldige wijziging ziet. Als geen challenge slaagt voor het einde van de periode, wordt de staat geaccepteerd. Dit model vereist dat minstens één eerlijk deelnemer de keten volgt en kan aanvechten.
De challengeperiode beïnvloedt directe uitbetalingen naar Ethereum. Arbitrum One hanteert een challengewindow van 6,4 dagen. Dat is een protocolperiode. De totale wachttijd voor een gebruiker kan echter verschillen per rollup en per route die voor de uitbetaling wordt gebruikt.
Een ZK-rollup stuurt bij elke batch een validity proof mee. Het slimme contract op Ethereum verifieert die proof voordat de nieuwe toestand wordt geaccepteerd. Daardoor is wachten op een fraud-challenge niet nodig. Toch hangt de timing van een uitbetaling bij ZK-rollups af van het proof-proces en het uitbetalingssysteem van de rollup.
Zero-knowledge betekent hier niet dat activiteit privé is. ZK-rollups publiceren de benodigde data om hun toestand te reconstrueren, bijvoorbeeld in calldata of blobs op Ethereum. Beide rollup-ontwerpen betalen om data op Ethereum te publiceren. ZK-systemen genereren en verifiëren proofs, terwijl optimistic systemen fraud proofs gebruiken als er een geschil is.
Er is ook een verschil in softwarecompatibiliteit. Optimistic rollups zijn doorgaans eenvoudiger voor ontwikkelaars die voor de EVM bouwen. ZK-systemen hebben meer moeite met het bewijzen van algemene EVM-berekeningen. Projecten met zkEVM werken eraan om vertrouwde contracten en ontwikkeltools te ondersteunen.
Het type proof verklaart dus maar een deel van de gebruikerservaring. Ook de route voor uitbetalingen, de kosten voor het publiceren van data en de compatibiliteit van applicaties bepalen hoe een specifieke rollup functioneert.
Waarom dit telt
Voor beleggers in ETH of ARB en andere rollup-projecten bepaalt het proof-model grotendeels de snelheid en complexiteit van uitbetalingen en de aantrekkelijkheid voor ontwikkelaars.