Вариант для распечатки |
Пред. тема | След. тема | ||
Форум Разговоры, обсуждение новостей | |||
---|---|---|---|
Изначальное сообщение | [ Отслеживать ] |
"Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от opennews (??), 06-Апр-19, 12:22 | ||
Исследователи из государственного института исследований в информатике и автоматике (INRIA), подразделения Microsoft Research и университета Карнеги — Меллона представили (https://jonathan.protzenko.fr/2019/04/02/evercrypt-alpha1.html) первый тестовый выпуск (https://github.com/project-everest/hacl-star/releases) криптографической библиотеки EverCrypt (https://github.com/project-everest/hacl-star/blob/fstar-mast... развиваемой в рамках проекта Everest (https://project-everest.github.io/) и применяющей математические методы формальной верификации надёжности. По своим возможностям и производительности EverCrypt очень близка к существующим криптографическим библиотекам (OpenSSL), но в отличие от них предоставляет дополнительные гарантии надёжности и безопасности. | ||
Ответить | Правка | Cообщить модератору |
Оглавление |
Сообщения | [Сортировка по времени | RSS] |
1. "Новая криптографическая библиотека EverCrypt с математически..." | –4 +/– | |
Сообщение от Аноним (1), 06-Апр-19, 12:22 | ||
Интересно, как математически доказать потокобезопасность. | ||
Ответить | Правка | Наверх | Cообщить модератору |
2. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от адмирал третьего флота очевидно (?), 06-Апр-19, 12:42 | ||
пока никак. увы. | ||
Ответить | Правка | Наверх | Cообщить модератору |
23. "Новая криптографическая библиотека EverCrypt с математически..." | +8 +/– | |
Сообщение от Sw00p aka Jerom (?), 06-Апр-19, 17:27 | ||
Дайте сначала определение "потокобезопасность"-и | ||
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору |
47. "Новая криптографическая библиотека EverCrypt с математически..." | +6 +/– | |
Сообщение от Аноним (47), 06-Апр-19, 21:55 | ||
Многопоточные алгоритмы невозможно описать математически? | ||
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору |
3. "Новая криптографическая библиотека EverCrypt с математически..." | +8 +/– | |
Сообщение от nc (ok), 06-Апр-19, 12:48 | ||
Какой еще Kremlin? | ||
Ответить | Правка | Наверх | Cообщить модератору |
5. "Новая криптографическая библиотека EverCrypt с математически..." | +5 +/– | |
Сообщение от Анонимный селебрити (?), 06-Апр-19, 12:54 | ||
Там только его рука :) | ||
Ответить | Правка | Наверх | Cообщить модератору |
27. "Новая криптографическая библиотека EverCrypt с математически..." | +1 +/– | |
Сообщение от Аноним (27), 06-Апр-19, 18:34 | ||
Т. майор приложил свою лапу к созданию транслятора. | ||
Ответить | Правка | Наверх | Cообщить модератору |
4. "Новая криптографическая библиотека EverCrypt с математически..." | +7 +/– | |
Сообщение от Анонимный селебрити (?), 06-Апр-19, 12:53 | ||
Дейкстра одобряет | ||
Ответить | Правка | Наверх | Cообщить модератору |
6. "Новая криптографическая библиотека EverCrypt с математически..." | +2 +/– | |
Сообщение от АНБ (?), 06-Апр-19, 13:10 | ||
> В первом альфа-выпуске уже в основной массе завершена верификация кода, но ещё | ||
Ответить | Правка | Наверх | Cообщить модератору |
7. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Аноним (7), 06-Апр-19, 13:26 | ||
> чисто академическая поделка | ||
Ответить | Правка | Наверх | Cообщить модератору |
9. "Новая криптографическая библиотека EverCrypt с математически..." | +9 +/– | |
Сообщение от пох (?), 06-Апр-19, 13:37 | ||
> На фоне быстрого и проверенного годами OpenSSL | ||
Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору |
34. "Новая криптографическая библиотека EverCrypt с математически..." | +1 +/– | |
Сообщение от myhand (ok), 06-Апр-19, 19:12 | ||
АНБ проверило. А ты хто такой? | ||
Ответить | Правка | Наверх | Cообщить модератору |
41. "Новая криптографическая библиотека EverCrypt с математически..." | +1 +/– | |
Сообщение от пох (?), 06-Апр-19, 20:52 | ||
у ентого вашего "АНБ" чекистский значок, кажись, на лацкане... | ||
Ответить | Правка | Наверх | Cообщить модератору |
48. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от myhand (ok), 06-Апр-19, 22:21 | ||
А вы каких фашистов выбираете? | ||
Ответить | Правка | Наверх | Cообщить модератору |
18. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от Аноним (18), 06-Апр-19, 15:13 | ||
Libressl лучше | ||
Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору |
73. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от dabdabya (?), 07-Апр-19, 15:27 | ||
Кто-то минус влепил,но он действительно лучше. Libressl не требует perl для сборки и при сборке с -O3 быстрее того же openssl,который тоже собран с -O3 | ||
Ответить | Правка | Наверх | Cообщить модератору |
123. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Аноним (123), 12-Апр-19, 12:39 | ||
Только BoringSSL, только хардкор! | ||
Ответить | Правка | К родителю #18 | Наверх | Cообщить модератору |
35. "Новая криптографическая библиотека EverCrypt с математически..." | +1 +/– | |
Сообщение от ФАПСИ (?), 06-Апр-19, 19:16 | ||
Абсолютно с вами согласен, коллега! | ||
Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору |
11. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от X4asd (ok), 06-Апр-19, 14:06 | ||
> Код на языке F* распространяется под лицензией Apache 2.0, а итоговые модули на Си и ассемблере под лицензией MIT | ||
Ответить | Правка | Наверх | Cообщить модератору |
14. "Новая криптографическая библиотека EverCrypt с математически..." | –2 +/– | |
Сообщение от пох (?), 06-Апр-19, 14:25 | ||
> как это понять? | ||
Ответить | Правка | Наверх | Cообщить модератору |
21. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Аноним (21), 06-Апр-19, 15:42 | ||
> за скомпилированный они меньше переживают | ||
Ответить | Правка | Наверх | Cообщить модератору |
26. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от пох (?), 06-Апр-19, 17:52 | ||
> О скопмилированном коде тут речь не идет. | ||
Ответить | Правка | Наверх | Cообщить модератору |
30. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Аноним (27), 06-Апр-19, 18:53 | ||
>С кодом, который ты накомпилируешь сам из F* - только в рамках apache license. | ||
Ответить | Правка | Наверх | Cообщить модератору |
51. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от пох (?), 06-Апр-19, 23:17 | ||
> Так что можешь хоть под GPL прелицензировать, то, что сам странслировал с | ||
Ответить | Правка | Наверх | Cообщить модератору |
31. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 06-Апр-19, 18:58 | ||
речь идет именно о сгенерированном Си коде, никакой компиляции | ||
Ответить | Правка | К родителю #26 | Наверх | Cообщить модератору |
40. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от Аноним (40), 06-Апр-19, 20:33 | ||
> речь идет именно о сгенерированном Си коде, никакой компиляции | ||
Ответить | Правка | Наверх | Cообщить модератору |
45. "Новая криптографическая библиотека EverCrypt с математически..." | –2 +/– | |
Сообщение от Sw00p aka Jerom (?), 06-Апр-19, 21:12 | ||
>с потерей человекочитаемости называется компиляцией | ||
Ответить | Правка | Наверх | Cообщить модератору |
49. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от пох (?), 06-Апр-19, 22:50 | ||
> пс: цитата из вики, для особо одаренных | ||
Ответить | Правка | Наверх | Cообщить модератору |
57. "Новая криптографическая библиотека EverCrypt с математически..." | +2 +/– | |
Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 00:35 | ||
>не посещавшие даже лекции для первокурсников про теорию компиляторов. | ||
Ответить | Правка | Наверх | Cообщить модератору |
58. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 00:37 | ||
про первокурсников, а вы собственно из серии программистов которым "не нужна математика"? | ||
Ответить | Правка | К родителю #49 | Наверх | Cообщить модератору |
68. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от t_ (?), 07-Апр-19, 12:53 | ||
Самое забавное, что он прав и в вики это тоже верно написано. | ||
Ответить | Правка | К родителю #49 | Наверх | Cообщить модератору |
75. "Новая криптографическая библиотека EverCrypt с математически..." | +1 +/– | |
Сообщение от Аноним84701 (ok), 07-Апр-19, 16:46 | ||
Девочки, не ссорьтесь! | ||
Ответить | Правка | Наверх | Cообщить модератору |
81. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 18:58 | ||
>Т.е. компилятор тут - частный случай/разновидность транслятора. | ||
Ответить | Правка | Наверх | Cообщить модератору |
83. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Аноним84701 (ok), 07-Апр-19, 19:41 | ||
>>Т.е. компилятор тут - частный случай/разновидность транслятора. | ||
Ответить | Правка | Наверх | Cообщить модератору |
86. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 20:25 | ||
>Э-э-э не-не, ассемблер как раз обычно вне таких классификаций и стоит особняком. | ||
Ответить | Правка | Наверх | Cообщить модератору |
87. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Аноним84701 (ok), 07-Апр-19, 20:51 | ||
> нет не стоит, и он от ЯП других ничем не отличается, | ||
Ответить | Правка | К родителю #86 | Наверх | Cообщить модератору |
88. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 21:28 | ||
>Конечная цель - в смысле результата работы самого компилятора: в оригинале "compiler target". | ||
Ответить | Правка | К родителю #87 | Наверх | Cообщить модератору |
94. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Аноним (94), 08-Апр-19, 11:57 | ||
>>Т.е. компилятор тут - частный случай/разновидность транслятора. | ||
Ответить | Правка | К родителю #81 | Наверх | Cообщить модератору |
105. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от Sw00p aka Jerom (?), 08-Апр-19, 16:52 | ||
>первые версии компилировали исходный код в исходники для других ассемблеров. | ||
Ответить | Правка | Наверх | Cообщить модератору |
116. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Аноним (94), 09-Апр-19, 07:59 | ||
>>первые версии компилировали исходный код в исходники для других ассемблеров. | ||
Ответить | Правка | К родителю #105 | Наверх | Cообщить модератору |
99. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от t_ (?), 08-Апр-19, 13:59 | ||
Ты молодец. Открыл нужную книгу, выделил слово translate, но вывод сделал неверный. | ||
Ответить | Правка | К родителю #75 | Наверх | Cообщить модератору |
109. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Аноним84701 (ok), 08-Апр-19, 21:56 | ||
> Ты молодец. Открыл нужную книгу, выделил слово translate, но вывод сделал неверный. | ||
Ответить | Правка | Наверх | Cообщить модератору |
114. "Новая криптографическая библиотека EverCrypt с математически..." | +2 +/– | |
Сообщение от t_ (?), 09-Апр-19, 01:21 | ||
> A translator, in software programming terms, is a generic term that could refer to a compiler, assembler, or interpreter; | ||
Ответить | Правка | Наверх | Cообщить модератору |
117. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 09-Апр-19, 18:41 | ||
>трансляция отвечает за перевод данных из исходной формы в результирующую. | ||
Ответить | Правка | К родителю #114 | Наверх | Cообщить модератору |
118. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от t_ (?), 10-Апр-19, 02:38 | ||
Изначально верный ответ дал Аноним84701 :D | ||
Ответить | Правка | К родителю #117 | Наверх | Cообщить модератору |
119. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 10-Апр-19, 15:03 | ||
Если приводить цитаты из вики, то повторюсь: | ||
Ответить | Правка | К родителю #118 | Наверх | Cообщить модератору |
120. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от t_ (?), 10-Апр-19, 23:40 | ||
> А теперь повторно задам вопрос: Трансляция из Python -> C, C - является "машинно-ориентированным языком"? Если нет, то как можно этот процесс трансляции называть компиляцией? | ||
Ответить | Правка | К родителю #119 | Наверх | Cообщить модератору |
121. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 11-Апр-19, 01:17 | ||
>компиляция не требует обязательного результата в виде машинно-ориентированного языка | ||
Ответить | Правка | К родителю #120 | Наверх | Cообщить модератору |
60. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Аноним (60), 07-Апр-19, 07:06 | ||
> пс: цитата из вики, для особо одаренных | ||
Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору |
79. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Аноним84701 (ok), 07-Апр-19, 17:35 | ||
> )))) пройдите по ссылке указанной выше, и вовсе не компиляция, а трансляция (кодогенерация) | ||
Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору |
50. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от пох (?), 06-Апр-19, 23:07 | ||
> Автоматическая генерация кода на одном языке из исходников на другом с потерей | ||
Ответить | Правка | К родителю #40 | Наверх | Cообщить модератору |
66. "Новая криптографическая библиотека EverCrypt с математически..." | +1 +/– | |
Сообщение от myhand (ok), 07-Апр-19, 11:11 | ||
> вы только в википедию этот бред теперь не пишите вместо того | ||
Ответить | Правка | Наверх | Cообщить модератору |
101. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от meantraitor (?), 08-Апр-19, 15:59 | ||
> Собственно, вон есть такой прекрасный llvm - производит он нечто примерно такое: | ||
Ответить | Правка | К родителю #50 | Наверх | Cообщить модератору |
111. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от пох (?), 08-Апр-19, 23:10 | ||
> Вы сравниваете ежа с ужом. | ||
Ответить | Правка | Наверх | Cообщить модератору |
124. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от meantraitor (?), 12-Апр-19, 13:00 | ||
> вы, похоже, не владеете темой. | ||
Ответить | Правка | Наверх | Cообщить модератору |
42. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от пох (?), 06-Апр-19, 20:54 | ||
перепись безграмотных "программистов" на опеннете... | ||
Ответить | Правка | К родителю #31 | Наверх | Cообщить модератору |
46. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от Sw00p aka Jerom (?), 06-Апр-19, 21:13 | ||
отмазки одни, давай по делу | ||
Ответить | Правка | Наверх | Cообщить модератору |
102. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от meantraitor (?), 08-Апр-19, 16:03 | ||
Тут он все правильно сказал. | ||
Ответить | Правка | Наверх | Cообщить модератору |
107. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 08-Апр-19, 20:16 | ||
чаво он там правильного сказал? У него трансляция с одного исходного языка на другой исходный язык - называется компиляцией. | ||
Ответить | Правка | Наверх | Cообщить модератору |
100. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от meantraitor (?), 08-Апр-19, 15:42 | ||
> о, очередной "программист" самоучка? Компилятор с F на C - вполне себе компилятор, и код этот - | ||
Ответить | Правка | К родителю #26 | Наверх | Cообщить модератору |
115. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от t_ (?), 09-Апр-19, 01:42 | ||
Он тоже прав. :) | ||
Ответить | Правка | Наверх | Cообщить модератору |
19. "Новая криптографическая библиотека EverCrypt с математически..." | +2 +/– | |
Сообщение от KonstantinB (ok), 06-Апр-19, 15:22 | ||
Полагаю, так сделано потому, что Apache 2.0 требует явного указания на то, какие файлы модифицированы - чтобы понимать, были ли внесены изменены в формальные спецификации доказательства. | ||
Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору |
37. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от X4asd (ok), 06-Апр-19, 19:38 | ||
> Полагаю, так сделано потому, что Apache 2.0 требует явного указания на то, какие файлы модифицированы - чтобы понимать, были ли внесены изменены в формальные спецификации доказательства. | ||
Ответить | Правка | Наверх | Cообщить модератору |
43. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от пох (?), 06-Апр-19, 20:58 | ||
> а кому пришло бы в глову модифицировать НЕ исходный код | ||
Ответить | Правка | Наверх | Cообщить модератору |
55. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от KonstantinB (ok), 07-Апр-19, 00:18 | ||
> Что там у wireguard не смотрел, в виду его феерической ненужности | ||
Ответить | Правка | Наверх | Cообщить модератору |
93. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от X4asd (ok), 08-Апр-19, 11:33 | ||
>> а кому пришло бы в глову модифицировать НЕ исходный код | ||
Ответить | Правка | К родителю #43 | Наверх | Cообщить модератору |
110. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от пох (?), 08-Апр-19, 22:42 | ||
> я же говорил про изменение НЕисходного кода | ||
Ответить | Правка | Наверх | Cообщить модератору |
56. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от KonstantinB (ok), 07-Апр-19, 00:20 | ||
> а кому пришло бы в глову модифицировать НЕ исходный код а получившийся скомпилированный вариант? | ||
Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору |
92. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от X4asd (ok), 08-Апр-19, 11:30 | ||
>> а кому пришло бы в глову модифицировать НЕ исходный код а получившийся скомпилированный вариант? | ||
Ответить | Правка | Наверх | Cообщить модератору |
15. "Новая криптографическая библиотека EverCrypt с математически..." | –4 +/– | |
Сообщение от кругомвраги (?), 06-Апр-19, 14:46 | ||
>Процесс верификации сводится к определению подробных спецификаций... | ||
Ответить | Правка | Наверх | Cообщить модератору |
32. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 06-Апр-19, 19:03 | ||
в смысле неразглашаемая? | ||
Ответить | Правка | Наверх | Cообщить модератору |
61. "Новая криптографическая библиотека EverCrypt с математически..." | +1 +/– | |
Сообщение от Аноним (60), 07-Апр-19, 07:21 | ||
> в смысле неразглашаемая? | ||
Ответить | Правка | Наверх | Cообщить модератору |
125. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от кругомвраги (?), 12-Апр-19, 21:04 | ||
библиотека это по сути чёрный ящик причем для всех и даже авторов т.к. для знания и понимания работы нужно знать и программирование со всеми фишками и особенностями и криптографию чтоб врубаться и реализовывать её правильно. | ||
Ответить | Правка | К родителю #32 | Наверх | Cообщить модератору |
126. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 13-Апр-19, 01:33 | ||
> нам предлагается набор спецификаций которым должен соответствовать ящик | ||
Ответить | Правка | Наверх | Cообщить модератору |
16. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от . (?), 06-Апр-19, 15:05 | ||
> гарантирует безопасную работу с памятью и отсутствие ошибок, приводящих к переполнению буфера, разыменованию указателей, обращению к уже освобождённым областям памяти или двойному освобождению блоков памяти | ||
Ответить | Правка | Наверх | Cообщить модератору |
17. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от Аноним (17), 06-Апр-19, 15:11 | ||
Напишите на массивах хотя бы парсер сертификатов X.509, а мы посмотрим. | ||
Ответить | Правка | Наверх | Cообщить модератору |
20. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от . (?), 06-Апр-19, 15:36 | ||
В сабжевой библиотеке этого тоже нет. Сам я со структурой сертификатов не разбирался, но ясно, что парсинг нужен только если она не статическая. В таких случаях используют дерево и следовательно работу с памятью, а парсить на массивах извращение. | ||
Ответить | Правка | Наверх | Cообщить модератору |
38. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Ivan_83 (ok), 06-Апр-19, 19:42 | ||
1. При такой передаче много лишнего копирования памяти. | ||
Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору |
53. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от . (?), 06-Апр-19, 23:46 | ||
> Поскольку другой поточный шифр RC4, которые уже везде обьявили дырявым, то кроме чачи/сальсы ничего и нет. | ||
Ответить | Правка | Наверх | Cообщить модератору |
59. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 02:32 | ||
>Нет, так как криптография в софте легко разбивается на функции, изменяющие массив (или структуру) фиксированного размера. | ||
Ответить | Правка | Наверх | Cообщить модератору |
72. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 14:57 | ||
>Операция сложения используется, как единственный источник нелинейности. | ||
Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору |
74. "Новая криптографическая библиотека EverCrypt с математически..." | +1 +/– | |
Сообщение от . (?), 07-Апр-19, 16:18 | ||
Chacha и подобные шифры используют три операции: сложение, xor и побитовый сдвиг. Сложение здесь единственная нелинейная операция. В целом это все дает хорошую защиту от классических методов криптоанализа, основанных на статистике. Но у сложения есть ряд интересных свойств, которые как мне кажется позволяют полностью вскрыть шифры данной конструкции. Естественно, эти свойства сейчас исследуются профессиональными криптографами и в случае обнаружения способа его скорее всего опубликуют. | ||
Ответить | Правка | Наверх | Cообщить модератору |
80. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 07-Апр-19, 18:18 | ||
>Но у сложения есть ряд интересных свойств, которые как мне кажется позволяют полностью вскрыть шифры данной конструкции. | ||
Ответить | Правка | Наверх | Cообщить модератору |
82. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от . (?), 07-Апр-19, 19:03 | ||
Оригинальная чача, s-box'ов там нет. | ||
Ответить | Правка | Наверх | 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 | ||
Ответить | Правка | Наверх | Cообщить модератору |
112. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от . (?), 08-Апр-19, 23:14 | ||
S-box определяет вид нелинейного преобразования. У сальсы и чачи нелинейное преобразование одно и то же - сложение. Меняются константы, линейные преобразования (битовые сдвиги), а так же порядок применения сложения. То есть это разные шифры, но суть у них одна. | ||
Ответить | Правка | Наверх | Cообщить модератору |
113. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Sw00p aka Jerom (?), 09-Апр-19, 00:48 | ||
> По Шеннону для шифрования комбинируют рассеивание и запутывание. | ||
Ответить | Правка | Наверх | Cообщить модератору |
90. "Новая криптографическая библиотека EverCrypt с математически..." | +1 +/– | |
Сообщение от Ivan_83 (ok), 08-Апр-19, 00:20 | ||
> Согласен. Но все же создалось некоторое впечатление, что сместить пытаются не rc4, | ||
Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору |
104. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от meantraitor (?), 08-Апр-19, 16:21 | ||
> Одномерный массив в си всегда передается как указатель | ||
Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору |
106. "Новая криптографическая библиотека EverCrypt с математически..." | +2 +/– | |
Сообщение от . (?), 08-Апр-19, 17:31 | ||
> А двумерный? А десятимерный? | ||
Ответить | Правка | Наверх | Cообщить модератору |
62. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от Аноним (60), 07-Апр-19, 07:24 | ||
> 1. При такой передаче много лишнего копирования памяти. | ||
Ответить | Правка | К родителю #38 | Наверх | Cообщить модератору |
63. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Аноним (60), 07-Апр-19, 07:50 | ||
>> 1. При такой передаче много лишнего копирования памяти. | ||
Ответить | Правка | Наверх | Cообщить модератору |
103. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от meantraitor (?), 08-Апр-19, 16:16 | ||
> 1. При такой передаче много лишнего копирования памяти. | ||
Ответить | Правка | К родителю #38 | Наверх | Cообщить модератору |
22. "Новая криптографическая библиотека EverCrypt с математически..." | +1 +/– | |
Сообщение от Аноним (22), 06-Апр-19, 16:25 | ||
>доказательства надежности | ||
Ответить | Правка | Наверх | Cообщить модератору |
25. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от Аноним (25), 06-Апр-19, 17:32 | ||
>KreMLin | ||
Ответить | Правка | Наверх | Cообщить модератору |
69. "Новая криптографическая библиотека EverCrypt с математически..." | –1 +/– | |
Сообщение от Анонимс (?), 07-Апр-19, 14:38 | ||
На этой, на этой. А так, как она в открытых исходниках, значит, скоро её соберут мантейнеры и включат во все дистрибутивы мира. Ну, вы теперь понимаете, кто самый могущественный в мире и кто может свергать и назначать президентов в любой стране. | ||
Ответить | Правка | Наверх | Cообщить модератору |
44. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Аноним (-), 06-Апр-19, 21:06 | ||
> Например, соответствие спецификации гарантирует безопасную работу с памятью и отсутствие ошибок, приводящих к переполнению буфера, разыменованию указателей, обращению к уже освобождённым областям памяти или двойному освобождению блоков памяти. | ||
Ответить | Правка | Наверх | Cообщить модератору |
54. "Новая криптографическая библиотека EverCrypt с математически..." | –2 +/– | |
Сообщение от анонас (?), 07-Апр-19, 00:01 | ||
Так я не понял, а Rust где? | ||
Ответить | Правка | Наверх | Cообщить модератору |
70. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Анонимс (?), 07-Апр-19, 14:41 | ||
Так, как rust ещё молодой язык, то ещсложно | ||
Ответить | Правка | Наверх | Cообщить модератору |
71. "Новая криптографическая библиотека EverCrypt с математически..." | +/– | |
Сообщение от Анонимс (?), 07-Апр-19, 14:46 | ||
сложно найти высококвалифицированных специалистов, особенно по криптографии. | ||
Ответить | Правка | Наверх | Cообщить модератору |
122. "Новая криптографическая библиотека EverCrypt с математически..." | +1 +/– | |
Сообщение от getfr (?), 12-Апр-19, 00:59 | ||
Математически доказать надежность этой программы, как подавляющего количества других невозможно. Даже если использовать теорию правильности программ | ||
Ответить | Правка | Наверх | Cообщить модератору |
Архив | Удалить |
Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |