Wat is StarkNet (Ethereum L2)?

In de voortdurend evoluerende blockchainwereld blijft schaalbaarheid een van de grootste uitdagingen, vooral voor Ethereum. Naarmate het aantal gebruikers en applicaties groeit, neemt ook de congestie toe, wat leidt tot tragere transacties en hogere gas fees. Hoewel Ethereum decentralisatie en veiligheid vooropstelt, hebben de prestatieknelpunten geleid tot de opkomst van Layer 2 (L2) schaaloplossingen. StarkNet is daarvan een van de meest veelbelovende technologieën.

StarkNet is gebouwd door StarkWare en is een nieuwe generatie L2-netwerk dat geavanceerde zero-knowledge-prooftechnologie gebruikt, specifiek zk-STARKs (Scalable, Transparent Arguments of Knowledge), om Ethereum efficiënt te laten schalen zonder de fundamentele principes aan te tasten.

Waarom Layer 2s bestaan: het Ethereum-trilemma

Ethereum zit vaak gevangen in wat bekendstaat als het blockchain-trilemma: de uitdaging om tegelijkertijd te optimaliseren voor schaalbaarheid, decentralisatie en veiligheid. Doorgaans betekent het bereiken van twee dat je het derde opoffert. Ethereum heeft gekozen voor decentralisatie en veiligheid, waardoor het moeite kan hebben om efficiënt te schalen bij grote vraag.

Layer 2-oplossingen zoals StarkNet proberen dit schaalprobleem op te lossen door transacties off-chain te verwerken, terwijl ze de veiligheid van Ethereums Layer 1 blijven erven. Ze verminderen de congestie op het Ethereum-mainnet en maken snellere en goedkopere transacties mogelijk.

Wat is StarkNet?

StarkNet is een validity rollup, ook wel een zk-rollup (zero-knowledge rollup) genoemd. Het werkt als een Layer 2-netwerk op Ethereum, verwerkt transacties off-chain en bundelt ze vervolgens in één bewijs (een cryptografisch certificaat van correctheid), dat naar Ethereum wordt gestuurd voor verificatie.

Wat StarkNet bijzonder maakt, is het gebruik van zk-STARKs in plaats van zk-SNARKs: een verbetering op het gebied van zowel transparantie als veiligheid. Anders dan zk-SNARKs vereisen STARKs geen trusted setup en zijn ze bestand tegen dreigingen van quantumcomputers. Dat positioneert StarkNet als een van de veiligste, meest transparante en schaalbare L2-oplossingen die er zijn.

Hoe StarkNet werkt: onder de motorkap

De architectuur van StarkNet bestaat uit verschillende kerncomponenten die samenwerken om snelle en veilige off-chain transactieverwerking mogelijk te maken:

1. Sequencers

Sequencers zijn het eerste aanspreekpunt wanneer gebruikers transacties indienen. Ze:

• Ordenen en bundelen transacties
• Voeren ze uit om blokken te vormen
• Bewaken de consistentie in de transactiestroom

Zie ze als de dirigenten van het orkest, die ervoor zorgen dat alle handelingen in de juiste volgorde worden uitgevoerd.

2. Provers

Zodra de sequencer een blok heeft voltooid, komt de prover in actie. Die neemt de blokdata en maakt een zk-STARK-bewijs: een wiskundig bewijs dat alle transacties geldig waren en correct zijn uitgevoerd.

Dit bewijs is beknopt en eenvoudig te verifiëren, waardoor Ethereum duizenden transacties met minimale inspanning kan valideren.

3. Verifier (op Ethereum)

Het zk-STARK-bewijs wordt naar het Ethereum-mainnet gestuurd, waar een verifier-smart contract het controleert. Als het geldig is, werkt Ethereum zijn eigen status bij om de off-chain verwerkte transacties weer te geven.

4. Cairo-taal en Virtual Machine

Om deze flow mogelijk te maken, gebruikt StarkNet Cairo, een eigen programmeertaal die is ontworpen om bewijsbare programma’s te schrijven. Het compileert naar een zogeheten Algebraic Intermediate Representation (AIR), ideaal voor het maken van efficiënte zero-knowledge-bewijzen.

Voordelen van StarkNet

StarkNet brengt schaalbaarheid, privacy en programmeerbaarheid op een unieke manier samen:

• Schaalbaarheid: Duizenden transacties kunnen in één Ethereum-transactie worden gebundeld, wat congestie en kosten drastisch vermindert.
• Veiligheid: Door validity-bewijzen op Ethereum te publiceren, erft StarkNet de veiligheid van de basislaag.
• Transparantie: zk-STARKs vereisen geen trusted setups, waardoor het systeem trustless en gedecentraliseerder is.
• Quantumbestendigheid: STARKs zijn gebouwd met cryptografische primitieven die bestand zijn tegen aanvallen van quantumcomputers, een voordeel ten opzichte van zk-SNARK-gebaseerde systemen.
• Ontwikkelaarsvriendelijk: Cairo biedt de flexibiliteit om elke business-logica te bouwen, van DeFi-protocollen tot NFT-platforms.

Native account abstraction

Anders dan bij Ethereum, waar het gedrag van accounts is vastgelegd in de code, beschikt StarkNet over native account abstraction. Dit betekent dat alle accounts smart contracts zijn, wat ontwikkelaars de vrijheid geeft om gebruiksvriendelijkere wallets, geavanceerde beveiligingsmodellen en functies zoals multisignature of social recovery te maken zonder wijzigingen op protocolniveau.

Het is een doorbraak voor het onboarden van nieuwe gebruikers, vooral degenen die niet vertrouwd zijn met de complexiteit van traditionele crypto-wallets.

De STRK-token: nut en governance

De kern van het StarkNet-ecosysteem is de eigen token, STRK. Die dient drie hoofddoelen:

1. Transactiekosten: Gebruikers betalen gas fees in STRK voor het verwerken van transacties op StarkNet.
2. Governance: STRK-houders kunnen deelnemen aan het bestuur van het protocol door hun tokens om te zetten in vSTRK (voting STRK) en protocolupgrades voor te stellen of erover te stemmen.
3. Staking: STRK-staking is live, waarmee houders hun tokens kunnen staken om het netwerk te helpen beveiligen en beloningen te verdienen, terwijl het systeem in de loop van de tijd richting een volwaardigere Proof-of-Stake-rol (PoS) zal groeien.

Tokenverdeling

• 20,04%: Kernbijdragers
• 18,17%: Vroege investeerders
• 12,93%: Subsidies voor protocolontwikkeling
• 10,76%: StarkWare-treasury
• 10%: Strategische reserve
• 9% elk: Voorzieningen en kortingen
• 8,1%: Starknet Foundation-treasury
• 2%: Donaties

Een aanzienlijk deel van de tokens was onderhevig aan lock-upperiodes, wat zorgt voor langdurige afstemming tussen belanghebbenden en het succes van het protocol.

StarkNet breidt uit naar Bitcoin?

Hoewel StarkNet is ontstaan op Ethereum, breidt het zijn visie nu uit naar Bitcoin en positioneert het zich als een mogelijke uitvoeringslaag voor Bitcoin-gebaseerde DeFi (BTCFi). Dit zou smart-contractmogelijkheden en programmeerbaarheid naar Bitcoin brengen, iets wat door het ontwerp lange tijd beperkt is geweest.

Partnerschappen zoals die met Xverse en Lombard Protocol willen Bitcoin-assets naar het StarkNet-ecosysteem overbruggen en bieden een voorproefje van trustless, schaalbare DeFi met BTC.

StarkNet vs andere Layer 2s

StarkNet wordt vaak vergeleken met andere Ethereum-L2’s zoals Optimism, Arbitrum en zkSync. Zo onderscheidt het zich:

Uitdagingen en beperkingen

StarkNet is krachtig, maar zoals elke jonge Layer 2 kent het nog afwegingen die het waard zijn om te begrijpen voordat je erop vertrouwt:

• Centralisatie van de sequencer: StarkNet is momenteel afhankelijk van één sequencer die door StarkWare wordt beheerd, een centralisatiepunt dat het project in de loop van de tijd wil openstellen.
• Proverkosten: Het genereren van zk-STARK-bewijzen is rekenintensief, wat kosten kan toevoegen en de doorvoer bij zeer grote volumes kan beperken.
• Grotere bewijsomvang: STARK-bewijzen zijn groter dan SNARK-bewijzen, wat hogere on-chain datakosten kan betekenen.
• Volwassenheid van het ecosysteem: Cairo is een nieuwere taal dan Solidity, dus de groep ontwikkelaars, tooling en gecontroleerde libraries lopen nog achter.
• Opnametiming: Het verplaatsen van assets van StarkNet terug naar Ethereum hangt af van de cycli van bewijsindiening en verificatie, dus het is niet altijd direct.

Ethereum veilig schalen

StarkNet vertegenwoordigt een krachtige evolutie in de schaalbaarheid van Ethereum. Door geavanceerde cryptografie te gebruiken, kunnen ontwikkelaars en gebruikers genieten van snelle, goedkope transacties zonder concessies te doen aan veiligheid of decentralisatie.

De combinatie van zk-STARK-bewijzen, native account abstraction en de ontwikkelaarsflexibiliteit via Cairo maakt het een uitblinker onder de Ethereum Layer 2’s. En met uitbreidingsplannen naar het Bitcoin-ecosysteem positioneert StarkNet zich niet alleen als oplossing voor Ethereum, maar als een cross-chain uitvoeringslaag die DeFi opnieuw kan definiëren.

Naarmate de blockchaininfrastructuur volwassener wordt, zullen oplossingen zoals StarkNet cruciaal zijn om brede adoptie te stimuleren door precies die beperkingen op te lossen die deze netwerken ooit tegenhielden.