Hoe brengt Aztec programmeerbare privacy naar Ethereum?

De noodzaak van privacy op publieke blockchains

Ethereum werkt, net als veel andere toonaangevende publieke blockchains, volgens een fundamenteel principe van transparantie. Elke transactie, elke interactie met een smart contract en elk wallet-saldo is standaard publiekelijk zichtbaar en onveranderlijk vastgelegd in het grootboek. Hoewel deze transparantie onmiskenbare voordelen biedt op het gebied van auditeerbaarheid en 'trustlessness', brengt het tegelijkertijd aanzienlijke privacy-uitdagingen met zich mee voor individuen, bedrijven en gedecentraliseerde applicaties (dApps) binnen het ecosysteem.

Overweeg de gevolgen:

• Financiële surveillance: Uw volledige transactiegeschiedenis, inclusief uitgavepatronen, investeringsbeslissingen en financiële relaties, ligt open en bloot voor iedereen om te analyseren. Dit kan leiden tot ongewenste controle, gerichte aanvallen of discriminatie op basis van financiële activiteiten.
• Front-running en MEV (Maximal Extractable Value): In handelsscenario's kunnen geavanceerde actoren openstaande transacties in de mempool observeren, zoals grote trades of liquidaties, en strategisch hun eigen transacties plaatsen om winst te maken ten koste van anderen. Dit is een direct gevolg van publieke transactie-mempools.
• Verlies van fungibiliteit: Als bepaalde crypto-assets "besmet" raken of geassocieerd worden met illegale activiteiten vanwege hun on-chain geschiedenis, kunnen ze door exchanges of diensten op een zwarte lijst worden gezet. Hierdoor verliezen ze hun gelijke waarde ten opzichte van "schone" assets. Dit ondermijnt het fundamentele concept van geld als een fungibel (inwisselbaar) ruilmiddel.
• Zakelijke vertrouwelijkheid: Bedrijven die blockchain-technologie gebruiken, hebben vertrouwelijkheid nodig voor supply chain-logistiek, bedrijfsgeheimen en concurrentiestrategieën. Niets hiervan kan worden gehandhaafd in een volledig transparante omgeving.
• Blootstelling van persoonlijke gegevens: Naast financiën kunnen dApps die gevoelige gebruikersgegevens verwerken, zoals medische dossiers of steminformatie, geen privacy garanderen zonder een onderliggende vertrouwelijke laag.

Deze kwesties benadrukken een cruciaal tekort in het huidige blockchain-paradigma: het gebrek aan robuuste, programmeerbare privacy. Hoewel er oplossingen zoals mixers bestaan, bieden deze vaak beperkte, niet-programmeerbare anonimiteit en kunnen ze regelgevende risico's met zich meebrengen. Er is behoefte aan een systeem dat informatie selectief kan onthullen of verbergen, terwijl de integriteit en verifieerbaarheid die inherent zijn aan blockchain-technologie behouden blijven. Dit is precies de uitdaging die Aztec wil aanpakken door een nieuwe dimensie van vertrouwelijkheid toe te voegen aan de krachtige smart contract-mogelijkheden van Ethereum.

Aztec's kernpropositie: Programmeerbare privacy voor Ethereum

Aztec onderscheidt zich door niet alleen transactionele privacy te bieden, maar programmeerbare privacy. Dit betekent dat vertrouwelijkheid geen bijzaak of een add-on is, maar een kernfunctie die ontwikkelaars rechtstreeks in hun smart contracts en dApps kunnen integreren. In tegenstelling tot eenvoudige mixers die transactiestromen voor fungibele tokens verhullen, maakt Aztec het volgende mogelijk:

• Vertrouwelijke overdrachten van elke asset: Naast standaard ETH of ERC-20 tokens kan Aztec privé-overdrachten faciliteren van 'wrapped' versies van elke asset, wat vertrouwelijke waarde-uitwisseling mogelijk maakt.
• Privé-uitvoering van smart contracts: Ontwikkelaars kunnen dApps bouwen waarbij de inputs, outputs of zelfs de statusovergangen van een contract vertrouwelijk blijven, waarbij alleen wordt onthuld wat strikt noodzakelijk is voor verificatie.
• Selectieve openbaarmaking: Gebruikers en dApp-ontwikkelaars kunnen kiezen welke informatie ze onthullen, aan wie en wanneer, in plaats van een alles-of-niets-benadering van privacy. Dit geeft gebruikers fijnmazige controle over hun gegevens.

Deze functionaliteit ontsluit een nieuwe grens voor Web3, waardoor de creatie van echt private financiële applicaties, identiteitsoplossingen, gaming en zakelijke use-cases op Ethereum mogelijk wordt, zonder de voordelen van decentralisatie en censuurbestendigheid op te offeren.

Het technologische fundament: Zero-Knowledge Proofs

De kern van Aztec's programmeerbare privacy wordt gevormd door een geavanceerde toepassing van zero-knowledge proofs (ZKP's). ZKP's zijn cryptografische protocollen waarmee de ene partij (de bewijzer) een andere partij (de verificateur) ervan kan overtuigen dat een bewering waar is, zonder enige informatie te onthullen buiten het feit dat de bewering zelf waar is. Aztec maakt voornamelijk gebruik van twee specifieke typen ZKP-technologie:

zk-SNARKs voor vertrouwelijkheid en geldigheid

zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) zijn bijzonder geschikt voor de behoeften van Aztec vanwege hun "succincte" (beknopte) aard, wat betekent dat de bewijzen klein zijn en snel kunnen worden geverifieerd.

• Vertrouwelijkheid: Wanneer een gebruiker een privétransactie uitvoert op Aztec, wordt er een zk-SNARK gegenereerd. Dit bewijs bevestigt cryptografisch dat de transactie geldig is (bijv. de afzender heeft voldoende saldo, het transactieformaat is correct) zonder de specifieke bedragen, de afzender of de ontvanger te onthullen. De publieke blockchain ziet alleen het bewijs, niet de onderliggende vertrouwelijke gegevens.
• Statusovergangen: Voor vertrouwelijke smart contracts bewijzen zk-SNARKs dat de status van het contract correct is overgegaan volgens de logiek ervan, op basis van vertrouwelijke inputs, zonder die inputs of de tussenliggende berekeningen bloot te leggen.

zk-Rollups voor schaalbaarheid en batching

Terwijl zk-SNARKs zorgen voor privacy en geldigheid, bieden zk-Rollups de schaalbaarheid die nodig is voor een Layer 2-oplossing met een hoge doorvoersnelheid.

• Batching van transacties: In plaats van elke privétransactie individueel te verwerken op Ethereum's Layer 1 (L1), bundelt Aztec honderden of duizenden van deze vertrouwelijke transacties in één enkel 'rollup-blok' op zijn Layer 2 (L2).
• Eén enkel L1-bewijs: Voor elke batch wordt een enkel, geaggregeerd zk-SNARK gegenereerd. Dit bewijs bevestigt dat alle transacties binnen de batch geldig waren en correct zijn uitgevoerd op de L2.
• Publiceren naar L1: Dit enkele, compacte zk-SNARK wordt, samen met de gecomprimeerde status-updates, naar de Ethereum L1 gestuurd. De L1 smart contracts van Ethereum kunnen dit ene bewijs snel en efficiënt verifiëren, waardoor de geldigheid van de hele batch L2-transacties wordt bevestigd zonder dat ze opnieuw uitgevoerd hoeven te worden. Dit vermindert de rekenlast en de transactiekosten op L1 drastisch.

Door deze twee krachtige ZKP-technologieën te combineren, bereikt Aztec een unieke synergie: transacties zijn zowel privé als schaalbaar, en worden efficiënt geverifieerd op het Ethereum-mainnet zonder gevoelige informatie te onthullen.

Hoe de privacy-laag van Aztec werkt: Een diepe duik

Aztec fungeert als een Layer 2-netwerk, een uitvoeringsomgeving die gescheiden is van, maar beveiligd wordt door, Ethereum's Layer 1. De architectuur is specifiek ontworpen om vertrouwelijke operaties te faciliteren.

Assets bridgen naar het Aztec-netwerk

Om gebruik te maken van de privacyfuncties van Aztec, moeten assets (zoals ETH of ERC-20 tokens) eerst worden "gebridged" van Ethereum L1 naar de Aztec L2. Dit houdt doorgaans in dat de L1-asset wordt gestort in een smart contract op Ethereum, dat vervolgens een gelijkwaardige, 'wrapped' en vertrouwelijke representatie van die asset aanmaakt op het Aztec-netwerk. Deze wrapped assets, vaak "notes" genoemd, zijn de fundamentele eenheden van waarde binnen het private ecosysteem van Aztec.

Het concept van vertrouwelijke notes

In plaats van publieke rekeningsaldi gebruikt Aztec een model dat vergelijkbaar is met Unspent Transaction Output (UTXO), waarbij waarde wordt opgeslagen in versleutelde "notes".

• Versleuteling: Elke note bevat informatie zoals het type asset, het bedrag en de ontvanger, maar deze gegevens zijn versleuteld en alleen toegankelijk voor de eigenaar van de note (of geautoriseerde partijen).
• Eigendom: Eigendom van een note is gekoppeld aan een specifieke "viewing key" (inkijk-sleutel) en "spending key" (uitgave-sleutel). Met de viewing key kan de eigenaar zijn notes ontsleutelen en inzien, terwijl de spending key hem in staat stelt ze uit te geven of over te dragen.
• Privé-saldi: Het totale vertrouwelijke saldo van een gebruiker is de som van al zijn niet-uitgegeven, versleutelde notes. Wanneer een gebruiker iets wil uitgeven, selecteert hij een set van zijn bestaande notes, "verbruikt" deze en creëert nieuwe versleutelde notes voor de ontvanger en eventueel wisselgeld voor zichzelf.

Dit systeem op basis van notes verbreekt inherent de traceerbaarheid van transacties die men vindt in account-gebaseerde modellen, wat de privacy aanzienlijk verbetert.

Vertrouwelijke smart contracts met Noir

De visie van Aztec gaat verder dan louter privétransacties en streeft naar echt private gedecentraliseerde applicaties. Om dit mogelijk te maken, heeft Aztec Noir ontwikkeld, een domain-specific language (DSL) voor het schrijven van zk-SNARK circuits.

• ZKP's abstraheren: Noir abstraheert de complexe cryptografische primitieven van zk-SNARKs, waardoor ontwikkelaars privé-logica kunnen schrijven met een syntaxis die vertrouwd is voor veel programmeertalen. Dit verlaagt de drempel voor het bouwen van privacy-vriendelijke dApps drastisch.
• Programmeerbare privacy-logica: Met Noir kunnen ontwikkelaars definiëren welke delen van de logica van een dApp privé zijn, welke inputs vertrouwelijk zijn en welke outputs worden onthuld. Een dApp voor privé-stemmen zou bijvoorbeeld Noir kunnen gebruiken om te bewijzen dat een gebruiker heeft gestemd zonder te onthullen hoe hij heeft gestemd, of zelfs wie hij is, terwijl er toch voor wordt gezorgd dat alleen geautoriseerde gebruikers één keer kunnen stemmen.
• Rollup.js voor client-side bewijsvoering: Ter aanvulling op Noir is er Rollup.js, een JavaScript-bibliotheek waarmee de browsers of client-applicaties van gebruikers lokaal zk-SNARKs kunnen genereren. Dit mechanisme voor client-side bewijsvoering is cruciaal:
  • Het houdt gebruikersgegevens volledig privé, aangezien gevoelige informatie het apparaat van de gebruiker nooit verlaat.
  • Het vermindert de afhankelijkheid van gecentraliseerde sequencers voor het genereren van bewijzen, wat de decentralisatie bevordert.

Samen vormen Noir en Rollup.js een krachtige toolkit voor ontwikkelaars om de volgende generatie van privacy-beveiligde Web3-applicaties te bouwen, waardoor vertrouwelijke berekeningen rechtstreeks op Ethereum mogelijk worden.

Sleutelbeheer op Aztec

Aztec maakt gebruik van een geavanceerd systeem voor sleutelbeheer om privacy te balanceren met bruikbaarheid en veiligheid:

1. Ethereum Private Key: Dit blijft uw primaire sleutel voor interactie met L1 (storten, opnemen) en het ondertekenen van berichten om L2-acties te autoriseren.
2. Aztec Spending Key: Afgeleid van uw Ethereum-sleutel of onafhankelijk gegenereerd; deze sleutel wordt gebruikt om de uitgave of overdracht van uw vertrouwelijke notes binnen het Aztec-netwerk te autoriseren. Dit is de sleutel waarmee u privétransacties "ondertekent".
3. Aztec Viewing Key: Ook afgeleid van uw Ethereum-sleutel; deze sleutel stelt u in staat om uw vertrouwelijke notes en transactiegeschiedenis op Aztec te ontsleutelen en te bekijken. Dit is cruciaal voor het beheren van uw privé-saldo en het begrijpen van uw financiële activiteiten. Het maakt ook selectieve openbaarmaking mogelijk, omdat u uw viewing key kunt delen met auditors of toezichthouders indien nodig.

Deze aanpak met meerdere sleutels zorgt ervoor dat hoewel uw L1-identiteit publiek kan zijn, uw L2-activiteiten vertrouwelijk blijven, met nauwkeurige controle over wie uw private assets kan inzien en uitgeven.

De transactiestroom op Aztec: Stap-voor-stap

Laten we illustreren hoe een privétransactie doorgaans verloopt op het Aztec-netwerk:

1. Initiatie: Een gebruiker (Alice) wil privé-assets (bijv. 10 privé ETH) naar een andere gebruiker (Bob) sturen op Aztec. Ze start deze actie via een dApp of een wallet die met Aztec is geïntegreerd.
2. Note-selectie en verbruik: De clientsoftware van Alice identificeert haar niet-uitgegeven vertrouwelijke notes die samen 10 privé ETH of meer bedragen. Deze notes worden gemarkeerd om te worden verbruikt.
3. Constructie van de privétransactie: De client bouwt een privétransactie die:
   • Bewijst dat Alice de geselecteerde input-notes bezit.
   • Een nieuwe versleutelde note voor Bob aanmaakt met 10 privé ETH.
   • Een andere nieuwe versleutelde note voor Alice aanmaakt (de "wisselgeld"-note) als haar input-notes meer dan 10 ETH bedroegen.
   • Bewijst dat de som van de inputs gelijk is aan de som van de outputs (behoud van waarde).
4. Client-side ZKP-generatie: Met behulp van Noir-circuits en Rollup.js genereert de client van Alice een zk-SNARK. Dit bewijs bevestigt cryptografisch dat de transactie geldig is, alle regels zijn gevolgd en zij bevoegd is om de notes uit te geven, zonder de specifieke bedragen, afzender of ontvanger te onthullen.
5. Indiening bij de Aztec Sequencer: Het gegenereerde zk-SNARK wordt, samen met de versleutelde transactiegegevens, ingediend bij een Aztec sequencer (een node die verantwoordelijk is voor het verzamelen en ordenen van transacties).
6. Batching en Rollup: De sequencer bundelt meerdere van dergelijke privétransacties van verschillende gebruikers in een grotere batch. Vervolgens genereert hij een enkel, overkoepelend zk-SNARK dat de geldigheid van alle transacties binnen die batch bewijst. Dit proces vormt de "rollup".
7. L1-indiening: De sequencer dient dit enkele, geaggregeerde zk-SNARK en een compacte update van de Aztec L2 state root in bij het Aztec-contract op Ethereum L1.
8. L1-verificatie: Het Aztec-contract op Ethereum L1 verifieert het geaggregeerde zk-SNARK. Als het bewijs geldig is, werkt het L1-contract de Aztec L2 state root bij, waardoor de batch privétransacties effectief wordt bevestigd als geldig en definitief op Ethereum.
9. Beschikbaarheid van de note: De client van Bob kan, na synchronisatie met het Aztec-netwerk en met gebruik van zijn viewing key, de nieuwe vertrouwelijke note met 10 privé ETH ontsleutelen en inzien. Hij kan deze nu privé uitgeven of overdragen.

Gedurende dit hele proces wordt alleen de geldigheid van de transacties bevestigd op Ethereum L1, nooit de vertrouwelijke details.

Belangrijkste kenmerken en voordelen van Aztec's aanpak

Aztec's implementatie van programmeerbare privacy biedt verschillende duidelijke voordelen die tegemoetkomen aan kritieke behoeften in het Web3-ecosysteem:

• Verbeterde fungibiliteit: Standaard worden alle assets die naar Aztec worden verplaatst privé. Dit betekent dat individuele transactiegeschiedenissen niet getraceerd kunnen worden, waardoor alle eenheden van een bepaalde asset ononderscheidbaar en even waardevol zijn, ongeacht hun verleden. Dit herstelt een cruciale eigenschap van 'hard geld' die vaak verloren gaat op transparante blockchains.
• Schaalbaarheid via zk-Rollups: Naast privacy verhoogt het gebruik van zk-Rollups door Aztec de transactiedoorvoer aanzienlijk en verlaagt het de transactiekosten op Ethereum. Door duizenden transacties in een enkel L1-bewijs te batchen, worden vertrouwelijke operaties economisch haalbaar voor dagelijks gebruik.
• Echte programmeerbare privacy: In tegenstelling tot eenvoudigere privacy-oplossingen stelt Aztec ontwikkelaars in staat om complexe dApps te bouwen waarbij privacy diep geïntegreerd is in de applicatielogica. Dit opent de deur naar geheel nieuwe categorieën van gedecentraliseerde applicaties die vertrouwelijkheid vereisen, zoals:
  • Privé DeFi: Vertrouwelijke swaps, leningen en kredieten zonder posities of strategieën te onthullen.
  • Privé Identiteit: Self-sovereign identity-oplossingen waarbij gebruikers attributen kunnen bewijzen zonder hun onderliggende persoonlijke gegevens prijs te geven.
  • Vertrouwelijk stemmen: Verifieerbare, anonieme stemsystemen.
  • Enterprise Blockchain: Tracking van de toeleveringsketen, verrekeningen tussen bedrijven met commerciële vertrouwelijkheid.
• Ontwikkelaarsvriendelijke privacy (Noir): De introductie van Noir vereenvoudigt de ontwikkeling van private smart contracts aanzienlijk. Ontwikkelaars kunnen zich concentreren op de applicatielogica in plaats van op de ingewikkelde cryptografie van ZKP's, wat de innovatie op het gebied van privacy versnelt.
• Gebruikerscontrole en selectieve openbaarmaking: Gebruikers behouden de ultieme controle over hun vertrouwelijke gegevens. Ze kunnen ervoor kiezen om hun eigen saldi te ontsleutelen en in te zien, of selectief transactiedetails te onthullen aan specifieke partijen (bijv. auditors, toezichthouders) door hun viewing keys te delen. Dit maakt naleving mogelijk zonder de basisprivacy op te offeren.
• Beveiligd door Ethereum: Als een Layer 2-rollup erft Aztec de robuuste veiligheidsgaranties van het Ethereum-mainnet. De geldigheid van alle L2-operaties wordt cryptografisch geverifieerd en verankerd in L1, wat frauduleuze statusovergangen voorkomt.

Uitdagingen en overwegingen voor Aztec

Hoewel Aztec een overtuigende visie op privacy op Ethereum presenteert, zijn er verschillende uitdagingen en overwegingen verbonden aan de technologie en adoptie ervan:

• Computationele overhead voor ZKP-generatie: Hoewel zk-SNARK-verificatie beknopt is, kan het genereren van deze bewijzen rekenintensief zijn, vooral voor complexe circuits. Hoewel Rollup.js bewijsvoering aan de clientzijde mogelijk maakt, vereist dit nog steeds aanzienlijke rekenkracht van het apparaat van de gebruiker, wat de gebruikerservaring op minder krachtige hardware of bij zeer complexe privétransacties kan beïnvloeden.
• Netwerkeffect en adoptie: Zoals elke nieuwe Layer 2 staat Aztec voor de uitdaging om een robuust ecosysteem van gebruikers, ontwikkelaars en dApps op te bouwen. Liquiditeit moet worden gebridged en dApps moeten worden gebouwd en geadopteerd om het volledige potentieel van het netwerk te benutten.
• Decentralisatie en censuurbestendigheid: Hoewel Aztec streeft naar decentralisatie, moet de rol van sequencers bij het batchen van transacties en het indienen ervan bij L1 zorgvuldig worden overwogen om te voorkomen dat zij gecentraliseerde controlepunten of punten van censuur worden. Er wordt voortdurend gewerkt aan het decentraliseren van de sequencer-rollen.
• Regelgevend toezicht op privacy-oplossingen: Privacy-verhogende technologieën, met name in de financiële sector, trekken vaak de aandacht van toezichthouders vanwege zorgen over illegale activiteiten. De functies voor selectieve openbaarmaking van Aztec zijn bedoeld om dit aan te pakken, maar het landschap van de regelgeving is nog volop in ontwikkeling.
• Auditeerbaarheid en debugging: De inherente vertrouwelijkheid van transacties en smart contract-statussen kan auditing en debugging complexer maken in vergelijking met volledig transparante systemen. Er zijn gespecialiseerde tools en methodologieën nodig om de correctheid en veiligheid van private dApps te waarborgen.

Aztec's visie op de toekomst van Web3-privacy

Aztec vertegenwoordigt een belangrijke stap in de richting van een volwassener en inclusiever Web3-ecosysteem. Het raamwerk voor programmeerbare privacy legt de basis voor een toekomst waarin:

• Financiële applicaties standaard echt privé zijn, waardoor individuen en instellingen geavanceerde DeFi-strategieën kunnen toepassen zonder hun volledige financiële voetafdruk bloot te leggen.
• Digitale identiteitsoplossingen gebruikers in hun kracht zetten om aspecten van hun identiteit te bewijzen zonder gevoelige persoonlijke informatie te veel te delen, wat een veiligere en respectvollere online ervaring bevordert.
• Zakelijke blockchain-oplossingen op Ethereum gebouwd kunnen worden, waardoor vertrouwelijke bedrijfsprocessen en het delen van gegevens mogelijk worden die voldoen aan wettelijke en commerciële geheimhoudingsplicht.
• Interoperabiliteit met andere L2's en L1's wordt uitgebreid, waardoor private assets en logica naadloos kunnen interageren in het bredere blockchain-landschap, waardoor een samenhangende laag voor vertrouwelijke berekeningen ontstaat.

Door een robuuste, schaalbare en ontwikkelaarsvriendelijke benadering van privacy te bieden, voegt Aztec niet alleen een optionele functie toe aan Ethereum; het herformuleert de fundamentele capaciteiten van het netwerk. Het streeft ernaar dat de voordelen van decentralisatie en censuurbestendigheid hand in hand gaan met het essentiële recht op privacy in het digitale tijdperk.