Untuk mengidentifikasi bug yang dapat ditemukan oleh kecerdasan buatan, sebuah tim sukarelawan red team yang terdiri dari 20 hingga 25 pengembang telah menelaah sebagian besar perangkat lunak sumber terbuka untuk Bitcoin. Kenyataannya saat ini adalah bahwa penyerang tidak lagi memerlukan waktu bertahun-tahun keahlian, karena kini mereka hanya membutuhkan satu model yang murah. Karena perubahan yang begitu cepat ini, pendekatan peninjauan secara ad hoc tidak akan mampu mengikuti. Ke depan, jaminan yang dapat dibuktikan benar-benar diperlukan.