04.03.2026
Verifpal - это программа, которая помогает разработчикам и студентам проверять, на самом ли деле защищённые протоколы связи являются безопасными и не содержат ошибок. Например, можно проверить как работает шифрование в WhatsApp или Signal
Так вот, разрабы объявили о полном переписывании Verifpal с Go на Rust. В результате Verifpal 0.40.1 стал быстрее, надежнее и функциональнее благодаря использованию алгебраических типов данных, устранивших целый класс ошибок, связанных с параллельным доступом и небезопасными приведениями типов
Интересная, кстати, штука
