Oprogramowanie open-source nie gwarantuje poprawnego wdrożenia. Nie ma polityk egzekwowania, które weryfikowałyby, czy wdrożony binarny plik odpowiada kodowi źródłowemu. Dowód Budowy Automaty na blockchainie rozszerza weryfikowalność pochodzenia oprogramowania. Powiedz nie "zaufanym" pośrednikom.