Fast Deterministically Safe Proof-of-Work Consensus
Dit artikel introduceert Sieve-MMR, het eerste volledig permissionless blockchain-protocol dat zowel deterministische beveiliging als een constante verwachte latentie bereikt zonder externe mechanismen door een Proof-of-Stake-protocol aan te passen aan de Proof-of-Work-omgeving en een nieuw Sieve-algoritme in te zetten om time-travel-aanvallen te mitigeren.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
Stel je een enorme, wereldwijde digitale grootboek voor waar iedereen op elk moment kan deelnemen of vertrekken. Dit is de wereld van permissionless blockchains (zoals Bitcoin). Het doel is dat iedereen het eens wordt over de volgorde van transacties zonder dat een baas vertelt wat ze moeten doen.
Lange tijd hadden deze systemen twee manieren om te werken, die beide ernstige gebreken hadden:
- Proof of Stake (PoS): Je blokkeert geld om te stemmen. Het probleem? Een aanvaller kan oude accounts kopen van mensen die jaren geleden zijn vertrokken, waardoor ze de geschiedenis goedkoop kunnen herschrijven. Dit wordt een "Long-Range Attack" genoemd.
- Proof of Work (PoW): Je lost moeilijke wiskundige puzzels op om te stemmen. Het probleem? Het is ofwel extreem traag, of het vertrouwt op "probabilistische" veiligheid (wat betekent dat er een kleine, niet-nul kans is dat een aanvaller geluk kan hebben en de geschiedenis kan herschrijven).
De auteurs van dit paper, Sieve-MMR, hebben een nieuw systeem gebouwd dat beweert het beste van beide werelden te zijn: het is snel, het is veilig tegen het herschrijven van de geschiedenis, en het heeft geen externe hulp nodig (zoals sociale consensus of checkpoints) om veilig te zijn.
Hier is hoe ze het hebben gedaan, met behulp van alledaagse analogieën.
Het Grote Idee: Het ontkoppelen van het "Stemmen" van de "ID-controle"
Beschouw een consensusprotocol als een buurtvergadering.
- De Consensus Logica (MMR): Dit is het eigenlijke stemproces. "Wie heeft de meeste stemmen? Laten we dat eens afspreken." Dit deel is snel en slim, maar was oorspronkelijk ontworpen voor een stad waar iedereen een vaste ID-kaart heeft en weet wie aanwezig is.
- Het Permissionless Probleem: In een permissionless systeem kunnen mensen direct lid worden of vertrekken. Erger nog, een kwaadwillende actor kan doen alsof hij een persoon is die 10 jaar geleden uit de stad is vertrokken en oude stemmen meebrengt om de huidige vergadering te verwarren. Dit is de "Time-Travel Attack."
De auteurs realiseerden zich dat ze de snelle, slimme stemlogica (MMR) konden nemen en deze konden inkapselen in een nieuwe "beveiligingslaag" (Sieve) die de chaos van mensen die lid worden/vertrekken en tijdreizen afhandelt.
De Schurk: De Tijdreiziger
In een normale vergadering, als je spreekt, spreek je nu.
In een permissionless blockchain kan een kwaadwillende actor (Byzantine node) iets slinks doen:
- Ze genereren een heleboel "stemmen" (wiskundige puzzels) in het jaar 2020.
- Ze bewaren deze.
- In 2026 dumpen ze al die oude stemmen in de huidige vergadering, waarbij ze doen alsof ze net nu zijn uitgebracht.
Omdat het systeem een vloedgolf van "stemmen" uit het verleden ziet, raakt het in de war over wie er vandaag de meerderheid heeft. Dit verbreekt de veiligheid van de vergadering.
De Held: De Sieve
Om deze tijdreizigers te stoppen, hebben de auteurs een nieuwe filter uitgevonden genaamd Sieve. Denk aan het als een uitsmijter bij een club die ID-bewijzen controleert, maar dan met een twist.
Hoe de Sieve werkt:
- De "Kist" (Coffer): Elke keer dat een node een bericht stuurt (een stem), moet het een "coffer" (tas) bevatten met de berichten die het heeft ontvangen van de vorige ronde.
- De Proof of Work (DPoW): Om een bericht te sturen, moet je een wiskundige puzzel oplossen. De tijd die het kost om deze op te lossen, wordt geregistreerd.
- De Filter: Wanneer de Sieve een stapel berichten ontvangt, kijkt het naar de "coffers".
- Als een bericht beweert uit "Ronde 5" te komen, maar de coffer bevat niet de berichten van "Ronde 4" die net door eerlijke mensen zijn gegenereerd, dan weet de Sieve dat het nep is.
- Analogie: Stel je voor dat iemand beweert dat hij net op een feestje is gearriveerd in 2026. Maar wanneer je naar hun fotoalbum (de coffer) kijkt, zijn de foto's uit 2020, en hebben ze geen foto's van de feestdecoraties die gisteren zijn opgehangen. De uitsmijter (Sieve) zegt: "Je bent een tijdreiziger. Je komt er niet in."
De Sieve filtert deze "antieke" berichten eruit, waardoor gegarandeerd wordt dat alleen berichten die onlangs zijn gegenereerd door mensen die ook onlangs aanwezig waren, worden meegeteld.
De Twee Modi van de Sieve
De Sieve heeft twee manieren van werken, afhankelijk van hoe lang je al op het feestje bent:
- Online-Sieve (De Reguliere Gast): Als je al een tijdje op het feestje bent, heb je een lijst van de berichten van de vorige ronde. Je controleert gewoon of de nieuwe berichten passen bij die lijst. Dit is snel en makkelijk.
- Bootstrap-Sieve (De Nieuwe Gast): Als je net op het feestje bent aangekomen, heb je de geschiedenis niet. Je moet de volledige geschiedenis van het feestje vanaf het begin bekijken, een gigantische kaart (DAG) bouwen van wie met wie heeft gepraat, en uitzoeken welke berichten echt zijn en welke tijdreis-namaak zijn.
- De Addering: Dit proces van de "Nieuwe Gast" is computationeel zwaar (het is also't het oplossen van een enorme puzzel). Het paper geeft toe dat dit momenteel een hindernis is voor echt wereldgebruik, maar het bewijst dat het concept werkt.
Het Resultaat: Sieve-MMR
Door de Sieve (de beveiligingsbeambte) onder de MMR (de snelle stemlogica) te stapelen, creëerden ze Sieve-MMR.
- Deterministische Veiligheid: In tegenstelling tot Bitcoin, waarbij je moet wachten en hopen dat de aanvaller niet geluk heeft, garandeert dit systeem veiligheid. Als de regels worden gevolgd, kan de geschiedenis niet worden gewijzigd.
- Constante Latentie: Het is snel. Het paper beweert dat transacties binnen een voorspelbare, korte tijd kunnen worden afgerond (ongeveer 7 stappen), in plaats van te moeten wachten op "probabilistische" bevestiging.
- Geen Long-Range Attacks: Omdat de Sieve oude berichten filtert, kan een aanvaller niet oude sleutels kopen en de geschiedenis herschrijven.
- Geen Externe Hulp: Het heeft geen "sociale consensus" of een centraal checkpoint nodig om veilig te zijn. Het doet het allemaal wiskundig.
De Beperkingen (De Kleine Lettertjes)
Het paper is eerlijk over wat het nog niet kan:
- Bandbreedte: Iedereen moet in elke ronde met iedereen praten. Als het netwerk enorm groot wordt, worden de verkeersopstoppingen ook enorm (kwadratische schaling).
- Het "Nieuwe Gast" Probleem: De Bootstrap-Sieve (voor nieuwe nodes) vereist het oplossen van een zeer moeilijke wiskundige puzzel over de gehele geschiedenis van de keten. Het is momenteel meer een theoretisch bewijs dan een direct inzetbare tool voor nieuwe gebruikers.
- Synchroon Netwerk: Het gaat ervan uit dat berichten snel en in de juiste volgorde aankomen, wat een idealisering is van het chaotische echte internet.
Samenvatting
Het paper presenteert Sieve-MMR, een nieuwe manier om een blockchain te draaien die de snelheid en zekerheid van moderne stemsystemen combineert met de veiligheid van Proof-of-Work. Het lost het "Time-Travel Attack" probleem op door een slim filtermechanisme (Sieve) te gebruiken dat ervoor zorgt dat alleen verse, recente stemmen meetellen, wat voorkomt dat aanvallers oude gegevens gebruiken om het systeem te verwarren. Hoewel het nog enkele praktische hindernissen moet overwinnen voordat het Bitcoin of Ethereum kan vervangen, bewijst het dat een snelle, perfect veilige, permissionless blockchain theoretisch mogelijk is.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.