Ansvarsfraskrivelse: Indholdet på NPinvestor er alene til generel information og udgør ikke finansiel, skattemæssig eller juridisk rådgivning. Dele af indholdet er udarbejdet med AI-værktøjer og kan indeholde fejl — søg professionel rådgivning ved behov. Investering indebærer risiko for tab, og historisk afkast er ingen garanti for fremtidigt afkast. NPinvestor anvender affiliate-links og kan modtage provision, når du går videre til vores partnere; det påvirker ikke din pris. Lån forudsætter, at du er fyldt 18 år, og vores partnere kreditvurderer altid ansøgere (bl.a. via RKI). Læs altid de fulde vilkår og betingelser hos den enkelte udbyder, før du investerer eller optager lån.
Zcash-udviklere har taget et usædvanligt skridt for at genopbygge tilliden til privatlivs-kryptovalutaen. Efter den længe ventede Ironwood-opgradering er blevet aktiveret, har forskere bag netværket offentliggjort mere end 2.700 maskinverificerede teoremer, der skal bevise, at systemet ikke indeholder usynlige fejl, som kunne bruges til at forfalske forsyningen af ZEC-tokens.
De formelle beviser er offentliggjort af Zcash-forskere og markerer et forsøg på at give matematisk sikkerhed frem for blot kodegennemgang og traditionel revision. Ifølge de involverede forskere er formålet at udelukke såkaldte “undetectable counterfeiting bugs” – fejl, der teoretisk kunne give en angriber mulighed for at skabe falske coins uden at det ville kunne opdages af netværkets øvrige deltagere.
Baggrunden: En sårbarhed i Orchard
Ironwood-opgraderingen kommer ikke ud af det blå. Ifølge The Block fandt sikkerhedsfirmaet Shielded Labs tidligere en sårbarhed i Zcashs eksisterende “shielded pool” kaldet Orchard, som håndterer de private transaktioner på netværket. Fundet satte gang i en bredere indsats på tværs af Zcashs udviklerøkosystem for at lukke hullet og samtidig styrke de underliggende sikkerhedsgarantier.
Decrypt beskriver Ironwood som en “længe ventet” opgradering, der nu er blevet aktiveret på netværket. Opgraderingen udfaser det sårbare Orchard-pool og erstatter det med en ny shielded pool, som skal fungere som netværkets primære mekanisme til at beskytte transaktionernes privatliv fremover.
2.700 beviser skal fjerne tvivlen
Det er netop i lyset af den tidligere sårbarhed, at de mange formelle beviser får særlig betydning. Ved at omsætte den kryptografiske logik bag Ironwood til matematiske teoremer, der kan verificeres maskinelt, forsøger Zcash-forskerne at give en langt højere grad af sikkerhed for, at der ikke gemmer sig lignende fejl i den nye kodebase.
Metoden adskiller sig fra traditionel softwaretest, hvor udviklere typisk leder efter kendte fejltyper. Machine-checked-beviser er i stedet designet til systematisk at udelukke hele klasser af mulige sårbarheder – herunder netop de forfalskningsfejl, der tidligere ramte Orchard, og som i værste fald kunne undergrave tilliden til, hvor mange ZEC-tokens der reelt findes i omløb.
Betydning for investorer i privacy coins
For investorer i Zcash og lignende privatlivsfokuserede kryptovalutaer er sagen relevant, fordi tilliden til, at forsyningen af tokens er korrekt og ikke kan manipuleres, er selve fundamentet for aktivets værdi. En uopdaget forfalskningsfejl ville i teorien kunne underminere hele valutaens knaphedsprincip – noget der ville ramme kursen hårdt, hvis det blev afsløret efterfølgende.
Ved at kombinere selve netværksopgraderingen med offentliggjorte, verificerbare beviser forsøger Zcash-projektet at sende et signal om teknisk gennemsigtighed til et marked, der generelt er blevet mere kritisk over for privatlivs-tokens, blandt andet på grund af regulatorisk pres og bekymring for anvendelse til hvidvask. Om den akademiske tilgang med formelle beviser bliver en model, andre kryptoprojekter følger efter en lignende sårbarhed, vil tiden vise.
Læs også: Zcash lukker for gammel sårbarhed: Ironwood-opgradering låser 1,7 mia. dollar inde
Kilder: Cointelegraph, Decrypt, Theblock
