Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)

Wat is Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)?

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) is een bewijssysteem waarmee iemand kan aantonen dat een berekening correct is uitgevoerd zonder de invoer of de hele berekening bekend te maken. Het is schaalbaar en transparant omdat het een trusted setup overslaat en steunt op eenvoudige hashberekeningen, wat ook gunstig is met het oog op postquantumveiligheid. Zie het als een klein, verifieerbaar ontvangstbewijs dat zegt dat het huiswerk gemaakt is, zonder het huiswerk te tonen.

Hoe Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) werkt

Stel je een rollup voor die bewijst dat duizenden transacties correct zijn verwerkt. Met Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) hoeft de keten niet alles opnieuw uit te voeren. Er wordt alleen een compact bewijs gecontroleerd en de keten gaat verder.

1. Stap 1: Een prover kiest een bewering om te bewijzen, bijvoorbeeld “deze batch transacties volgde de regels.”
2. Stap 2: De berekening wordt omgezet in een gestructureerde trace. De prover verbindt zich aan die trace met hashes zodat later niets meer kan worden gewijzigd.
3. Stap 3: Wiskunde achter de schermen, verborgen in toegankelijke code. De prover bouwt een klein bewijs dat zeer moeilijk te vervalsen is.
4. Stap 4: Het bewijs wordt naar een verifier gestuurd, vaak een smart contract. De verifier voert lichte controles uit.
5. Stap 5: Als het slaagt, wordt het resultaat op de keten geaccepteerd en wordt de staat bijgewerkt. Netto resultaat: betere doorvoer en prestaties met minder bytes aan data.

Dat is het stappenplan, zonder het krijt.

Waarom Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) belangrijk is

Het is relevant omdat dit verandert hoe blockchains snel en privé kunnen werken zonder dat daarvoor vertrouwen wordt opgeofferd.

• Voordeel: Grote berekeningen worden kleine controles, wat kosten en tijd bespaart.
• Perspectief: Je kunt correctheid bewijzen terwijl je privacy voor invoer behoudt. Deel het bewijs, niet de geheimen.
• Relevantie: Je zult het tegenkomen in rollups, gaming, NFT's en betalingen, waar snelheid en zekerheid van belang zijn.

Belangrijkste kenmerken van Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)

Dit zijn de kenmerken:

• Transparant: Geen trusted setup ceremonie, dus er is geen speciale groep die je moet vertrouwen.
• Schaalbaar: Ontworpen voor serieuze schaalbaarheid, door enorme werklasten te bundelen in kleine bewijzen.
• Post quantum: Gebaseerd op hashfuncties, die als beter bestand tegen toekomstige quantumaanvallen worden gezien.

Varianten

Gerelateerde varianten die je zult horen:

• SNARKs: Kleinere bewijzen en snelle verificatie, maar vaak is een trusted setup nodig. Andere afwegingen dan bij zk-STARK.
• Validity proofs: Term die verwijst naar SNARKs en STARKs. Ze tonen aan dat een staatupdate correct is.
• Fraud proofs: Worden gebruikt door optimistic rollups. Er wordt vanuit gegaan dat alles correct is totdat iemand een fout aantoont, waarna er een dispuut volgt.

Voorbeeld

Een DeFi exchange op Starknet bundelt transacties en plaatst één zk-STARK bewijs op Ethereum, zodat de keten de hele batch met minimale gas verifieert.

Leuk weetje

Het acroniem is bedacht door onderzoekers waaronder Eli Ben Sasson, en ja, STARK betekent in het Duits ook 'sterk'. Dat past, want het ontwerp steunt op robuuste hashfuncties in plaats van uitgebreide openbare sleutel ceremonies.

Samenvatting

Kort gezegd: zk-STARK geeft kleine bewijzen dat groot werk heeft plaatsgevonden, zodat je resultaten kunt vertrouwen zonder in de data te kijken.