Wat zijn Bulletproofs?
Bulletproofs zijn korte bewijzen waarmee je kunt aantonen dat een bedrag geldig is zonder het bedrag zelf prijs te geven. Zie het als het aantonen van je leeftijd aan een portier met een magische stempel waarop staat “21 or older” terwijl je de geboortedatum bedekt. Efficiënt, discreet en erg handig voor verborgen saldi.
“Bulletproofs verbergen alles.” Niet helemaal. Ze verbergen bedragen, niet adressen of het tijdstip, en iedereen kan nog steeds controleren of het klopt.
Hoe Bulletproofs werken
Stel je voor dat je crypto verstuurt met het bedrag verborgen maar nog steeds aantoonbaar geldig. Hier is het eenvoudige verloop.
- Stap 1: Je maakt een transactie waarin de bedragen zijn vastgelegd in cryptografische commitments, zoals verzegelde dozen.
- Stap 2: Je genereert een Bulletproof die zegt “elk verzegeld bedrag zit binnen een geldige range en is niet negatief.” Dit is een zero knowledge proof, dus je onthult niets behalve dat het klopt.
- Stap 3: Als er meerdere outputs zijn, vouw je ze samen tot één compact bewijs. Minder bits on chain, lagere kosten voor jou.
- Stap 4: Validators controleren het bewijs snel. Geen inkijk in bedragen, alleen wiskunde die slaagt of faalt.
- Stap 5: Na verificatie accepteert het netwerk de overdracht en gaat verder. Rustig en overzichtelijk.
Dat is het hele verhaal.
Waarom Bulletproofs belangrijk zijn
Dit is relevant omdat het geldgegevens privé houdt terwijl ze verifieerbaar blijven.
- Voordeel: Veel kleinere bewijzen dan oude range proofs, wat meestal lagere kosten en minder bloat betekent.
- Perspectief: Sterke privacy wordt steeds meer een vereiste voor serieuze on chain finance, en Bulletproofs helpen daarbij.
- Relevantie: Je zult het tegenkomen bij vertrouwelijke overboekingen, sidechains, sommige wallets en onderzoeksgerichte rollups.
Systemen vergelijken? Kijk of ze Bulletproofs of zk SNARKs gebruiken. Bulletproofs hebben geen trusted setup nodig, terwijl SNARKs erg klein zijn maar er mogelijk wel een nodig is.
Belangrijkste kenmerken van Bulletproofs
Wat hen onderscheidt:
- Compact: De grootte van het bewijs groeit ongeveer met de log van het bereik, niet lineair.
- Geen setup: Er is geen vertrouwde ceremonie nodig om systeem sleutels te genereren.
- Aggregatie: Meerdere outputs kunnen één bewijs delen, waardoor de data nog verder krimpt.
- Snel controleren: Controles zijn snel en kunnen door validators in batches worden uitgevoerd.
- Algemeen: Gebouwd op een inner product argument, dus het reikt verder dan alleen range checks.
Varianten
Verschillende varianten die je kunt tegenkomen:
- Range: Het klassieke bewijs dat bedragen binnen een veilige grens vallen.
- Aggregate: Combineert meerdere range proofs in één compact object.
- Batch: Verifiers controleren veel bewijzen samen om tijd te besparen.
- Gegeneraliseerd: Circuiten die de inner product techniek van Bulletproofs hergebruiken voor andere uitspraken.
Bulletproofs verbergen bedragen, niet wie de afzender is of wanneer. Projecten combineren ze met adresafscherming of netwerk technieken als ze diepere afscherming willen.
Voorbeeld
Monero nam Bulletproofs in gebruik in 2018 voor vertrouwelijke bedragen, wat de typische transactiekosten flink verlaagde en de verificatie versnelde.
Leuk weetje
De naam Bulletproofs kwam voort uit het idee van de auteurs om iets korts en sterk te maken. Het artikel van Benedikt Bunz en collega’s verscheen in 2018 en werd snel populair binnen crypto kringen.
Samenvatting
Kort gezegd: Bulletproofs laten je aantonen dat getallen geldig zijn terwijl de getallen verborgen blijven. Rolex ontmoet Reddit threads.