Anong kasanayan ang ginagamit ng mga seryosong proyekto upang bawasan ang panganib na ito bago ang paglunsad?

Ang mga independent na security audit ng smart-contract code ang kasanayang inaasahan ng mga seryosong proyekto. Dahil ang mga smart contract ay karaniwang pampubliko, hindi na mababago kapag na-deploy na, at kadalasang may hawak na malalaking halaga ng pera, sinusuri ng mga espesyal na kumpanya ang code bago ito ilunsad, naghahanap ng bug o depekto sa lohika na maaaring pagsamantalahan ng isang umaatake para agawin ang pondo, halos kagaya ng isang engineer na sinusuri ang blueprint bago simulan ang konstruksyon.

Ang paglilimbag ng code sa papel ay walang epekto sa pagpigil sa pagsasamantala sa isang software bug kapag naka-live na ang contract, at ang simpleng paghingi sa mga gumagamit na mangako na hindi nila ha-hackerin ang sistema ay hindi nagbibigay ng tunay na proteksyon.

Kahit ang mga audited na contract ay minsan pang na-exploit pagkatapos, dahil ang isang audit ay makakahuli lamang ng mga depektong iniisip mismong hanapin ng tagasuri, kaya naman itinuturing na mahalaga ngunit hindi ganap na sigurado ang mga audit sa isang larangan kung saan ang ilan sa pinakamalaking pagkalugi ay nanggaling sa isang hindi napansing pagkakamali lamang.