Исходное сообщение
"Новая криптографическая библиотека EverCrypt с математически..." Отправлено ., 06-Апр-19 23:46
> Поскольку другой поточный шифр RC4, которые уже везде обьявили дырявым, то кроме чачи/сальсы ничего и нет. Согласен. Но все же создалось некоторое впечатление, что сместить пытаются не rc4, а именно aes. В чем может быть подвох сальса-подобных шифров, при условии что от классического анализа они защищены? Операция сложения используется, как единственный источник нелинейности. При этом само сложение обладает рядом свойств, которые гипотетически могут облегчить анализ. > При такой передаче много лишнего копирования памяти. > Тут не предусмотрен возврат данных. Одномерный массив в си всегда передается как указатель: void encrypt(uint64_t block[4], const uint64_t rk[120]); void encrypt(uint64_t *block, const uint64_t *rk); Для компилятора нет разницы. Поэтому, чтобы гарантированно не облажаться с выходом за границы понадобится еще статический анализатор. Нужна ли формальная верификация библиотекам для массового использования? Да. Нужна ли она в принципе для написания крипты? Нет, так как криптография в софте легко разбивается на функции, изменяющие массив (или структуру) фиксированного размера. Вот что я пытался сформулировать.