Een ZK-STARK (Zero-Knowledge Scalable Transparent ARgument of Knowledge) is een cryptografisch bewijssysteem waarmee een partij het bezit van geheime informatie of de correctheid van een berekening aan een andere partij kan bewijzen – zonder het geheim te onthullen en zonder een vertrouwde opzetprocedure te vereisen. Ontwikkeld door Eli Ben-Sasson en StarkWare Industries, bereiken STARKs transparantie (geen vertrouwde opzetprocedure) en kwantumresistentie (alleen afhankelijk van hash-functies) en schaalbaarheid (de tijd die nodig is voor bewijsverificatie is polylogaritmisch ten opzichte van de rekenomvang). Hoewel zk-SNARKs kleinere bewijzen produceren, bieden zk-STARKs sterkere cryptografische aannames en vormen ze de basis van StarkWare's Ethereum-schaaltechnologie (StarkEx en StarkNet).
Oorsprong en geschiedenis
| Datum | Evenementen |
| 1985 | Fundamentele nulkennisbewijstheorie (Goldwasser, Micali & Rackoff) |
| 2012 | zk-SNARKs geformaliseerd; vereisen een betrouwbare configuratie — een beperking |
| 2018 | Ben-Sasson et al. publiceren “Schaalbare, transparante en post-kwantumveilige computationele integriteit” — introduceert STARKs |
| 2018 | StarkWare Industries is opgericht door Ben-Sasson, Bentov, Horesh en Riabzev. |
| 2020 | StarkEx (de schaalbaarheidsengine van StarkWare) wordt gelanceerd met dYdX en DeversiFi. |
| 2021 | StarkNet (gedecentraliseerd L2-testnet) lanceert op Ethereum |
| 2022 | StarkNet mainnet alpha; Cairo programmeertaal voor STARK-bewijsbare programma's |
| 2023 | StarkNet verwerkt maandelijks miljoenen transacties; STRK-token aangekondigd |
| 2024 | StarkWare introduceert recursief STARK-onderzoek dat bewijscompositie mogelijk maakt. |
“STARKs zijn de grotere SNARKs, post-kwantum"Ze zijn een veilige neef, ze offeren de omvang van het bewijsmateriaal op voor transparantie en veiligheid." — Eli Ben-Sasson, medeoprichter van StarkWare
Hoe het werkt
Vergelijking ZK-STARK vs. ZK-SNARK ────────────────────────────────────────────────────────────────────────────── SNARK STARK ─ ... (alleen hashfuncties) Provertijd: Snel Langzamer (grotere constanten) Gebruikt in: Zcash, zkSync, Groth16, StarkNet, StarkEx ───────────────────────────────────────────────────────────────────────
Generatie van STARK-bewijs: Berekening → Algebraïsche Intermediaire Representatie (AIR) → Polynoomcommitment (FRI-protocol) → STARK-bewijs (kan door iedereen worden geverifieerd) → Ethereum L1-verificateur controleert het bewijs in ~200k-500k gas
| Eigendom | ZK-SNARE | zk-STARK |
| Setup | Vertrouwde ceremonie | Geen (transparant) |
| Onderstelling | Elliptische krommen | Alleen hashfuncties |
| Kwantumweerstand | Nee | Ja |
| Proefformaat | ~200 bytes | ~50–200 KB |
| Verificatiegas (ETH) | ~200K-300K gas | ~200K-500K gas |
| Schaalbaarheid | Hoge | Zeer hoog |
In eenvoudige bewoordingen
- Geen vertrouwde configuratie – STARKs vereisen geen geheime ceremonie om parameters te genereren. Er is geen "giftig afval" dat vernietigd moet worden; iedereen kan controleren of de willekeurigheid eerlijk was.
- Quantum-veilig – STARKs vertrouwen uitsluitend op botsingsbestendige hashfuncties, die kwantumcomputers niet kunnen kraken (in tegenstelling tot de elliptische kromme-wiskunde die SNARKs gebruiken).
- Grotere proefdrukken, dezelfde beveiliging. – Een STARK-bewijs is veel groter dan een SNARK-bewijs (50 KB versus 200 bytes), maar gaat uit van sterkere beveiligingsveronderstellingen.
- Schaalbaar met de rekenkracht – De verificatietijd van STARK neemt polylogaritmisch toe met de omvang van de berekening — het bewijs van een berekening met 1 miljoen stappen is niet 1 miljoen keer moeilijker te verifiëren.
- Cairo-taal – StarkWare heeft Cairo ontwikkeld, een taal voor het schrijven van STARK-bewijsbare programma's, waardoor complexe logica van slimme contracten op L2 kan worden bewezen en op Ethereum kan worden afgewikkeld.
Voorbeelden uit de echte wereld
| Scenario | Implementatie | Resultaat |
| dYdX v3 op StarkEx | Eeuwigdurende termijncontracten via STARK-bewijzen | 1,000 transacties per seconde bij Ethereum-beveiliging; transactiekosten <$1 |
| Immutable X NFT minting | StarkEx ZK-Rollup voor gaming-NFT's | 9,000 NFT-minting per seconde; geen gaskosten voor gebruikers. |
| StarkNet DeFi | JediSwap en Ekubo DEX worden ingezet op StarkNet. | Volledige smart contract DeFi met 100x de snelheid van Ethereum |
| Cairo-contracten | Ontwikkelaar schrijft Cairo-contract voor on-chain game | Elke zet is on-chain bewezen correct; valsspelen is onmogelijk. |
| Recursieve STARKs | StarkWare bewijst bewijzen van bewijzen | Comprimeer miljarden transacties tot één Ethereum-transactie. |
Voordelen
| Voordeel | Detail |
| Geen vertrouwde configuratie | Elimineert het veiligheidsrisico van ceremonies volledig. |
| Kwantumbestendig | Het enige cryptosysteem dat aantoonbaar veilig is tegen kwantumcomputers. |
| Transparante willekeur | Alle bewijsparameters zijn publiekelijk verifieerbaar. |
| Extreme schaalbaarheid | Recursieve bewijzen kunnen onbeperkte berekeningen samenvoegen. |
| Door de praktijk beproefde wiskunde | Het maakt gebruik van bekende hashfuncties, niet van nieuwe aannames. |
Nadelen en risico's
| Risico | Detail |
| Proefformaat | Het versturen van bewijzen van 50-200 KB naar Ethereum is kostbaar (kosten voor het aanroepen van data). |
| Verificatie gaskosten | ~200-500 liter gas om een STARK te verifiëren, versus ~200-300 liter voor een SNARK. |
| De leercurve in Cairo | Cairo is een andere programmeertaal dan Solidity; het ontwikkelaarsecosysteem is kleiner. |
| Prover berekent de kosten | Het genereren van STARK vereist aanzienlijke rekenkracht. |
| EVM-compatibiliteit | Het native StarkNet is niet equivalent aan EVM; Kakarot (EVM op Cairo) omzeilt dit probleem. |
Tips voor risicomanagement:
- Volg de decentralisatie-roadmap van StarkNet — centralisatie van bewijzers vormt momenteel een risico.
- Bij EVM Ontwikkelaars, verken Kakarot (EVM op Cairo) voor een eenvoudigere migratie naar StarkNet.
- Gebruik L2Beat om de beveiliging van StarkNet te bewaken en belangrijke risico's te verbeteren.
FAQ
V: Wat betekent "transparant" in ZK-STARK?
A: Er zijn geen geheime parameters gegenereerd. Iedereen kan onafhankelijk controleren of de opzet van het bewijssysteem eerlijk is – in tegenstelling tot SNARKs, waar de integriteit van een vertrouwde ceremonie als vanzelfsprekend moet worden beschouwd.
V: Waarom zijn STARK-bewijzen groter dan SNARK-bewijzen?
A: SNARKs gebruiken elliptische curve pairing (compacte maar minder veilige aannames); STARKs gebruiken Merkle bomen en FRI-polynoomverplichtingen (inherent groter maar veiliger).
V: Is StarkNet EVM-compatibel?
A: StarkNet gebruikt standaard Cairo (niet EVM). Kakarot is een EVM-implementatie geschreven in Cairo, waardoor Solidity-contracten indirect op StarkNet kunnen worden uitgevoerd.
V: Kan STARKs opschalen naar miljarden transacties?
A: Recursieve STARKs (proving proofs of proofs) schalen theoretisch gezien naar willekeurige rekenkracht. De Stwo-bewijzer van StarkWare is gericht op het bewijzen van miljoenen transacties per seconde.
V: Wie heeft ZK-STARKs uitgevonden?
A: Eli Ben-Sasson (Technion-professor en medeoprichter van StarkWare) publiceerde samen met Iddo Bentov, Lior Horesh en Michael Riabzev het oorspronkelijke STARK-artikel in 2018.
Bronnen
- Ben-Sasson et al., “Schaalbare, transparante en post-kwantumveilige computationele integriteit” (2018) — IACR ePrint
- StarkWare-documentatie — starkware.co
- StarkNet-documentatie — docs.starknet.io
- Vitalik Buterin, “STARKs, deel 1” — vitalik.ca
UPay-tip: De kwantumresistentie van STARKs maakt ze de veiligste keuze op de lange termijn voor cryptografische bewijssystemen naarmate kwantumcomputers zich verder ontwikkelen. Hoewel SNARKs momenteel efficiënter zijn, is de geleidelijke verschuiving van het crypto-ecosysteem naar STARKs een redelijke bescherming tegen toekomstige kwantumrisico's.Disclaimer: Deze verklarende woordenlijst is uitsluitend bedoeld voor educatieve doeleinden en vormt geen financieel of juridisch advies.
UPay — Crypto encyclopedisch maken
