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

Новая криптографическая библиотека 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 1,3,4,6,11,15,16,22,25,44,54,122

Сообщения

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

	19. "Новая криптографическая библиотека EverCrypt с математически..."	+2 +/–
	Сообщение от KonstantinB (ok), 06-Апр-19, 15:22
	Полагаю, так сделано потому, что Apache 2.0 требует явного указания на то, какие файлы модифицированы - чтобы понимать, были ли внесены изменены в формальные спецификации доказательства. Сами себе они доверяют и хотят обеспечить нтеграцию в проекты с несовместимой с Apache 2.0 лицензией. А вот скомпилированный кем-то другим код будет уже под Apache 2.0, и если в спецификации - или напрямую в сгенерированный код - были внесены изменения, это придется явно указать.
	Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

	37. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от X4asd (ok), 06-Апр-19, 19:38
	> Полагаю, так сделано потому, что Apache 2.0 требует явного указания на то, какие файлы модифицированы - чтобы понимать, были ли внесены изменены в формальные спецификации доказательства. а кому пришло бы в глову модифицировать НЕ исходный код а получившийся скомпилированный вариант? я думал такое желание было только у васянов которые делали ZverDVD
	Ответить | Правка | Наверх | Cообщить модератору

	43. "Новая криптографическая библиотека EverCrypt с математически..."	–1 +/–
	Сообщение от пох (?), 06-Апр-19, 20:58
	> а кому пришло бы в глову модифицировать НЕ исходный код например, вот Мозилле - пришло. Не всегда получается чужой исходник вот так, не модифицируя, встроить в свою сложную (и мутную) библиотеку.  Что там у wireguard не смотрел, в виду его феерической ненужности, но, если считать изменения ради форматирования и сответствию дереву проекта - наверняка меняли. до Эвереста (в смысле до верифицированной целиком замены openssl) - покамест как до китая раком, да и не зря они такое название выбрали - вряд ли вершина будет достигнута в обозримом будущем, а чтобы использовать части - их надо, как минимум, выковырять - уже изменение.
	Ответить | Правка | Наверх | Cообщить модератору

	55. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от KonstantinB (ok), 07-Апр-19, 00:18
	> Что там у wireguard не смотрел, в виду его феерической ненужности Как говорили в одной древней любительской сети, "отучаемся говорить за всех". > наверняка меняли Менял сам автор так, как его попросили. > до верифицированной целиком замены openssl) - покамест как до китая раком Ясен пень. Openssl пишется уже 20 с гаком лет. Но инициативу поддерживаю.
	Ответить | Правка | Наверх | Cообщить модератору

	93. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от X4asd (ok), 08-Апр-19, 11:33
	>> а кому пришло бы в глову модифицировать НЕ исходный код > Не всегда получается чужой исходник вот так, не модифицируя, встроить в свою сложную (и мутную) библиотеку. зачем ты мне привёл пример про изменение ИСХОДНОГО кода? я же говорил про изменение НЕисходного кода
	Ответить | Правка | К родителю #43 | Наверх | Cообщить модератору

	110. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от пох (?), 08-Апр-19, 22:42
	> я же говорил про изменение НЕисходного кода код, который меняет мазила - сгенерен из кода на F* (который сам по себе мало кому вообще зачем-то сдался), вероятно, это то что ты называешь "неисходным". Для мазилы он на вкус и цвет ничем от любого чужого исходника при этом не отличается.
	Ответить | Правка | Наверх | Cообщить модератору

	56. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от KonstantinB (ok), 07-Апр-19, 00:20
	> а кому пришло бы в глову модифицировать НЕ исходный код а получившийся скомпилированный вариант? В общем-то по MIT это делать как раз можно (беря их скомпилированные варианты). Суть такого лицензирования в том, чтобы заявить: 1) берите скомпиенное у нас, у нас все формально верифицировано, а у Васяна там хрен знает что, 2) если уж беретесь править доказательства, то четко указывайте, где что поменяли, чтобы мы могли проверить корректность.
	Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору

	92. "Новая криптографическая библиотека EverCrypt с математически..."	+/–
	Сообщение от X4asd (ok), 08-Апр-19, 11:30
	>> а кому пришло бы в глову модифицировать НЕ исходный код а получившийся скомпилированный вариант? > В общем-то по MIT это делать как раз можно (беря их скомпилированные > варианты). > Суть такого лицензирования в том, чтобы заявить: > 1) берите скомпиенное у нас, у нас все формально верифицировано, а у > Васяна там хрен знает что, > 2) если уж беретесь править доказательства, то четко указывайте, где что поменяли, > чтобы мы могли проверить корректность. речь не о "можно ли?" а о "зачем такое делать?".
	Ответить | Правка | Наверх | Cообщить модератору

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

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