Bitcoin และคณิตศาสตร์
กรณีการใช้งานขนาดใหญ่จะเป็นการตรวจสอบรหัสอย่างเป็นทางการที่เขียนโดย AI
กล่าวอีกนัยหนึ่งตรรกะใน bitcoin นั้นกำหนดไว้อย่างสมบูรณ์