Bitcoin validator security audits