Mik azok a Bulletproofs?
A Bulletproofs rövid bizonyítékok, amelyekkel úgy igazolhatod egy összeg érvényességét, hogy magát az összeget nem feded fel. Képzeld el úgy, mintha egy mágikus pecséttel bizonyítanád a kidobónak, hogy „elmúltál 21 éves”, miközben eltakarod a születési dátumodat. Hatékony, diszkrét, és nagyon hasznos, ha az egyenlegeket rejtve kell tartani.
„A Bulletproofs mindent elrejt.” Nem egészen. Az összegeket elrejtik, a címeket és az időzítést nem, a tranzakciók helyességét pedig bárki ellenőrizheti.
Hogyan működik a Bulletproofs?
Képzeld el, hogy úgy küldesz kriptót, hogy az összeg rejtve marad, a tranzakció mégis bizonyíthatóan érvényes. Így néz ki egyszerűen a folyamat.
- 1. lépés: Létrehozol egy tranzakciót, amelyben az összegek kriptográfiai kötelezettségvállalásokba vannak zárva, mintha lepecsételt dobozokban lennének.
- 2. lépés: Létrehozol egy Bulletproofs-bizonyítékot, amely igazolja, hogy „minden lezárt összeg egy érvényes tartományba esik, és nem negatív”. Ez egy nullaismeret-bizonyíték, így a helyesség igazolásán kívül semmit sem fedsz fel.
- 3. lépés: Ha több kimenet is van, egyetlen tömör bizonyítékba vonod össze őket. Kevesebb adat kerül a láncra, így kisebb lesz a díj is.
- 4. lépés: A validátorok gyorsan ellenőrzik a bizonyítékot. Nem néznek bele az összegekbe, csak ellenőrzik, hogy a matematika stimmel-e.
- 5. lépés: A sikeres ellenőrzés után a hálózat elfogadja az átutalást, és lép tovább. Csendben, tisztán.
Ennyi az egész.
Miért fontos a Bulletproofs?
Azért fontos, mert így a pénzügyi adatok bizalmasak maradnak, miközben továbbra is ellenőrizhetők.
- Előny: A korábbi tartománybizonyítékoknál jóval kisebb bizonyítékokat eredményez, ami általában alacsonyabb díjakkal és kevesebb adatmennyiséggel jár.
- Szempont: Az erős adatvédelem egyre inkább alapkövetelménnyé válik a komoly on-chain pénzügyekben, és a Bulletproofs ehhez is hozzájárul.
- Jelentőség: Bizalmas átutalásoknál, sidechaineknél, egyes wallet-eknél és kutatási célú rollupoknál is találkozhatsz vele.
Rendszereket hasonlítasz össze? Nézd meg, hogy Bulletproofsot vagy zk SNARK-okat használnak-e. A Bulletproofs nem igényelnek megbízható setupot, a SNARK-ok viszont aprók, de szükség lehet ilyenre.
A Bulletproofs főbb jellemzői
Mi teszi őket különlegessé?
- Tömör: A bizonyíték mérete nagyjából a tartomány logaritmusával nő, nem lineárisan.
- Nincs setup: Nincs szükség megbízható ceremóniára a rendszerkulcsok létrehozásához.
- Összevonható: Több kimenethez egyetlen közös bizonyíték is használható, így még tovább csökken az adatmennyiség.
- Gyors ellenőrzés: Az ellenőrzések gyorsak, és a validátorok csoportosan is elvégezhetik őket.
- Általános célú: Belső szorzatokon alapuló argumentumra épül, ezért nemcsak tartományellenőrzésre használható.
Változatok
Néhány változat, amellyel találkozhatsz:
- Tartománybizonyíték: A klasszikus bizonyíték arra, hogy az összegek egy biztonságos tartományon belül vannak.
- Összevont: Több tartománybizonyítékot egyetlen tömör objektummá egyesít.
- Kötegelt: Az ellenőrzők egyszerre több bizonyítékot vizsgálnak meg, hogy időt takarítsanak meg.
- Általánosított: Olyan áramkörök, amelyek más állítások bizonyítására is felhasználják a Bulletproofs belsőszorzat-trükkjét.
A Bulletproofs az összegeket rejti el, nem azt, hogy ki küldte őket, vagy mikor történt a küldés. Ha nagyobb fokú védelmet szeretnének, a projektek címek árnyékolásával vagy hálózati megoldásokkal egészítik ki őket.
Példa
A Monero 2018-ban vezette be a Bulletproofsot a bizalmas összegek kezelésére. Ez jelentősen csökkentette a tipikus díjakat, és felgyorsította az ellenőrzést.
Érdekesség
A Bulletproofs nevet a szerzők azért választották, mert rövid és ütős nevet szerettek volna. Benedikt Bunz és társai tanulmánya 2018-ban jelent meg, és gyorsan népszerű lett a kriptós körökben.
Összefoglalás
Röviden: a Bulletproofs segítségével úgy bizonyítható a számok érvényessége, hogy közben rejtve maradnak. Rolex találkozik a Reddit-beszélgetésekkel.