DeepMatch формально верифицировал ключевые части протокола Signal
За четыре недели AlphaProof Code математически доказал корректность криптографических гарантий Signal. Новых уязвимостей не нашли, но инструмент нашёл старые баги в предыдущих версиях.