forum.opennet.ru

Форум Разговоры, обсуждение новостей
Вариант для распечатки		Пред. тема \| След. тема
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Оглавление

Новая криптографическая библиотека EverCrypt с математически..., opennews (??), 06-Апр-19, (0) [смотреть все]

Интересно, как математически доказать потокобезопасность , Аноним (1), 12:22 , 06-Апр-19, (1) –4 //

пока никак увы , адмирал третьего флота очевидно (?), 12:42 , 06-Апр-19, (2) –1
Дайте сначала определение потокобезопасность -и, Sw00p aka Jerom (?), 17:27 , 06-Апр-19, (23) +8
Многопоточные алгоритмы невозможно описать математически , Аноним (47), 21:55 , 06-Апр-19, (47) +6

Какой еще Kremlin , nc (ok), 12:48 , 06-Апр-19, (3) +8 //

Там только его рука , Анонимный селебрити (?), 12:54 , 06-Апр-19, (5) +5 //

Т майор приложил свою лапу к созданию транслятора , Аноним (27), 18:34 , 06-Апр-19, (27) +1

Дейкстра одобряет, Анонимный селебрити (?), 12:53 , 06-Апр-19, (4) +7
На фоне быстрого и проверенного годами OpenSSL выглядит бледно К тому же, яйцего, АНБ (?), 13:10 , 06-Апр-19, (6) +2 //

Да, во многом так Не первая причем Такое хорошо для верификации практически не, Аноним (7), 13:26 , 06-Апр-19, (7)
лол , пох (?), 13:37 , 06-Апр-19, (9) +9 //

АНБ проверило А ты хто такой , myhand (ok), 19:12 , 06-Апр-19, (34) +1 //

у ентого вашего АНБ чекистский значок, кажись, на лацкане , пох (?), 20:52 , 06-Апр-19, (41) +1

А вы каких фашистов выбираете , myhand (ok), 22:21 , 06-Апр-19, (48)

Libressl лучше, Аноним (18), 15:13 , 06-Апр-19, (18) –1 //

Кто-то минус влепил,но он действительно лучше Libressl не требует perl для сбор, dabdabya (?), 15:27 , 07-Апр-19, (73) –1
Только BoringSSL, только хардкор , Аноним (123), 12:39 , 12-Апр-19, (123)

Абсолютно с вами согласен, коллега , ФАПСИ (?), 19:16 , 06-Апр-19, (35) +1

как это понять исходный код на Apache2, но его скомпилированный вариант уже на M, X4asd (ok), 14:06 , 06-Апр-19, (11) //

авторы как хотят, так и лицензируют Почему-то для кода на F им захотелось более, пох (?), 14:25 , 06-Апр-19, (14) –2 //

Читаем внимательноО скопмилированном коде тут речь не идет Поэтому не путайте , Аноним (21), 15:42 , 06-Апр-19, (21) //

о, очередной программист самоучка Компилятор с F на C - вполне себе компилято, пох (?), 17:52 , 06-Апр-19, (26) –1

https ru wikipedia org wiki Лицензия_Apache Согласно Free Software Foundation,, Аноним (27), 18:53 , 06-Апр-19, (30)

не можешь Ибо ты - не разработчик и не владелец авторского права ни на исходник, пох (?), 23:17 , 06-Апр-19, (51)

речь идет именно о сгенерированном Си коде, никакой компиляцииhttps github com, Sw00p aka Jerom (?), 18:58 , 06-Апр-19, (31)

Автоматическая генерация кода на одном языке из исходников на другом с потерей ч, Аноним (40), 20:33 , 06-Апр-19, (40) –1

пройдите по ссылке указанной выше, и вовсе не компиляция, а трансляция код, Sw00p aka Jerom (?), 21:12 , 06-Апр-19, (45) –2

вашу викивракию пишут такие же эксперты как и вы - не посещавшие даже лекции д, пох (?), 22:50 , 06-Апр-19, (49) –1

ок, понятно, а теперь ответьте на один вопрос - кто автор теории компиляторов , Sw00p aka Jerom (?), 00:35 , 07-Апр-19, (57) +2
про первокурсников, а вы собственно из серии программистов которым не нужна мат, Sw00p aka Jerom (?), 00:37 , 07-Апр-19, (58)
Самое забавное, что он прав и в вики это тоже верно написано Перечитайте что ли , t_ (?), 12:53 , 07-Апр-19, (68)

Девочки, не ссорьтесь Cуществует и то и это Остроконечники W различающие пер, Аноним84701 (ok), 16:46 , 07-Апр-19, (75) +1

Да, но именно результат компиляции это типа последняя фаза трансляций может , Sw00p aka Jerom (?), 18:58 , 07-Апр-19, (81)

Может, а может и нет Я просто подсказываю, что зависит от используемой вполне , Аноним84701 (ok), 19:41 , 07-Апр-19, (83)
нет не стоит, и он от ЯП других ничем не отличается, ибо он из мнемонического ко, Sw00p aka Jerom (?), 20:25 , 07-Апр-19, (86)
То что не отличается, я даже не спорил, а вот то что все же стоИт, пусть в основ, Аноним84701 (ok), 20:51 , 07-Апр-19, (87)
Так результат работы того же gcc с опцией -c Compile or assemble на выходе даё, Sw00p aka Jerom (?), 21:28 , 07-Апр-19, (88)
Ассемблер совершает процесс ассемблирования Это когда каждая мнемоника тран, Аноним (94), 11:57 , 08-Апр-19, (94)
это не компиляция - а перевод трансляция, кодогенерация в другой язык, назыв, Sw00p aka Jerom (?), 16:52 , 08-Апр-19, (105) –1
Это была цитата в переводе Ren 233 Tournois Betov , автора SpAsm и RosAsm, Аноним (94), 07:59 , 09-Апр-19, (116)

Ты молодец Открыл нужную книгу, выделил слово translate, но вывод сделал неверн, t_ (?), 13:59 , 08-Апр-19, (99)

Еще раз - translator в _этом_ варианте англоязычной терминологии вообще как-т, Аноним84701 (ok), 21:56 , 08-Апр-19, (109)
Всё правильно написано, поскольку ни компилятор, ни интерпретатор, ни сборщик не, t_ (?), 01:21 , 09-Апр-19, (114) +2
если результирующую понимать как конечный этап машинные коды операций , то да, Sw00p aka Jerom (?), 18:41 , 09-Апр-19, (117)
Изначально верный ответ дал Аноним84701 D В прогр, t_ (?), 02:38 , 10-Апр-19, (118)
Если приводить цитаты из вики, то повторюсь https en wikipedia org wiki Source, Sw00p aka Jerom (?), 15:03 , 10-Апр-19, (119)
Я тоже повторно объясню компиляция не требует обязательного результата в виде м, t_ (?), 23:40 , 10-Апр-19, (120)
где на странице в вике о компиляторе это написано там строго утверждено - резул, Sw00p aka Jerom (?), 01:17 , 11-Апр-19, (121)

Вообще-то Вики сама суть результат компиляции com-pile дословно в одну кучу , Аноним (60), 07:06 , 07-Апр-19, (60)
Выше по ссылкеhttps github com project-everest hacl-starЕще используется extr, Аноним84701 (ok), 17:35 , 07-Апр-19, (79)

вы только в википедию этот бред теперь не пишите вместо того, который там уже, п, пох (?), 23:07 , 06-Апр-19, (50) –1

Почему-ж В помойку надо складать мусор, она для того и предназначена , myhand (ok), 11:11 , 07-Апр-19, (66) +1
Вы сравниваете ежа с ужом По ссылке, которую вы привели, описана текстовая сери, meantraitor (?), 15:59 , 08-Апр-19, (101)

вы, похоже, не владеете темой Вся суть проекта llvm - что вот это вот внутренне, пох (?), 23:10 , 08-Апр-19, (111)

Да-да, уже 15 лет не владею Все современные компиляторы так устроены уже давно, meantraitor (?), 13:00 , 12-Апр-19, (124) –1

перепись безграмотных программистов на опеннете , пох (?), 20:54 , 06-Апр-19, (42) –1

отмазки одни, давай по делу, Sw00p aka Jerom (?), 21:13 , 06-Апр-19, (46) –1

Тут он все правильно сказал Я сначала смеялся, потом плакал, под конец уже крова, meantraitor (?), 16:03 , 08-Апр-19, (102)

чаво он там правильного сказал У него трансляция с одного исходного языка на др, Sw00p aka Jerom (?), 20:16 , 08-Апр-19, (107)

Вы бы, это, поаккуратнее с подобными безаппеляционными высказаваниями Ни разу эт, meantraitor (?), 15:42 , 08-Апр-19, (100)

Он тоже прав Просто он имеет в виду компилятор, внутри которого работает sour, t_ (?), 01:42 , 09-Апр-19, (115)

Полагаю, так сделано потому, что Apache 2 0 требует явного указания на то, какие, KonstantinB (ok), 15:22 , 06-Апр-19, (19) +2 //

а кому пришло бы в глову модифицировать НЕ исходный код а получившийся скомпилир, X4asd (ok), 19:38 , 06-Апр-19, (37) //

например, вот Мозилле - пришло Не всегда получается чужой исходник вот так, не м, пох (?), 20:58 , 06-Апр-19, (43) –1

Как говорили в одной древней любительской сети, отучаемся говорить за всех Мен, KonstantinB (ok), 00:18 , 07-Апр-19, (55)
зачем ты мне привёл пример про изменение ИСХОДНОГО кода я же говорил про изменен, X4asd (ok), 11:33 , 08-Апр-19, (93)

код, который меняет мазила - сгенерен из кода на F который сам по себе мало ко, пох (?), 22:42 , 08-Апр-19, (110)

В общем-то по MIT это делать как раз можно беря их скомпилированные варианты С, KonstantinB (ok), 00:20 , 07-Апр-19, (56)

речь не о можно ли а о зачем такое делать , X4asd (ok), 11:30 , 08-Апр-19, (92)

посмотрим на это с другой сторонытам где есть одна спецификация может быть и дру, кругомвраги (?), 14:46 , 06-Апр-19, (15) –4 //

в смысле неразглашаемая , Sw00p aka Jerom (?), 19:03 , 06-Апр-19, (32) //

У Кругомвраги известный из истории смысл Einkreisung - Идеология, овладевшая у, Аноним (60), 07:21 , 07-Апр-19, (61) +1
библиотека это по сути чёрный ящик причем для всех и даже авторов т к для знани, кругомвраги (?), 21:04 , 12-Апр-19, (125) –1 //

доверяй, но проверяйЕсли, нам предлагают, это не значить, что нас защищаютпс вы, Sw00p aka Jerom (?), 01:33 , 13-Апр-19, (126)

Все эти ошибки возникают при динамической работе с памятью или при зависимости л, . (?), 15:05 , 06-Апр-19, (16) //

Напишите на массивах хотя бы парсер сертификатов X 509, а мы посмотрим , Аноним (17), 15:11 , 06-Апр-19, (17) –1 //

В сабжевой библиотеке этого тоже нет Сам я со структурой сертификатов не разбир, . (?), 15:36 , 06-Апр-19, (20)

1 При такой передаче много лишнего копирования памяти 2 Тут не предусмотрен во, Ivan_83 (ok), 19:42 , 06-Апр-19, (38) //

Согласен Но все же создалось некоторое впечатление, что сместить пытаются не rc, . (?), 23:46 , 06-Апр-19, (53) –1 //

простите, а функции с данными структурами данных не работают как это массив , Sw00p aka Jerom (?), 02:32 , 07-Апр-19, (59)
нет, нелинейность в шифрах задают так называемые бент-функции , в том же aes эт, Sw00p aka Jerom (?), 14:57 , 07-Апр-19, (72)

Chacha и подобные шифры используют три операции сложение, xor и побитовый сдвиг, . (?), 16:18 , 07-Апр-19, (74) +1

не у сложения по модулю , а от выбора S-Box, Sw00p aka Jerom (?), 18:18 , 07-Апр-19, (80)

Оригинальная чача, s-box ов там нет https github com odzhan tinycrypt blob mas, . (?), 19:03 , 07-Апр-19, (82)

ChaCha State это и есть фактический S-box, Sw00p aka Jerom (?), 20:00 , 07-Апр-19, (84)
добавлю, почему тогда эти начальные стейты в сальсе были одни, а в чачача ДЖБ их, Sw00p aka Jerom (?), 20:07 , 07-Апр-19, (85)

Напиши ему и спроси , Ivan_83 (ok), 00:21 , 08-Апр-19, (91)
наши коллеги из NSA очень попросили , товарищ майор (?), 12:18 , 08-Апр-19, (97) –1

Так это как в случае со слабым S-boxЦитата из вики В 2008 году Daniel Bernstein, Sw00p aka Jerom (?), 20:18 , 08-Апр-19, (108)

S-box определяет вид нелинейного преобразования У сальсы и чачи нелинейное прео, . (?), 23:14 , 08-Апр-19, (112)

рассеивание и запутывание - какие-то упрощенные определения, S-box - блок по, Sw00p aka Jerom (?), 00:48 , 09-Апр-19, (113)

Чача вроде как быстрее AES если не использовать aes-ni Я не криптоаналитик, един, Ivan_83 (ok), 00:20 , 08-Апр-19, (90) +1
А двумерный А десятимерный extern int N void foo int bar 120 , int xyz 120 , meantraitor (?), 16:21 , 08-Апр-19, (104)

Вы правы, любой массив это указатель Похоже на выстрел в ногу, как и например пе, . (?), 17:31 , 08-Апр-19, (106) +2

Справедливо для C, но не для C , Аноним (60), 07:24 , 07-Апр-19, (62) –1 //

Тут я ошибся , Аноним (60), 07:50 , 07-Апр-19, (63)

Ха-ха, а сколько памяти сожретvoid foo int64_t array 1024 1024 1024 даже страш, meantraitor (?), 16:16 , 08-Апр-19, (103)

Так толсто, что аж тонко , Аноним (22), 16:25 , 06-Апр-19, (22) +1
Так вот случаем защита машин подсчёта голосов в США была реализована не на этой , Аноним (25), 17:32 , 06-Апр-19, (25) –1 //

На этой, на этой А так, как она в открытых исходниках, значит, скоро её соберут, Анонимс (?), 14:38 , 07-Апр-19, (69) –1

А как же Rust, как же без него 128546 , Аноним (-), 21:06 , 06-Апр-19, (44)
Так я не понял, а Rust где , анонас (?), 00:01 , 07-Апр-19, (54) –2 //

Так, как rust ещё молодой язык, то ещсложно , Анонимс (?), 14:41 , 07-Апр-19, (70) //

сложно найти высококвалифицированных специалистов, особенно по криптографии , Анонимс (?), 14:46 , 07-Апр-19, (71)

Математически доказать надежность этой программы, как подавляющего количества др, getfr (?), 00:59 , 12-Апр-19, (122) +1

Сообщения [Сортировка по времени | RSS]

53. "Новая криптографическая библиотека EverCrypt с математически..." –1 +/–

Сообщение от . (?), 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);
Для компилятора нет разницы. Поэтому, чтобы гарантированно не облажаться с выходом за границы понадобится еще статический анализатор.
Нужна ли формальная верификация библиотекам для массового использования? Да.
Нужна ли она в принципе для написания крипты? Нет, так как криптография в софте легко разбивается на функции, изменяющие массив (или структуру) фиксированного размера.
Вот что я пытался сформулировать.

Ответить | Правка | Наверх | Cообщить модератору

59. "Новая криптографическая библиотека EverCrypt с математически..." +/–

Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 02:32

>Нет, так как криптография в софте легко разбивается на функции, изменяющие массив (или структуру) фиксированного размера.
простите, а функции с данными (структурами данных) не работают? как это массив (последовательность), называйте как хотите, можно представить в виде функции без аргумента?

Ответить | Правка | Наверх | Cообщить модератору

72. "Новая криптографическая библиотека EverCrypt с математически..." +/–

Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 14:57

>Операция сложения используется, как единственный источник нелинейности.
нет, нелинейность в шифрах задают так называемые "бент-функции", в том же aes это его S-Box

Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору

74. "Новая криптографическая библиотека EverCrypt с математически..." +1 +/–

Сообщение от . (?), 07-Апр-19, 16:18

Chacha и подобные шифры используют три операции: сложение, xor и побитовый сдвиг. Сложение здесь единственная нелинейная операция. В целом это все дает хорошую защиту от классических методов криптоанализа, основанных на статистике. Но у сложения есть ряд интересных свойств, которые как мне кажется позволяют полностью вскрыть шифры данной конструкции. Естественно, эти свойства сейчас исследуются профессиональными криптографами и в случае обнаружения способа его скорее всего опубликуют.
Aes кстати тоже содержит не самый лучший s-box из всех возможных. Алгебраический иммунитет 2, хотя можно почти при той же нелинейности 3. Здесь подробнее:
https://mailarchive.ietf.org/arch/msg/cfrg/iGeC0IO9K0AGS_AvU...
Bent-функции (максимально нелинейные) это математическая модель, в чистом виде редко применяются.

Ответить | Правка | Наверх | Cообщить модератору

80. "Новая криптографическая библиотека EverCrypt с математически..." +/–

Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 18:18

>Но у сложения есть ряд интересных свойств, которые как мне кажется позволяют полностью вскрыть шифры данной конструкции.
не у сложения (по модулю), а от выбора S-Box

Ответить | Правка | Наверх | Cообщить модератору

82. "Новая криптографическая библиотека EverCrypt с математически..." +/–

Сообщение от . (?), 07-Апр-19, 19:03

Оригинальная чача, s-box'ов там нет.
https://github.com/odzhan/tinycrypt/blob/master/stream/chach...

Ответить | Правка | Наверх | Cообщить модератору

84. "Новая криптографическая библиотека EverCrypt с математически..." +/–

Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 20:00

ChaCha State это и есть фактический S-box

Ответить | Правка | Наверх | Cообщить модератору

85. "Новая криптографическая библиотека EverCrypt с математически..." +/–

Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 20:07

добавлю, почему тогда эти начальные стейты в сальсе были одни, а в чачача ДЖБ их изменил?

Ответить | Правка | К родителю #82 | Наверх | Cообщить модератору

91. "Новая криптографическая библиотека EverCrypt с математически..." +/–

Сообщение от Ivan_83 (ok), 08-Апр-19, 00:21

> добавлю, почему тогда эти начальные стейты в сальсе были одни, а в
> чачача ДЖБ их изменил?
Напиши ему и спроси.

Ответить | Правка | Наверх | Cообщить модератору

97. "Новая криптографическая библиотека EverCrypt с математически..." –1 +/–

Сообщение от товарищ майор (?), 08-Апр-19, 12:18

наши коллеги из NSA очень попросили.

Ответить | Правка | К родителю #85 | Наверх | Cообщить модератору

108. "Новая криптографическая библиотека EverCrypt с математически..." +/–

Сообщение от Sw00p aka Jerom (?), 08-Апр-19, 20:18

Так это как в случае со слабым S-box
Цитата из вики:
"В 2008 году Daniel Bernstein опубликовал родственное семейство поточных шифров под названием ChaCha, целью которого было улучшение перемешивания данных за один раунд и, предположительно, улучшение криптостойкости при той же или даже немного большей скорости."

Ответить | Правка | Наверх | Cообщить модератору

112. "Новая криптографическая библиотека EverCrypt с математически..." +/–

Сообщение от . (?), 08-Апр-19, 23:14

S-box определяет вид нелинейного преобразования. У сальсы и чачи нелинейное преобразование одно и то же - сложение. Меняются константы, линейные преобразования (битовые сдвиги), а так же порядок применения сложения. То есть это разные шифры, но суть у них одна.
По Шеннону для шифрования комбинируют рассеивание и запутывание.
Рассеивание - распространение влияния одного бита на максимальное количество других, причем равномерно. Линейные операции, в общем случае умножение на матрицу.
Запутывание - включение битов в как можно более сложные уравнения. Нелинейные операции. Однако нелинейность это только одно из свойств.

Ответить | Правка | Наверх | Cообщить модератору

113. "Новая криптографическая библиотека EverCrypt с математически..." +/–

Сообщение от Sw00p aka Jerom (?), 09-Апр-19, 00:48

> По Шеннону для шифрования комбинируют рассеивание и запутывание.
"рассеивание и запутывание" - какие-то "упрощенные" определения, S-box - блок подстановок (замен) (нелинейные), P-box - блок перестановок (линейные). (SP-сеть, Сеть Фейстеля)

Ответить | Правка | Наверх | Cообщить модератору

90. "Новая криптографическая библиотека EverCrypt с математически..." +1 +/–

Сообщение от Ivan_83 (ok), 08-Апр-19, 00:20

> Согласен. Но все же создалось некоторое впечатление, что сместить пытаются не rc4,
> а именно aes.
Чача вроде как быстрее AES если не использовать aes-ni.
> В чем может быть подвох сальса-подобных шифров, при условии что от классического
> анализа они защищены? Операция сложения используется, как единственный источник нелинейности.
> При этом само сложение обладает рядом свойств, которые гипотетически могут облегчить
> анализ.
Я не криптоаналитик, единственный подвох который я знаю - потоковые шрифты далеко не всегда можно применять в различных конструкциях вместо блочных.
Например в полнодисковом шифровании по схеме XTS можно только блочный, потому что поточный там из за xor в самой XTS даёт совсем не тот результат который ожидаешь :)

Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору

104. "Новая криптографическая библиотека EverCrypt с математически..." +/–

Сообщение от meantraitor (?), 08-Апр-19, 16:21

> Одномерный массив в си всегда передается как указатель
А двумерный? А десятимерный?
> Поэтому, чтобы гарантированно не облажаться с выходом за границы понадобится еще статический
> анализатор.
extern int N;
void foo(int bar[120], int xyz[120]) {
for (int i = 0; i < N; ++i)
bar[i] = xyz[i];
}
В лучшем случае, статический анализатор предупреждение выдаст.

Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору

106. "Новая криптографическая библиотека EverCrypt с математически..." +2 +/–

Сообщение от . (?), 08-Апр-19, 17:31

> А двумерный? А десятимерный?
Вы правы, любой массив это указатель.
> extern int N;
Похоже на выстрел в ногу, как и например передача в функцию &(bar[N]). Получается много условностей, но все же гарантировано безопасный кодинг на си мне представляется возможным в некоторых случаях. А именно, когда код может быть полностью проверен статическим анализатором.

Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру


	53. "Новая криптографическая библиотека EverCrypt с математически..."	–1 +/–
	Сообщение от . (?), 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); Для компилятора нет разницы. Поэтому, чтобы гарантированно не облажаться с выходом за границы понадобится еще статический анализатор. Нужна ли формальная верификация библиотекам для массового использования? Да. Нужна ли она в принципе для написания крипты? Нет, так как криптография в софте легко разбивается на функции, изменяющие массив (или структуру) фиксированного размера. Вот что я пытался сформулировать.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	59. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 02:32
	>Нет, так как криптография в софте легко разбивается на функции, изменяющие массив (или структуру) фиксированного размера. простите, а функции с данными (структурами данных) не работают? как это массив (последовательность), называйте как хотите, можно представить в виде функции без аргумента?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	72. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 14:57
	>Операция сложения используется, как единственный источник нелинейности. нет, нелинейность в шифрах задают так называемые "бент-функции", в том же aes это его S-Box
	Ответить \| Правка \| К родителю #53 \| Наверх \| Cообщить модератору


	74. "Новая криптографическая библиотека EverCrypt с математически..."	+1 +/–
	Сообщение от . (?), 07-Апр-19, 16:18
	Chacha и подобные шифры используют три операции: сложение, xor и побитовый сдвиг. Сложение здесь единственная нелинейная операция. В целом это все дает хорошую защиту от классических методов криптоанализа, основанных на статистике. Но у сложения есть ряд интересных свойств, которые как мне кажется позволяют полностью вскрыть шифры данной конструкции. Естественно, эти свойства сейчас исследуются профессиональными криптографами и в случае обнаружения способа его скорее всего опубликуют. Aes кстати тоже содержит не самый лучший s-box из всех возможных. Алгебраический иммунитет 2, хотя можно почти при той же нелинейности 3. Здесь подробнее: https://mailarchive.ietf.org/arch/msg/cfrg/iGeC0IO9K0AGS_AvU... Bent-функции (максимально нелинейные) это математическая модель, в чистом виде редко применяются.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	80. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 18:18
	>Но у сложения есть ряд интересных свойств, которые как мне кажется позволяют полностью вскрыть шифры данной конструкции. не у сложения (по модулю), а от выбора S-Box
	Ответить \| Правка \| Наверх \| Cообщить модератору


	82. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от . (?), 07-Апр-19, 19:03
	Оригинальная чача, s-box'ов там нет. https://github.com/odzhan/tinycrypt/blob/master/stream/chach...
	Ответить \| Правка \| Наверх \| Cообщить модератору


	84. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 20:00
	ChaCha State это и есть фактический S-box
	Ответить \| Правка \| Наверх \| Cообщить модератору


	85. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 20:07
	добавлю, почему тогда эти начальные стейты в сальсе были одни, а в чачача ДЖБ их изменил?
	Ответить \| Правка \| К родителю #82 \| Наверх \| Cообщить модератору


	91. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от Ivan_83 (ok), 08-Апр-19, 00:21
	> добавлю, почему тогда эти начальные стейты в сальсе были одни, а в > чачача ДЖБ их изменил? Напиши ему и спроси.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	97. "Новая криптографическая библиотека EverCrypt с математически..."	–1 +/–
	Сообщение от товарищ майор (?), 08-Апр-19, 12:18
	наши коллеги из NSA очень попросили.
	Ответить \| Правка \| К родителю #85 \| Наверх \| Cообщить модератору


	108. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от Sw00p aka Jerom (?), 08-Апр-19, 20:18
	Так это как в случае со слабым S-box Цитата из вики: "В 2008 году Daniel Bernstein опубликовал родственное семейство поточных шифров под названием ChaCha, целью которого было улучшение перемешивания данных за один раунд и, предположительно, улучшение криптостойкости при той же или даже немного большей скорости."
	Ответить \| Правка \| Наверх \| Cообщить модератору


	112. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от . (?), 08-Апр-19, 23:14
	S-box определяет вид нелинейного преобразования. У сальсы и чачи нелинейное преобразование одно и то же - сложение. Меняются константы, линейные преобразования (битовые сдвиги), а так же порядок применения сложения. То есть это разные шифры, но суть у них одна. По Шеннону для шифрования комбинируют рассеивание и запутывание. Рассеивание - распространение влияния одного бита на максимальное количество других, причем равномерно. Линейные операции, в общем случае умножение на матрицу. Запутывание - включение битов в как можно более сложные уравнения. Нелинейные операции. Однако нелинейность это только одно из свойств.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	113. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от Sw00p aka Jerom (?), 09-Апр-19, 00:48
	> По Шеннону для шифрования комбинируют рассеивание и запутывание. "рассеивание и запутывание" - какие-то "упрощенные" определения, S-box - блок подстановок (замен) (нелинейные), P-box - блок перестановок (линейные). (SP-сеть, Сеть Фейстеля)
	Ответить \| Правка \| Наверх \| Cообщить модератору


	90. "Новая криптографическая библиотека EverCrypt с математически..."	+1 +/–
	Сообщение от Ivan_83 (ok), 08-Апр-19, 00:20
	> Согласен. Но все же создалось некоторое впечатление, что сместить пытаются не rc4, > а именно aes. Чача вроде как быстрее AES если не использовать aes-ni. > В чем может быть подвох сальса-подобных шифров, при условии что от классического > анализа они защищены? Операция сложения используется, как единственный источник нелинейности. > При этом само сложение обладает рядом свойств, которые гипотетически могут облегчить > анализ. Я не криптоаналитик, единственный подвох который я знаю - потоковые шрифты далеко не всегда можно применять в различных конструкциях вместо блочных. Например в полнодисковом шифровании по схеме XTS можно только блочный, потому что поточный там из за xor в самой XTS даёт совсем не тот результат который ожидаешь :)
	Ответить \| Правка \| К родителю #53 \| Наверх \| Cообщить модератору


	104. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от meantraitor (?), 08-Апр-19, 16:21
	> Одномерный массив в си всегда передается как указатель А двумерный? А десятимерный? > Поэтому, чтобы гарантированно не облажаться с выходом за границы понадобится еще статический > анализатор. extern int N; void foo(int bar[120], int xyz[120]) { for (int i = 0; i < N; ++i) bar[i] = xyz[i]; } В лучшем случае, статический анализатор предупреждение выдаст.
	Ответить \| Правка \| К родителю #53 \| Наверх \| Cообщить модератору


	106. "Новая криптографическая библиотека EverCrypt с математически..."	+2 +/–
	Сообщение от . (?), 08-Апр-19, 17:31
	> А двумерный? А десятимерный? Вы правы, любой массив это указатель. > extern int N; Похоже на выстрел в ногу, как и например передача в функцию &(bar[N]). Получается много условностей, но все же гарантировано безопасный кодинг на си мне представляется возможным в некоторых случаях. А именно, когда код может быть полностью проверен статическим анализатором.
	Ответить \| Правка \| Наверх \| Cообщить модератору