Beschikbaarheid van data

Data Availability (DA) in blockchain-systemen verwijst naar de garantie dat alle transactiegegevens in een gepubliceerd blok daadwerkelijk toegankelijk, downloadbaar en verifieerbaar zijn voor elke netwerkdeelnemer die ze nodig heeft – en niet alleen dat een blokheader is uitgezonden. Het probleem van data availability ontstaat doordat een kwaadwillende blokproducent een cryptografisch geldige blokheader kan creëren (met een correcte Merkle-root of state commitment) terwijl hij strategisch de onderliggende transactiegegevens achterhoudt, waardoor het blok onmogelijk te verifiëren of aan te vechten is. Dit is vooral gevaarlijk in systemen die afhankelijk zijn van fraudebewijzen, waar de mogelijkheid om transactiegegevens te reconstrueren en te verifiëren een voorwaarde is om ongeldige state-transities te detecteren. Het waarborgen van data availability is daarom een ​​fundamentele beveiligingsvereiste voor alle blockchain-architecturen – van monolithische L1-systemen (waar full nodes alles downloaden) tot modulaire systemen (waar gespecialiseerde DA-lagen, Data Availability Sampling en erasure coding beschikbaarheidsgaranties bieden zonder dat elke node alle gegevens hoeft te downloaden). De beschikbaarheid van gegevens is iets anders dan de opslag van gegevens (of de gegevens permanent worden bewaard) en de correctheid van de gegevens (of de gegevens geldige toestandsveranderingen weergeven) – het gaat er specifiek om of de gegevens zijn gepubliceerd en opvraagbaar zijn op het moment van blokproductie.

Oorsprong en geschiedenis

DatumEvenementen
2014Het full-node-model van Bitcoin lost impliciet het probleem van data-acquisitie op: alle full-nodes downloaden alle data; selectieve openbaarmaking is niet mogelijk.
2016-2017Er ontstaan ​​lichte Ethereum-clients die gebruikmaken van blokheaders zonder de volledige data te downloaden; het DA-probleem wordt geïdentificeerd als een beveiligingslek.
2018Al-Bassam, Buterin et al. definiëren formeel het probleem van de beschikbaarheid van gegevens en publiceren “Fraud and Data Availability Proofs”.
2019-2020Rollups (Optimistisch, ZK) komen naar voren – DA wordt cruciaal: rollup-gegevens moeten worden gepubliceerd op een plek waar verificatoren er toegang toe hebben.
2021De modulaire blockchain-thesis formaliseert DA als een van de vier kernfuncties van blockchain (uitvoering, afwikkeling, consensus, DA).
2022Meerdere spraakmakende incidenten benadrukken de risico's van data-acquisitie: het samenvoegen van gegevens met behulp van gespreksdata op Ethereum versus de afwegingen tussen data-acquisitie buiten de blockchain.
2023Celestia wordt gelanceerd als eerste blockchain die gespecialiseerd is in DigitalAcademy; EigenDA, Avail en NearDA zijn aangekondigd of gaan naar het testnet.
Maart 2024EIP-4844 wordt geactiveerd: Ethereum introduceert transacties met blob-carrying – goedkopere, tijdelijke DA-ruimte voor rollups.
2026De markt voor data-acquisitie (DA) wordt volwassen; consolidatiebedrijven vermelden regelmatig hun DA-leverancier als een belangrijke architectonische parameter.
"Het probleem van de beschikbaarheid van gegevens is misschien wel het meest subtiele en onderschatte beveiligingsprobleem bij het ontwerpen van blockchains."
– Mustafa Al-Bassam

Hoe het werkt

AanpakMechanismeVOORDELENNADELEN
Volledige node-downloadElk knooppunt downloadt alle gegevens.Bepaalde beschikbaarheidBeperkt de blokgrootte; centraliseert knooppunten
Bemonstering van gegevensbeschikbaarheidLichtknooppunten nemen willekeurige stukken als steekproef.Schaalbaar; gebruiksvriendelijk voor lichte clientsWaarschijnlijkheidsgebaseerd; vereist eerlijke collega's.
ValidatiesZK-bewijzen garanderen de juistheid; gegevens worden buiten de blockchain bewaard.Lage kosten; hoge doorvoerGegevens kunnen worden achtergehouden; zwakkere DA
Commissies voor gegevensbeschikbaarheidVertrouwenscommissie bevestigt beschikbaarheidGoedkopeGecentraliseerd vertrouwen; risico op censuur
Speciaal ontworpen DA-lagenCelestia, EigenDA, beschikbaar met DASSchaalbaar; gedecentraliseerdVoegt vertrouwensveronderstellingen toe

In eenvoudige bewoordingen

  1. Koptekst ≠ gegevensEen ogenschijnlijk correcte blokheader bewijst niet dat de transactiegegevens bestaan ​​– een kwaadwillende producent kan de header publiceren terwijl de gegevens eronder verborgen blijven.
  2. Waarom dit zo belangrijk isAls er geen gegevens beschikbaar zijn, kun je in optimistische systemen geen fraude bewijzen, kun je de toestand niet reconstrueren en kun je niet verifiëren wat er daadwerkelijk op de blockchain is gebeurd.
  3. Volledige knooppunten lossen het eenvoudig op.Traditionele blockchains lossen het DA-probleem op door elk volledige knoop Alles downloaden, maar dit beperkt de maximale grootte van de blokken.
  4. Modulaire oplossingen schalen het op.Moderne oplossingen maken gebruik van erasure coding en Data Availability Sampling, waardoor light nodes de beschikbaarheid kunnen controleren zonder alles te downloaden. Dit maakt een veel hogere datadoorvoer mogelijk.
  5. Validium-afwegingSommige systemen (validiums) ruilen DA-garanties in voor lagere kosten door data off-chain te bewaren – gebruikers krijgen ZK-proof correctheid, maar ze verliezen de mogelijkheid om zelfstandig toegang te krijgen tot hun eigen transactiegegevens.

Voorbeelden uit de echte wereld

ScenarioImplementatieResultaat
Optimistische rollup-beveiligingOptimism plaatst alle transactiegegevens op Ethereum als calldata/blobs.Iedereen kan de staat verifiëren; bewijs van fraude mogelijk; hoge beveiliging
Validium-afwegingDe StarkEx validium-modus houdt gegevens buiten de blockchain bij de data availability committee.Lagere tarieven, maar gebruikers zijn voor toegang tot gegevens afhankelijk van een commissie.
DA-aanvalsvectorEen onbetrouwbare rollup-sequencer houdt batchgegevens achter.Gebruikers kunnen hun correcte status niet aan de brug bewijzen; opnames geblokkeerd
Celestia DARollup verstuurt gegevens naar Celestia; lichtknooppunten DAS-verificatieVoordelige DA met probabilistische beschikbaarheidsgaranties
EIP-4844-kloddersNa de Dencun-upgrade maken rollups gebruik van blob-transacties.De kosten voor data accounting (DA) dalen met een factor 10 tot 100 ten opzichte van calldata; blobs worden na ongeveer 18 dagen verwijderd.

Voordelen

VoordeelBeschrijving
Fraudebestendige activeringVerified DA maakt het mogelijk om fraudebewijzen te construeren in optimistische systemen.
StaatsreconstructieGebruikers kunnen zelfstandig de blockchainstatus reconstrueren aan de hand van de beschikbare gegevens.
Weerstand tegen censuurOpenbaar beschikbare gegevens voorkomen aanvallen waarbij gegevens selectief worden openbaar gemaakt.
Ondersteuning van decentralisatieGoede DA-oplossingen stellen meer deelnemers in staat om verificatieknooppunten te draaien.
VertrouwensminimalisatieVermindert de afhankelijkheid van vertrouwde partijen voor het bewaren of verstrekken van gegevens.

Nadelen en risico's

NadeelBeschrijving
Afweging tussen kosten en veiligheidVolledige DA op Ethereum L1 is duur; goedkopere alternatieven gaan ten koste van de beveiliging.
Tijdelijke beschikbaarheidEIP-4844 blobs worden slechts ongeveer 18 dagen bewaard; voor langdurige archivering zijn externe oplossingen nodig.
Complexiteit in modulaire systemenMeerlaagse DA-verificatie voegt complexiteit toe aan het ontwerp.
Centralisatie van commissiesData Availability Committees (DAC's) introduceren vertrouwde tussenpersonen.
Aanvallen met steekproevenDAS-beveiliging vereist diverse, betrouwbare peer-netwerken.

Tips voor risicomanagement:

  • Controleer bij samengevoegde activa of de transactiegegevens op Ethereum (hoogste beveiliging) of bij een DA-commissie (lagere beveiliging) worden gepubliceerd.
  • Begrijp het verschil tussen validiums (data off-chain) en rollups (data on-chain) bij het kiezen van L2-oplossingen.
  • Houd er rekening mee dat EIP-4844 blobs tijdelijk zijn; zorg ervoor dat belangrijke gegevens worden gearchiveerd door indexeerders.
  • Beschouw DA als een essentieel onderdeel van uw blockchain-beveiligingsevaluatie, naast uitvoering en afwikkeling.

FAQ

V: Wat is het verschil tussen data beschikbaarheid en data opslag?

A: De beschikbaarheid van data is een tijdsgebonden garantie dat de data is gepubliceerd en op dit moment (op het moment van blokkering) toegankelijk is. Dataopslag is een langetermijnkwestie, namelijk of de data voor onbepaalde tijd toegankelijk blijft. Een dataopslaglaag kan ervoor zorgen dat data 18 dagen beschikbaar is (zoals Ethereum blobs) zonder permanente opslag te bieden.

V: Hoe verhoudt de beschikbaarheid van gegevens zich tot de beveiliging van de gegevensstroom?

A: Rollups ontlenen hun veiligheid aan de mogelijkheid om frauduleuze statusovergangen aan te vechten (optimistische rollups) of ZK-bewijzen te verifiëren (ZK-rollups). Beide vereisen dat de onderliggende transactiegegevens beschikbaar zijn. Als gegevens worden achtergehouden, valt de veiligheid van de rollup weg – gebruikers kunnen fraude niet bewijzen en bridges kunnen worden misbruikt.

V: Wat is een Data Availability Committee (DAC)?

A: Een DAC is een set van vertrouwde entiteiten die rollup-data off-chain opslaan en de beschikbaarheid ervan garanderen. Het is goedkoper dan on-chain DA, maar introduceert centralisatie en vertrouwen – als het comité data achterhoudt of samenspant, verliezen gebruikers de toegang tot hun transactiegeschiedenis.

V: Waarom worden EIP-4844 blobs na 18 dagen verwijderd?

A: Permanente opslag van alle blob-gegevens zou vereisen dat nodes onbeperkte historische gegevens opslaan, wat onhoudbare opslagbehoeften met zich meebrengt. Blobs zijn ontworpen voor tijdelijke beschikbaarheid (lang genoeg voor geschillenbeslechting) – permanente archivering wordt verzorgd door externe diensten zoals het Ethereum Portal Network of indexeringsdiensten van derden.

V: Is de beschikbaarheid van gegevens op Ethereum beter dan die op Celestia?

A: Ethereum biedt een hogere economische veiligheid (meer gestakete waarde die de blockchain beschermt), terwijl Celestia specifiek is ontworpen voor een hogere DA-doorvoer en lagere kosten. "Beter" hangt af van je prioriteiten: veiligheid versus kosten versus doorvoer.

Gerelateerde termen

  • Bemonstering van gegevensbeschikbaarheid (DAS)– Techniek om DA te verifiëren zonder volledige gegevensdownload
  • Laag voor gegevensbeschikbaarheid– Gespecialiseerde infrastructuur voor DA-garanties
  • Fraude bewijs– Mechanisme dat vereist dat DA functioneert in optimistische rollups
  • Validium– L2 die DA-garanties inruilt voor lagere kosten
  • EIP-4844– Ethereum-upgrade verbetert de economie van rollup DA
  • Codering wissen– Mathematisch hulpmiddel dat DAS mogelijk maakt

Nieuws & Evenementen