गंभीर परियोजनाएँ लॉन्च से पहले इस जोखिम को कम करने के लिए कौन-सा तरीका अपनाती हैं?

स्मार्ट-कॉन्ट्रैक्ट कोड की स्वतंत्र सुरक्षा-ऑडिट वह अभ्यास है जिस पर गंभीर परियोजनाएं भरोसा करती हैं। चूंकि स्मार्ट कॉन्ट्रैक्ट आम तौर पर सार्वजनिक होते हैं, तैनात होने के बाद अपरिवर्तनीय होते हैं, और अक्सर बड़ी रकम संभालते हैं, इसलिए विशेषज्ञ फर्में लॉन्च से पहले कोड की समीक्षा करती हैं और उन बग या तार्किक खामियों की तलाश करती हैं जिनका फायदा उठाकर हमलावर धन निकाल सकते हैं — ठीक वैसे ही जैसे कोई इंजीनियर निर्माण शुरू होने से पहले खाके की जांच करता है।

कोड को कागज़ पर छापना किसी सॉफ्टवेयर बग का उपयोग हो जाने से रोकने में कुछ नहीं करता जब कॉन्ट्रैक्ट सक्रिय हो चुका हो, और उपयोगकर्ताओं से बस सिस्टम को हैक न करने का वादा करने को कहना कोई असली सुरक्षा नहीं देता।

ऑडिट किए गए कॉन्ट्रैक्ट भी कभी-कभी बाद में हैक हुए हैं, क्योंकि कोई ऑडिट केवल उन्हीं खामियों को पकड़ सकता है जिन्हें समीक्षक तलाशने की सोचते हैं, यही वजह है कि इस क्षेत्र में ऑडिट को अनिवार्य तो माना जाता है लेकिन अचूक नहीं, जहां सबसे बड़े नुकसान अक्सर एक अनदेखी की गई ग़लती से हुए हैं।