Բլոգ

Google DeepMind-ը գործակալային ԱԲ-ով ֆորմալ ստուգում է Signal արձանագրությունը

Google DeepMind-ի հետազոտողները գործակալային ԱԲ-ով ֆորմալ ստուգեցին Signal-ի հիմնական կրիպտոգրաֆիական երաշխիքների մի մասը չորս շաբաթվա փորձնական նախագծում։ Աշխատանքը անկախ հաստատում է Signal-ի, Google Messages-ի և WhatsApp-ի կրիպտոգրաֆիան։