Оценивать риски в защищённой среде – это значит смотреть, как реализован внутренний цикл лестницы Монтгомери, остались ли какие-то зависимости от ветвлений после добавления отступов, и смягчены ли аппаратные побочные каналы – кэш или энергопотребление. Если код уже гарантирует выполнение арифметических операций за постоянное время для всей лестницы, то атака не сработает; но во многих пакетах защиты применяется только маскировка, а не полноценное выполнение за постоянное время. Небольшое изменение, которое заставит каждое ветвление выполняться в одинаковой последовательности действий, и исключит доступ к памяти или количество инструкций, зависящее от данных, может устранить уязвимость. Просто помни, что нужно проверить весь путь, потому что даже одно условное возвращение или преждевременный выход могут снова привести к утечке информации.