Bitcoin (BTC) erabiltzaileek laster zero-knowledge proofs (ZKP) erabili ahal izango dituzte bloke indibidualak eta, azkenean, bloke osoa egiaztatzeko prozesua azkartzeko.
Suitzan oinarritutako irabazi-asmorik gabeko ZeroSync Elkartea tresnak garatzen ari da, erabiltzaileei Bitcoin sarearen egoera balioztatzeko, blokea deskargatu beharrik gabe edo hirugarren batengan fidatu beharrik izan gabe egiaztatzeko.
ZeroSync Elkartea Bitcoin blockchain-en zero-ezagutza froga (ZKP) laburrak ahalbidetzen dituen kode irekiko softwarea garatzeko eta mantentzeko sortu zen erakundea da. Taldeak StarkWareren jabedun zero-knowledge Scalable Transparent Argument of Knowledge (zk-STARK) baliozkotasun-frogak erabiltzen ditu Bitcoin sarerako ZKPak sortzeko.
Tresnak Bitcoin blockchain egiaztatzeko prozesua berrikustea agintzen du, oraindik ere nodo-operadoreek datu kopuru handia deskargatu behar dutela Bitcoin sarearen egoera zuzena sinkronizatzeko.
ZeroSync-ek ZKPak erabiltzen ari da, azkenean, bloke-katearen azken egoera ia berehala egiaztatzeko baliozko froga bat sortzeko.
ZKP-ak Ethereum ekosistemarentzat errebelazio bat izan dira, froga-metodo ezberdinekin 2 geruza eskalatzeko plataforma ugari bultzatuz, besteak beste, Polygon, Arbitrum, Optimism eta StarkNet bezalakoak.
Lotutakoa: Polygon-en 'grial santua' Ethereum-en eskalatzeko zkEVM beta sare nagusian sartzen da
ZeroSync Elkartearen iragarki batek ZKP-ek blockchain-en eskalagarritasunerako eta pribatutasunerako duten promesa nabarmentzen du, kalkulu handiak egiaztatzen dituzten "ia-ia finkoko" frogak eskainiz.
Proiektuaren lana aitzindaria da ZKPak aplikatzen Bitcoin sarerako, erakundeak Bitcoin-en soiltasun erlatiboa eta UTXO eredua froga errekurtsiboak aplikatzeko balio-proposamen berezi gisa deskribatuz.
ZeroSync Elkarteak ere ohartzen du ZKP tresnek ez dutela adostasun-aldaketarik edo konfiantza-suposizio gehigarririk behar Bitcoin sarerako eta bere erabiltzaileentzat. Erakundea software garapenerako kit bat (SDK) eraikitzen ari da, garatzaileek erabilera-kasu zehatzetarako baliozkotasun-froga pertsonalizatuak sortzeko aukera emango diena, domeinu-esperientzia sakona behar izan gabe.
ZeroSync hasierako bloke azkar deskargatzeko (IBD) bezero bat eraikitzeko prozesuan dago, baita Bitcoin adostasunaren lehen froga osoa ezartzen ere. Bezeroak erabiltzaileei nodo osoa sinkronizatzeko aukera emango die Bitcoin Core-n kode aldaketarik egin gabe.
ZeroSync Cairo programazio-lengoaia erabiltzen ari da, StarkWare-k aitzindaria kalkuluetarako STARK froga daitezkeen programak sortzeko.
ZeroSync-en tresna gaur egun prototipo-egoeran dago, baina ustezko baliozko bloke indibidualen baliozkotasuna frogatzeko gaitasuna du, Bitcoin arau guztiak egiaztatzen dituztenak Scriptak izan ezik. Taldeak funtzionatzen duen arakatzailearen demo egiaztatzaile bat ere badu Bitcoin blokeen STARK frogak egiteko.
ZeroSync Elkartea hasieran Geometry eta StarkWare-k finantzatu zuten, baina irabazi-asmorik gabeko entitate bat ezartzen ari da Bitcoin komunitateko eragileen etengabeko garapena eta mantentze-lanak ahalbidetzeko.
Eli Ben-Sasson StarkWare presidente eta sortzailekidearen adierazpen batek, zk-STARKS bat asmatu zuenak, laburbildu zuen Bitcoin ekosistemara datozen ZKP-en magnitudea:
«Urteetan sinkronizazio motelean frustrazioa izan ondoren, erabiltzaileek sarearekin askoz azkarrago sinkronizatu ahal izango dute, eta konputazio gutxiagorekin. Jauzi teknologikoa da markatze geldoko internetetik abiadura handiko banda zabalera igarotzearen antzekoa.
Lightning Labs, Bitcoin layer-2 Lightning Network ordainketa sistemaren atzean dagoen taldea, ZeroSync-en proiektuko bazkide laguntzailea da.
Konpainiak ZeroSync erabili nahi du konprimitutako transakzioen historiaren frogak sustatzeko Taproot Asset Representation Overlay (Taro) protokolorako, Bitcoin blockchain-en aktibo digitalak jaulkitzeko xedea duena.
Iturria: https://cointelegraph.com/news/zero-knowledge-proofs-coming-to-bitcoin-overhauling-network-state-validation