Mètodes de Testeig Avançat i Recerca de Vulnerabilitats en Contractes Intel·ligents Basats en Fuzzing

Abstract

Les tecnologies blockchain han permès la creació d'escassetat digital, la qual ha definit el valor digital. La seguretat és un factor crucial per preservar la integritat d'aquesta escassetat i assegurar el manteniment d’aquest valor. Tecnologies blockchain programables, com Ethereum, permeten mitjançant contractes intel·ligents, la construcció de protocols financers autònoms que tenen la capacitat de posseir i transferir valor entre usuaris i altres protocols de manera trustless (sense necessitat de confiança). No obstant això, com qualsevol component de programari, els contractes intel·ligents no estan exempts de contenir vulnerabilitats, les quals en molts casos posen en risc el valor contingut en ells. D'aquesta manera, la seguretat esdevé un factor fonamental a tenir en compte en tot el cicle de vida dels contractesintel·ligents, especialment durant la fase de desenvolupament, a causa de la immutabilitat d’aquests una vegada són desplegats a la blockchain. Aquest treball se centra en explorar l'ecosistema d'eines de testeig avançat basades en fuzzing per a contractes intel·ligents Ethereum, i com aquestes poden ser utilitzades tant per a la recerca de vulnerabilitats com per assegurar la correctesa de les propietats dels contractes intel·ligents. A més, s'explorarà la integració i l'automatització d'aquestes eines dins del procés de desenvolupament per millorar la seguretat durant tot el cicle de desenvolupament dels contractes intel·ligents. Amb la realització d’aquest treball, es pretén documentar els oneixements teòric-pràctics necessaris per a la construcció i utomatització de setups de testeig avançat de contractes intel·ligents basats en fuzzing de manera eficient i professional.