Finaliteit in blockchaintechnologie verwijst naar de garantie dat een transactie, zodra deze is bevestigd en toegevoegd aan het gedistribueerde grootboek, niet meer kan worden teruggedraaid, gewijzigd of geannuleerd door een deelnemer in het netwerk. Het is het punt waarop de overdracht van digitale activa onherroepelijk wordt en de nieuwe status van het grootboek als permanent wordt beschouwd. Finaliteit is een van de meest fundamentele eigenschappen van elk blockchainsysteem, omdat het de zekerheid biedt waarop alle economische activiteiten op de blockchain berusten – zonder finaliteit zou niemand erop kunnen vertrouwen dat een betaling daadwerkelijk is ontvangen of dat een actief daadwerkelijk van eigenaar is veranderd.
In de traditionele financiële wereld wordt de definitieve afhandeling afgedwongen door gecentraliseerde autoriteiten zoals centrale banken, clearinghuizen en afwikkelingssystemen zoals Fedwire of SWIFT, die een transactie als voltooid verklaren zodra deze hun verwerkingsproces heeft doorlopen. gedecentraliseerde In dergelijke systemen is het bereiken van definitieve overeenstemming veel lastiger, omdat er geen enkele autoriteit is die die verklaring aflegt. In plaats daarvan moet definitieve overeenstemming voortkomen uit het consensusmechanisme zelf – de regels waarmee duizenden onafhankelijke knooppunten overeenstemming bereiken over de status van het grootboek, zonder elkaar te vertrouwen.
Er bestaan verschillende soorten finaliteit in blockchain-systemen. Probabilistische finaliteit, gebruikt door Bitcoin en andere proof-of-work-ketens, betekent dat de kans dat een transactie wordt teruggedraaid exponentieel afneemt met elk volgend blok, maar theoretisch nooit nul bereikt. Absolute (of deterministische) finaliteit, geïmplementeerd in Byzantine Fault Tolerant (BFT) consensusprotocollen zoals Tendermint, betekent dat zodra een blok is vastgelegd, het wiskundig onmogelijk is om het terug te draaien zolang minder dan een derde van de validators kwaadwillig is. Economische finaliteit, zoals te zien in het proof-of-stake-systeem van Ethereum, betekent dat het terugdraaien van een afgeronde transactie een dusdanig grote hoeveelheid ingezette kapitaal zou vereisen dat het economisch gezien onverstandig is om dit te proberen. Het begrijpen van deze verschillen is cruciaal voor beurzen, bridges, betalingsverwerkers en DeFi-protocollen die moeten bepalen hoe lang ze moeten wachten voordat ze een transactie als afgerond beschouwen.
Oorsprong en geschiedenis
2008: Satoshi Nakamoto introduceerde het concept van probabilistische finaliteit in de Bitcoin whitepaper. Hij demonstreerde wiskundig dat de kans dat een aanvaller een transactie succesvol ongedaan maakt, exponentieel afneemt met elk volgend blok. Dit legde de basis voor de zesbevestigingsconventie, die later een praktische drempel voor finaliteit zou worden voor een groot deel van de industrie.
2009: Na de lancering van Bitcoin begonnen zich binnen het ecosysteem praktijken te ontwikkelen waarbij bevestiging de definitieve transacties waarborgde. Vroege beurzen hanteerden verschillende bevestigingsvereisten, doorgaans variërend van enkele tot zes blokken, waarmee de basis werd gelegd voor de afweging tussen snelheid en veiligheid.
1999: Miguel Castro en Barbara Liskov, beiden verbonden aan MIT, publiceerden Practical Byzantine Fault Tolerance (PBFT), waarmee ze een belangrijke academische basis legden voor deterministische finaliteit in gedistribueerde systemen. Dit werk zou later een directe invloed hebben op het ontwerp van blockchain-consensusmechanismen.
2014: Jae Kwon publiceerde de whitepaper van Tendermint, waarin hij een op BFT gebaseerd consensusmechanisme voorstelde dat onmiddellijke, deterministische finaliteit bood – zodra een voldoende grote meerderheid van de validators op een blok had gestemd, werd het onmiddellijk en permanent vastgelegd. Dit was een van de eerste praktische toepassingen van het klassieke BFT-consensusmechanisme in blockchain-ontwerp, met als doel finaliteit binnen ongeveer enkele seconden te bereiken.
2015: Ethereum werd gelanceerd met een proof-of-work consensusmechanisme en probabilistische finaliteit, vergelijkbaar met Bitcoin, maar met een snellere bloktijd (oorspronkelijk gericht op ongeveer 15 seconden, wat in de loop der tijd varieerde). De oprichter van Ethereum, Vitalik Buterin, begon onderzoek te publiceren naar proof-of-stake mechanismen die sterkere finaliteitsgaranties zouden kunnen bieden.
2017: De Interchain Foundation heeft een succesvolle ICO gehouden voor het Cosmos-netwerk (waarbij ongeveer 17 miljoen dollar werd opgehaald) om de ontwikkeling van op Tendermint gebaseerde infrastructuur te financieren. Casper FFG (Friendly Finality Gadget), ontworpen door Vitalik Buterin en Virgil Griffith, werd dit jaar ook voorgesteld als een finaliteitslaag voor Ethereum.
2019: Het Cosmos Hub-mainnet werd in maart gelanceerd en werd daarmee een van de eerste grote publieke blockchains die aantoonde dat Tendermints BFT-model met directe finaliteit schaalbaar was naar een productieomgeving – een aanzienlijk verschil met de financieringsronde van 2017, wat de werkelijke ontwikkeltijd voor een nieuw PoS/BFT-systeem weerspiegelt.
2020: De Beacon Chain van Ethereum werd gelanceerd met Casper FFG, waarmee economische finaliteit werd geïntroduceerd in het Ethereum-ecosysteem. Transacties die na twee epochs (ongeveer 12.8 minuten) werden afgerond, werden onomkeerbaar, tenzij een aanvaller bereid was minstens een derde van alle ingezette ETH op te offeren.
2022: Ethereum heeft de Merge voltooid, waarmee het hele netwerk is overgeschakeld naar proof-of-stake met economische finaliteit. Het onderzoek naar Single Slot Finality (SSF) is versneld, met als doel de finaliteitstijd van Ethereum te verkorten van ongeveer 13 minuten naar ongeveer 12 seconden – één enkele slot.
2023-2026: Single Slot Finality (SSF) werd een van de belangrijkste onderzoeksprioriteiten van Ethereum. Onderzoekers van de Ethereum Foundation en elders onderzochten op commissies gebaseerde en geaggregeerde handtekeningbenaderingen om SSF te bereiken zonder de decentralisatie op te offeren. Ethereum ondervond in deze periode ook af en toe vertragingen bij de finaliteit – bijvoorbeeld in mei 2023, toen een bug in de clientsoftware ervoor zorgde dat blokken urenlang werden geproduceerd zonder te worden gefinaliseerd, voordat het probleem zich herstelde.
In eenvoudige bewoordingen
Finaliteit is vergelijkbaar met het moment waarop de inkt op een getekend contract droog is. Voordat de inkt droog is, kan iemand de handtekening nog uitvegen of wissen. Maar zodra de inkt is gedroogd, is het document permanent en juridisch bindend. In blockchain is finaliteit het punt waarop niemand een transactie meer kan "uitvegen".
Stel je voor dat je een toren van blokken bouwt. Nadat je slechts één blok hebt gestapeld, zou het makkelijk zijn om de toren om te gooien en de boel te herschikken. Maar nadat je zes of zeven blokken erop hebt gestapeld, is de hele constructie zo stabiel dat het praktisch onmogelijk wordt om het onderste blok te verwijderen zonder de hele toren om te laten vallen. Zo werkt de probabilistische finaliteit van Bitcoin: elk nieuw blok maakt oudere transacties veiliger.
Stel je een stemming voor in een grote vergadering. Als slechts een paar mensen hun hand opsteken, kan de uitslag worden aangevochten. Maar zodra tweederde van de aanwezigen heeft gestemd en de voorzitter met de hamer slaat, is de beslissing definitief en kan deze niet meer worden herzien. Zo bereiken BFT-gebaseerde blockchains zoals Tendermint onmiddellijke definitieve besluitvorming: zodra een supermeerderheid van de validators het eens is, staat de uitslag vast.
Neem bijvoorbeeld een bankoverschrijving. Wanneer je de overschrijving initieert, is deze "in behandeling". Nadat de bank de overschrijving heeft verwerkt en de ontvangende bank de ontvangst heeft bevestigd, is het geld "afgehandeld". In blockchain is finaliteit vergelijkbaar met dat afwikkelingsmoment – alleen ben je in plaats van afhankelijk te zijn van één of twee banken, afhankelijk van vele onafhankelijke validators die het er allemaal over eens zijn dat de transactie geldig is.
Stel je voor dat je beton stort voor een trottoir. Als het beton net gestort is, kun je het nog vormgeven. Na een paar uur begint het uit te harden (probabilistische finaliteit). Na 24 uur is het keihard en permanent (absolute finaliteit). Om het te breken, heb je een drilhamer en enorm veel moeite nodig.
Belangrijk: Niet alle blockchains bereiken finaliteit op dezelfde manier of met dezelfde snelheid. Bitcoin-transacties worden over het algemeen als praktisch definitief beschouwd na 6 bevestigingen (~60 minuten), terwijl op Tendermint gebaseerde blockchains binnen enkele seconden direct finaliteit bereiken. De economische finaliteit van Ethereum duurt ongeveer 13 minuten (2 epochs). Controleer altijd het finaliteitsmodel van de specifieke blockchain die u gebruikt voordat u een transactie als onomkeerbaar beschouwt.
Belangrijkste technische kenmerken
Probabilistische finaliteit (Nakamoto-consensus)
Gebruikt door Bitcoin, Litecoin, Dogecoin en andere proof-of-work blockchains.
Elke volgende block die aan de blockchain wordt toegevoegd, verkleint exponentieel de kans dat een transactie wordt teruggedraaid.
Na 6 Bitcoin-bevestigingen (ongeveer 60 minuten) daalt de kans op een succesvolle terugdraaiing tot een zeer klein getal voor een aanvaller zonder een groot aandeel in de rekenkracht van het netwerk.
Definitiviteit is in theorie nooit absoluut – er is altijd een niet-nul (maar verwaarloosbaar kleine) kans op reorganisatie.
De beveiliging is afhankelijk van de totale hashsnelheid van het netwerk en de relatieve rekenkracht van de aanvaller.
Gebruikt door Tendermint, Cosmos, Avalanche (via Snowman-consensus) en andere op BFT gebaseerde protocollen.
Zodra een blok stemmen ontvangt van meer dan twee derde van de validators, wordt het onmiddellijk en definitief vastgelegd.
Er is geen mogelijkheid tot reorganisatie van de keten zolang minder dan een derde van de validators Byzantijns (kwaadwillend of defect) is.
De definitieve beslissing over een blok wordt in één stemronde genomen, meestal binnen enkele seconden.
Afweging: vereist een bekende, afgebakende set validators, wat de decentralisatie kan beperken in vergelijking met permissionless PoW.
Hoe finaliteit werkt in Ethereum Proof-of-Stake
Er wordt een validator geselecteerd om een nieuw blok voor het huidige tijdslot (~12 seconden) voor te stellen.
Het voorgestelde blok wordt naar het netwerk verzonden en bevestigd door een comité van validators.
Attestaties worden verzameld gedurende een tijdvak (32 tijdvakken, ~6.4 minuten).
Na de eerste fase bereikt het blok de status "gerechtvaardigd" – een voorlopige vorm van finaliteit.
Na een tweede epoch die voortbouwt op het goedgekeurde checkpoint, bereikt het blok de status "gefinaliseerd" (ongeveer 12.8 minuten in totaal).
Voltooide blokken kunnen niet worden teruggedraaid, tenzij minstens een derde van alle ingezette ETH (een zeer aanzienlijk bedrag) wordt afgeroomd.
De Casper FFG-gadget dwingt dit af door elke validator die stemt voor conflicterende, gefinaliseerde blokken, te onderwerpen aan automatische slashing.
Single Slot Finality (SSF) – Actief onderzoek
Doel: definitieve afhandeling bereiken binnen één Ethereum-slot (~12 seconden) in plaats van twee epochs (~13 minuten).
Elimineert de "gerechtvaardigde" tussenstap en gaat direct van voorstel naar definitief.
Een van de uitdagingen is het samenvoegen van handtekeningen van een zeer grote groep validators binnen één enkele slot.
Voorgestelde benaderingen omvatten selectie door een commissie en diverse methoden voor het samenvoegen van handtekeningen.
Dit zou de gebruikerservaring aanzienlijk verbeteren voor beurzen, bridges en DeFi-protocollen die momenteel meer dan 13 minuten moeten wachten op een definitieve transactie.
Finaliteit in Layer-2-oplossingen
Optimistische rollups (Arbitrum, Optimism) erven de finaliteit van Ethereum, maar voegen een uitdagingsperiode van ongeveer 7 dagen toe voor native opnames.
ZK-rollups (zkSync, StarkNet) kunnen relatief snel tot een definitieve oplossing komen zodra een geldigheidsbewijs on-chain is geverifieerd.
State channels (Lightning Network) bieden directe off-chain finaliteit met on-chain settlement als back-up.
Bij het verbinden van verschillende ketens moet rekening worden gehouden met het finaliteitsmodel van zowel de bron- als de bestemmingsketen.
Voordelen nadelen
Voordelen
Nadelen
Transactiezekerheid: Definitieve afhandeling elimineert het risico op terugbetalingen, waardoor handel en afwikkeling mogelijk wordt tussen partijen die elkaar niet kennen, zonder dat er sprake is van wederzijds vertrouwen.
Wachttijd: Het bereiken van sterke finaliteit vereist wachttijd – ongeveer 60 minuten voor Bitcoin, circa 13 minuten voor Ethereum – wat onpraktisch is voor realtime betalingen in de detailhandel zonder een Layer-2-laag of een andere oplossing.
Voorkomen van dubbele uitgaven: Zodra een transactie is afgerond, kan deze niet meer dubbel worden uitgegeven. Dit is de fundamentele veiligheidsgarantie van elk monetair systeem.
Complexiteit: Verschillende finaliteitsmodellen (probabilistisch, absoluut, economisch) zorgen voor verwarring bij ontwikkelaars en gebruikers die de specifieke garanties van elke keten moeten begrijpen.
DeFi Foundation: Composable DeFi-protocollen zijn afhankelijk van finaliteit om ervoor te zorgen dat onderpandstortingen, swaps en liquidaties onomkeerbaar zijn zodra ze zijn uitgevoerd.
Afwegingen bij centralisatie: Snellere deterministische finaliteit (BFT) vereist vaak een kleinere, bekende set validators, wat de decentralisatie kan verminderen in vergelijking met Proof-of-Work (PoW).
Beursbeveiliging: De finaliteit bepaalt hoeveel bevestigingen beurzen vereisen voordat stortingen worden bijgeschreven, wat direct van invloed is op de veiligheid van grote dagelijkse handelsvolumes.
Levendigheid versus veiligheid: BFT-systemen die absolute finaliteit prioriteren, kunnen volledig stilvallen als meer dan een derde van de validators offline gaat, waardoor levendigheid wordt opgeofferd voor veiligheid.
Brugveiligheid: Cross-chain bruggen vertrouwen op finaliteit van de bronketen om aanvallen te voorkomen waarbij activa worden overgezet en de brontransactie vervolgens wordt teruggedraaid.
Extra complexiteit door finaliteitsmechanismen: Het toevoegen van finaliteitslagen (zoals Casper FFG) aan bestaande protocollen introduceert extra protocolcomplexiteit, nieuwe aanvalsoppervlakken en verantwoordelijkheden voor de validator.
Wettelijke naleving: Regelgeving vereist steeds vaker aantoonbare definitieve afwikkeling van digitale activa-transacties, en blockchain-finaliteit kan hieraan bijdragen.
Onomkeerbaarheid van fouten: De definitieve aard van afgeronde transacties betekent dat foutieve of frauduleuze transacties door geen enkele autoriteit kunnen worden teruggedraaid, wat zorgvuldige waarborgmaatregelen vereist.
Betrouwbaarheid van slimme contracten: Slimme contracten kunnen vertrouwen op een voltooide status om de daaropvolgende logica uit te voeren, waardoor complexe protocollen met meerdere stappen mogelijk zijn zonder raceomstandigheden.
Forkincompatibiliteit: Harde forks kunnen in extreme governance-scenario's de geschiedenis van "afgeronde" transacties met terugwerkende kracht wijzigen, waardoor de garantie van onomkeerbaarheid wordt ondermijnd.
RISICO BEHEER
Voortijdige aanname van definitieve aard
Het als definitief beschouwen van een transactie voordat er voldoende bevestigingen zijn, kan gebruikers en bedrijven kwetsbaar maken voor dubbele uitgaven.
Oplossing: implementeer bevestigingsbeleid dat is afgestemd op het finaliteitsmodel van de specifieke blockchain (meestal een handvol blokken voor BTC, 2 epochs voor ETH, 1 blok voor Tendermint-ketens).
Houd de industriestandaarden in de gaten – grote beurzen publiceren hun eigen bevestigingsvereisten, die enigszins variëren per platform en stortingsgrootte.
51%-aanval / Samenspanning tussen validatoren
Op Proof-of-Work-ketens kan een aanvaller die de meerderheid van de rekenkracht beheert, de keten reorganiseren en "voltooide" transacties terugdraaien.
Op PoS/BFT-ketens kan samenspanning van meer dan een derde van de validators de finaliteit belemmeren of tegenstrijdige finaliteitsstaten creëren.
Risicobeperking: kies blockchains met een hoge totale hash rate of totale gestakete waarde; monitor de verdeling van validators en decentralisatiestatistieken.
De kosten van een aanval op de finaliteit van Bitcoin (het terugdraaien van meerdere blokken) worden over het algemeen geschat op miljarden dollars; de economische finaliteit van Ethereum vereist dat een aanvaller bereid is om minstens een derde van alle ingezette ETH te verliezen, een bedrag dat fluctueert met de prijs van ETH en het totale ingezette bedrag.
Vertraging bij definitieve levering / Live-uitval
BFT-gebaseerde blockchains kunnen vertraging oplopen bij het finaliseren van transacties als te veel validators offline gaan, omdat de resterende set mogelijk niet de drempel van twee derde bereikt.
Ethereum heeft af en toe te maken gehad met vertragingen bij de finalisering als gevolg van bugs in de clientsoftware (bijvoorbeeld een incident in mei 2023 waarbij blokken wel werden aangemaakt, maar pas na een bepaalde periode werden afgerond).
Mitigerende maatregelen: implementeer waarschuwingssystemen voor vertragingen in de afronding; zorg voor noodplannen voor applicaties die afhankelijk zijn van een tijdige afronding.
Mismatch in de finaliteit tussen verschillende ketens
Bij het overbruggen van activa tussen ketens met verschillende finaliteitsmodellen, bepaalt het finaliteitsmodel van de zwakkere keten de veiligheid van de overbrugging.
Mitigatie: bruggen moeten bevestigingsvereisten afdwingen op basis van het traagste finaliteitsmodel; gebruik fraudebewijzen of geldigheidsbewijzen voor extra beveiliging.
Culturele relevantie
Finaliteit is een van de meest besproken onderwerpen in de ontwerpfilosofie van blockchain, en bevindt zich op het snijvlak van informaticatheorie en praktisch monetair beleid. De omarming van probabilistische finaliteit door de Bitcoin-gemeenschap – waarbij wordt geaccepteerd dat "voldoende" zekerheid praktisch gelijk staat aan absolute zekerheid – weerspiegelt een pragmatische technische filosofie. Daarentegen weerspiegelt de nadruk van de BFT-gemeenschap op deterministische garanties een academische traditie die geworteld is in de theorie van gedistribueerde systemen.
De uitdrukking "zes bevestigingen" is in de Bitcoin-gemeenschap een soort afkorting geworden voor "deze transactie is veilig". Het is een van de meest bekende vuistregels voor de finaliteit van een transactie in de cryptowereld, die aan veel nieuwe gebruikers wordt uitgelegd en door beurzen wordt gebruikt. Deze standaard is echter ook bekritiseerd omdat hij te conservatief zou zijn voor kleine transacties en, door sommigen, juist onvoldoende voorzichtig voor zeer grote transacties.
Ethereums streven naar Single Slot Finality (SSF) vertegenwoordigt een bredere culturele verschuiving binnen de blockchaingemeenschap, waarbij snellere resultaten steeds vaker worden geëist. Naarmate DeFi-protocollen, NFT-marktplaatsen en cross-chain bridges economisch belangrijker zijn geworden, wordt de wachttijd van ongeveer 13 minuten voor Ethereum-finaliteit door ontwikkelaars steeds vaker gezien als een knelpunt in de gebruikerservaring. De SSF-onderzoeksagenda weerspiegelt de overtuiging binnen een deel van de gemeenschap dat finaliteit idealiter zo snel moet zijn dat het voor eindgebruikers bijna direct aanvoelt.
Het concept van "economische finaliteit" is ook doorgedrongen tot het bredere financiële jargon, waarbij instellingen onderzoeken of blockchain-finaliteitsmodellen voldoen aan de wettelijke eisen voor afwikkelingsfinaliteit in gereguleerde financiële systemen.
Voorbeelden uit de echte wereld
Bevestigingen van stortingen op Bitcoin-beurzen
Scenario: Een handelaar stort BTC op een beurs om een tijdgevoelige transactie uit te voeren tijdens een marktrally.
Implementatie: Beurzen vereisen doorgaans tussen de 2 en 6 bevestigingen voor BTC-stortingen, afhankelijk van het platform en de omvang van de storting. Elke bevestiging voegt een blok toe aan het blok van de transactie, waardoor de kans op terugdraaien exponentieel kleiner wordt. De handelaar ziet de teller voor de bevestigingen oplopen tot de vereiste drempel.
Resultaat: Zodra de vereiste bevestigingen zijn verkregen, schrijft de beurs de storting bij en kan de handelaar de transactie uitvoeren. Het probabilistische finaliteitsmodel is erop gericht het risico dat de storting wordt teruggedraaid voor een aanvaller zonder een groot aandeel in de rekenkracht van het netwerk verwaarloosbaar klein te maken.
Cosmos IBC Cross-Chain Transfer met directe afronding
Scenario: Een DeFi-gebruiker transfereert ATOM van de Cosmos Hub naar een andere blockchain binnen het Cosmos-ecosysteem via het Inter-Blockchain Communication (IBC)-protocol om deel te nemen aan een liquiditeitspool.
Implementatie: Omdat via Cosmos Hub verbonden blockchains doorgaans gebruikmaken van het Tendermint BFT-consensusmechanisme, wordt elk blok binnen enkele seconden gefinaliseerd. De IBC-relayer detecteert de gefinaliseerde overdracht op de bronblockchain en stuurt een bewijs naar de bestemmingsblockchain, die het bewijs verifieert aan de hand van de gefinaliseerde status van de bronblockchain.
Resultaat: De volledige cross-chain overdracht kan snel worden voltooid. De absolute finaliteit van Tendermint elimineert de noodzaak voor lange wachttijden of fraudebewijzen, waardoor IBC-overdrachten relatief snel en veilig zijn in vergelijking met op Ethereum gebaseerde bridges die rekening moeten houden met een finaliteitsperiode van ongeveer 13 minuten (of langer, voor optimistische bridges).
Liquidatie van Ethereum DeFi afhankelijk van definitieve beslissing
Scenario: Een lener op Aave heeft een lening met onderpand, waarbij de gezondheidsfactor dicht bij de liquidatiedrempel ligt. De ETH-prijs daalt sterk, wat liquidatie in gang zet.
Implementatie: De liquidatiebot dient een transactie in om een deel van de schuld af te lossen en onderpand te claimen. De transactie wordt opgenomen in een blok en krijgt na één epoch (~6.4 minuten) de status "gerechtvaardigd". Na een tweede epoch (~12.8 minuten in totaal) wordt het blok door Casper FFG gefinaliseerd.
Resultaat: De liquidatie is economisch gezien definitief na ongeveer twee epochs, wat betekent dat de liquidator met een hoge mate van vertrouwen kan handelen, wetende dat de uitkomst vaststaat. Als de definitieve afwikkeling niet gegarandeerd zou zijn, zou een reorganisatie van de blockchain de liquidatie theoretisch ongedaan kunnen maken, hoewel dit buitengewoon kostbaar wordt voor een aanvaller naarmate de ingezette waarde toeneemt.
Betalingsverwerking in El Salvador
Scenario: Een handelaar in El Salvador accepteert Bitcoin-betalingen via het Lightning Network.
Implementatie: Het Lightning Network biedt directe, off-chain finaliteit binnen het betalingskanaal. De betaling van de klant kan binnen enkele seconden worden bevestigd. De onderliggende Bitcoin-afwikkeling (met de gebruikelijke finaliteitsperiode van meerdere bevestigingen) vindt later plaats, wanneer het kanaal wordt gesloten of opnieuw in balans wordt gebracht.
Resultaat: De handelaar kan vrijwel direct een definitieve bevestiging van de transactie ontvangen, zonder te hoeven wachten op de on-chain Bitcoin-bevestiging voor elke afzonderlijke aankoop. Layer-2-oplossingen bieden in feite "directe bevestiging, latere afwikkeling", waardoor Bitcoin beter kan concurreren met de transactiesnelheden van kaartnetwerken voor dagelijkse aankopen.
Vergelijkingstabel
Kenmerk
Probabilistische finaliteit (Bitcoin)
Economische finaliteit (Ethereum PoS)
Absolute Finaliteit (Tendermint/Cosmos)
Eindigheidstype
Waarschijnlijkheidsgebaseerd – nooit absoluut.
Economisch gezien kost het terugdraaien van de procedure een zeer groot bedrag.
Deterministisch – wiskundig onomkeerbaar onder eerlijke supermeerderheid
Tijd tot finaliteit
Wordt doorgaans aangegeven als ~60 minuten (6 bevestigingen) voor hoge betrouwbaarheid.
~13 min (2 tijdvakken)
Doorgaans seconden van enkele cijfers
Beveiligingsbasis
Totale netwerk-hashsnelheid (PoW)
Totaal ingezette ETH + slashing-boetes
2/3+ validator stemkracht (BFT)
Kosten om terug te draaien
Vereist het opnieuw delven van meerdere blokken, wat voor grote ketens doorgaans in de miljarden dollars wordt geschat.
Vereist dat een aanvaller akkoord gaat met het afsnoepen van minstens een derde van alle ingezette ETH, een variabele maar zeer hoge prijs in dollars.
Vereist het corrumperen van meer dan een derde van de validatorset.
Levensgarantie
Ja – een ketting gaat altijd verder.
Gedeeltelijk – de definitieve afhandeling kan vertraging oplopen als validators offline zijn.
Voorwaardelijk – stopt als meer dan een derde van de validators offline is.
Vorkmogelijkheid
Ja – weesblokken en reorganisaties zijn mogelijk.
Zeer zeldzaam – Casper FFG is ontworpen om dit onder normale omstandigheden te voorkomen.
Vrijwel onmogelijk onder een eerlijke gekwalificeerde meerderheid.
Validatorset
Open, zonder toestemming toegankelijke mijnwerkers
Open, zonder toestemming toegankelijke stakers
Afgebakende, bekende validatorset
Gerelateerde termen
Consensusmechanisme – Het protocol waarmee gedistribueerde knooppunten overeenstemming bereiken over de status van de blockchain, en daarmee direct bepalen welk type finaliteit de keten biedt.
Blokbevestiging – Elk nieuw blok dat na een transactieblok wordt toegevoegd, versterkt stapsgewijs de waarschijnlijkheid van definitieve transacties op proof-of-work-ketens.
Casper FFG – Ethereum's Friendly Finality Gadget, dat economische finaliteit toevoegt aan het proof-of-stake blokproductiemechanisme.
Tendermint BFT – Een Byzantijns fouttolerante consensusengine die zorgt voor onmiddellijke, deterministische finaliteit en het Cosmos-ecosysteem aandrijft.
Dubbele uitgaven – De belangrijkste aanval die door finaliteit wordt voorkomen, is die waarbij hetzelfde digitale activum in twee tegenstrijdige transacties wordt gebruikt.
Ketenreorganisatie – Het vervangen van blokken in de canonieke keten, waardoor transacties die nog niet voldoende definitief waren, ongedaan kunnen worden gemaakt.
Afwikkeling – Het proces waarbij een transactie onherroepelijk wordt voltooid, vergelijkbaar met de definitieve afhandeling van blockchaintransacties in traditionele financiële systemen.
hakken – Het sanctiemechanisme in proof-of-stake dat economische finaliteit afdwingt door de inzet te vernietigen van validators die proberen conflicterende blokken te finaliseren.
Byzantijnse fouttolerantie – De eigenschap van een systeem dat correct blijft functioneren, zelfs wanneer sommige deelnemers kwaadwillig handelen; fundamenteel voor deterministische finaliteitsmodellen.
Finaliteit binnen één tijdslot – Een voorgestelde upgrade voor Ethereum om finaliteit binnen één tijdslot van 12 seconden te bereiken, waardoor de finaliteitstijd drastisch wordt verkort van ongeveer 13 minuten.
Optimistic Rollup – Een layer-2 schaaloplossing die de finaliteit van Ethereum overneemt, maar een uitdagingsperiode van ongeveer 7 dagen toevoegt voor de finaliteit van native opnames.
Bewijs van het werk – Het consensusmechanisme waarbij de rekenkracht blokken produceert, wat zorgt voor een waarschijnlijke definitieve uitkomst die evenredig is aan de geaccumuleerde hoeveelheid werk.
FAQ
V: Wat is het verschil tussen probabilistische en absolute finaliteit? A: Probabilistische finaliteit, zoals gebruikt door Bitcoin, betekent dat de kans dat een transactie wordt teruggedraaid exponentieel afneemt met elk nieuw blok, maar wiskundig gezien nooit nul bereikt. Na 6 Bitcoin-bevestigingen is de kans op terugdraaien extreem klein voor een doorsnee aanvaller. Absolute finaliteit, zoals gebruikt door op BFT gebaseerde blockchains zoals Cosmos, betekent dat zodra een blok is bevestigd door een supermeerderheid van validators, het wiskundig onmogelijk is om het terug te draaien onder de aannames van eerlijke meerderheid van het protocol – het is óf definitief óf niet.
V: Hoe lang duurt het voordat de definitieve versie van Ethereum na de samenvoeging tot stand komt? A: Ethereum bereikt economische finaliteit na 2 epochs, wat ongeveer 12.8 minuten duurt (64 slots van elk 12 seconden). Na dit punt zou het terugdraaien van een transactie vereisen dat minstens een derde van alle gestakete ETH (een zeer groot bedrag) wordt afgeslacht. De Ethereum Foundation onderzoekt actief Single Slot Finality (SSF) om dit te verkorten tot ongeveer 12 seconden, hoewel er op het moment van schrijven nog geen bevestigde implementatiedatum is.
V: Waarom vereisen beurzen verschillende aantallen bevestigingen voor verschillende blockchains? A: Elke blockchain heeft een ander finaliteitsmodel, bloktijd en beveiligingsbudget. De bloktijd van Bitcoin van ongeveer 10 minuten en het Proof-of-Work (PoW) beveiligingsmodel zorgen er doorgaans voor dat beurzen tussen de enkele en zes bevestigingen vereisen. De Proof-of-Stake (PoS) finaliteitstijdlijn van Ethereum kan ertoe leiden dat beurzen voor grote stortingen een deel van of het gehele finalisatieproces van ongeveer 13 minuten moeten afwachten. Blockchains met directe BFT-finaliteit (Cosmos, Avalanche) hebben mogelijk slechts één of enkele bevestigingen nodig. Beurzen stemmen hun vereisten over het algemeen af op de kosten die een aanvaller zou moeten maken om een storting terug te draaien.
V: Kan een afgeronde transactie ooit ongedaan gemaakt worden? A: In de praktijk is dit op goed beveiligde grote netwerken buitengewoon onwaarschijnlijk. Op Bitcoin zou het terugdraaien van een transactie met meerdere bevestigingen een enorme hoeveelheid mininghardware en elektriciteit vereisen. Op Ethereum zou het terugdraaien van een voltooide transactie vereisen dat een groot deel van de stakers wordt gecorrumpeerd en dat de automatische afname van hun inzet wordt geaccepteerd. Op BFT-ketens zou het vereisen dat meer dan een derde van de validators wordt gecorrumpeerd. Hoewel theoretisch mogelijk in uitzonderlijke gevallen, zijn deze aanvallen economisch irrationeel op grote, goed beveiligde netwerken.
V: Wat is Single Slot Finality en wanneer zal Ethereum dit implementeren? A: Single Slot Finality (SSF) is een voorgestelde upgrade waarmee Ethereum-blokken binnen één slot (~12 seconden) kunnen worden afgerond in plaats van het huidige proces van twee epochs (~13 minuten). Het is een van de belangrijkste onderzoeksprioriteiten van Ethereum op de lange termijn. Uitdagingen bij de implementatie zijn onder andere het samenvoegen van handtekeningen van een zeer grote groep validators binnen 12 seconden. Op het moment van schrijven bevindt SSF zich nog in een actieve onderzoeksfase en is er geen bevestigde implementatiedatum.
V: Welke invloed heeft finaliteit op de beveiliging van cross-chain bridges? A: Cross-chain bridges moeten wachten op de finaliteit van de bronketen voordat ze activa vrijgeven op de bestemmingsketen. Als een bridge tokens vrijgeeft voordat de brontransactie daadwerkelijk definitief is, kan een aanvaller de brontransactie terugdraaien (via een reorg of meerderheidsaanval) en de overbrugde tokens behouden – wat in feite neerkomt op dubbele uitgaven. Daarom hanteren gerenommeerde bridges strenge bevestigingsvereisten. Historische exploits op bridges (waaronder de hack van Ronin Bridge) hebben het cruciale belang van finaliteitsverificatie in het ontwerp van bridges onderstreept.
V: Is het finaliteitsbeginsel van toepassing op wijzigingen in de status van een smart contract? A: Ja. Finaliteit geldt voor het hele blok, inclusief alle transacties en statuswijzigingen daarin. Wanneer een smart contract een functie uitvoert – zoals het overdragen van een NFT, het bijwerken van een DeFi-positie of het vastleggen van een governance-stem – wordt die statuswijziging definitief, samen met het blok waarin deze zich bevindt. Dit is een van de redenen waarom DeFi-protocollen zoals Aave en Uniswap kunnen vertrouwen op gefinaliseerde blokken: eenmaal gefinaliseerd, wordt verwacht dat de resulterende statuswijzigingen onder normale netwerkomstandigheden niet ongedaan gemaakt kunnen worden.
