Внешние аудиты проводятся постепенно.
Результаты могут скорректировать параметры/политику.
Документация разработчика (криптографические параметры, машины состояний, формулы) опубликована после аудита.
Детали реализации исключены из публичной версии.
Последнее обновление 6 месяцев назад