Google DeepMind „AlphaProof Code“ patikrino dalį „Signal“ protokolo kriptografinių garantijų

„Google DeepMind“ tyrėjai per keturias savaites vykusį bandomąjį projektą naudojo agentinį DI karkasą „AlphaProof Code“, kad formaliai patikrintų kelias svarbias „Signal“ protokolo kriptografines garantijas.

Tiriant nagrinėtas dalis naujų pažeidžiamumų neaptikta. Tačiau buvo nustatyti jau žinomi pažeidžiamumai senesnėse „Signal“ versijose.

Visos „Signal“ mobiliosios programėlės formalus patikrinimas šiame projekte nebuvo atliktas.