Hvad er Bulletproofs?
Bulletproofs er korte beviser, som lader dig vise, at et beløb er gyldigt uden at afsløre selve beløbet. Tænk på det som at bevise din alder over for en dørmand med et magisk stempel, der siger “21 eller ældre”, samtidig med at fødselsdatoen er dækket. Effektivt, diskret og meget nyttigt til skjulte saldi.
»Bulletproofs skjuler alting.« Ikke helt. De skjuler beløb, ikke adresser eller tidspunkt, og de gør det muligt for alle at verificere korrektheden.
Hvordan Bulletproofs fungerer
Forestil dig at sende krypto med beløbet skjult, men stadig beviseligt gyldigt. Her er det enkle forløb.
- Trin 1: Du opretter en transaktion hvor beløbene er låst inde i kryptografiske forpligtelser, som forseglede kasser.
- Trin 2: Du genererer en Bulletproof, der siger »hvert forseglede beløb ligger inden for et gyldigt interval og er ikke negativt.« Dette er et nulvidensbevis, så du afslører intet andet end korrekthed.
- Trin 3: Hvis der er flere outputs, slår du dem sammen til et enkelt kompakt bevis. Færre bits på kæden, lavere gebyrer på regningen.
- Trin 4: Validatorer tjekker beviset hurtigt. Ingen ser beløbene, kun matematik der godkender eller afviser.
- Trin 5: Når det er verificeret, accepterer netværket overførslen og går videre. Stille og ryddeligt.
Det er hele forløbet.
Hvorfor Bulletproofs er vigtige
Det betyder noget for dig, fordi det holder pengeoplysninger private, samtidig med at de kan verificeres.
- Fordel: Meget mindre beviser end gamle intervalbeviser, hvilket ofte betyder lavere gebyrer og mindre datamængde.
- Perspektiv: Stærkt privatliv bliver et grundkrav for seriøs finans på kæden, og Bulletproofs hjælper med det.
- Relevans: Du vil se det i fortrolige overførsler, sidechains, nogle tegnebøger og rollups i forskningskvalitet.
Sammenligner du systemer? Tjek om de bruger Bulletproofs eller zk SNARKs. Bulletproofs kræver ingen trusted setup, mens SNARKs er små men kan kræve en.
Nøgleegenskaber ved Bulletproofs
Hvad gør dem særlige:
- Kompakt: Bevisets størrelse vokser omtrent med logaritmen af intervallet, ikke lineært.
- Ingen setup: Der kræves ingen betroet ceremoni for at generere systemnøgler.
- Aggrerate: Flere udgange kan dele et bevis, hvilket reducerer datamængden yderligere.
- Hurtig verifikation: Tjek er hurtige og kan køres i grupper af validatorer.
- Generel: Bygget på et indre produktargument, så det kan bruges ud over kun intervalkontroller.
Varianter
Forskellige varianter, du kan støde på:
- Range: Det klassiske bevis for at beløb ligger inden for en sikker grænse.
- Aggregate: Kombinerer flere intervalbeviser til et enkelt kompakt objekt.
- Batch: Validatorer kontrollerer mange beviser samlet for at spare tid.
- Generalized: Kredsløb der genbruger Bulletproofs indre produkttrick til andre udsagn.
Bulletproofs skjuler beløb, ikke hvem der sendte eller hvornår. Projekter parrer dem med adressebeskyttelse eller netværksteknikker, hvis de vil have større skjul.
Eksempel
Monero tog Bulletproofs i brug i 2018 for fortrolige beløb, hvilket reducerede typiske gebyrstørrelser betydeligt og gjorde verifikation hurtigere.
Fun Fact
Navnet Bulletproofs kom af, at forfatterne ønskede noget kort og robust. Artiklen af Benedikt Bunz og kolleger kom i 2018 og blev hurtigt populær i krypto miljøer.
Opsummering
Kort sagt: Bulletproofs lader dig bevise, at tal er gyldige, samtidig med at tallene holdes skjult. Rolex møder Reddit tråde.