تماما كما تجعل البرمجيات مفتوحة المصدر التطبيقات شفافة، تتيح لك البنية التحتية القابلة للتحقق إثبات أن الكود الصحيح يعمل في البيئة المناسبة. إذا لم تستطع إثبات صحة الكود الذي يؤمن أصولك، فأنت تعتمد على الثقة.