الأمن السيبرانيآخر تحديث أمس

وكلاء «ديب مايند» يتحققون من الحمايات التشفيرية الأساسية في «سيغنال».

التحقق بالبراهين ممكن يبان نظري، لكن هنا وراءه أكثر من 3 ملايين سطر تقدر الآلة تفحصها. بحسب تقرير «وايرد»، تحقّق باحثو «غوغل ديب مايند» من أن بروتوكول «سيغنال» يعمل مثل ما ينبغي، مع تركيزهم على حماياته التشفيرية الأساسية. كتب وكلاء «ألفا بروف كود» البراهين بلغة «لين»، وفُحصت آليًا حتى مستوى تعليمات الآلة. اللافت أن النظام ما اكتفى بحكم واثق؛ خلّف براهين تقدر الآلة تفحصها. وهذا يخلي التحقق ملموسًا، لأن البرهان نفسه يبيّن مستوى التدقيق اللي وصلوا له.

ناشرانتقريران

بدأت التغطية أمس