https://opennet.dev/openforum/vsluhforumID3/117047.html Исследователи из государственного института исследований в информатике и автоматике (INRIA), подразделения Microsoft Research и университета Карнеги &#8212; Меллона представили (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-master/README.EverCrypt.md), развиваемой в рамках проекта Everest (https://project-everest.github.io/) и применяющей математические методы формальной верификации надёжности. По своим возможностям и производительности EverCrypt очень близка к существующим криптографическим библиотекам (OpenSSL), но в отличие от них предоставляет дополнительные гарантии надёжности и безопасности. <br><br><br><br>Суть проведённой версификации в определении подробных спецификаций, описывающих все варианты поведения программы, и формировании математического доказательства, что написанный код полностью соответствует подготовленным https://opennet.dev/openforum/vsluhforumID3/117047.html#126 Fri, 12 Apr 2019 22:33:40 GMT &gt; нам предлагается набор спецификаций которым должен соответствовать ящик<br><br>доверяй, но проверяй<br><br>Если, нам предлагают, это не значить, что нас защищают<br><br>пс: вы в курсе, что есть такое К который меньше Д в степени Е по модулю Н есть текст, который зашифрован в стемени Е по модулю Н? <br><br> https://opennet.dev/openforum/vsluhforumID3/117047.html#125 Fri, 12 Apr 2019 18:04:17 GMT библиотека это по сути чёрный ящик причем для всех и даже авторов т.к. для знания и понимания работы нужно знать и программирование со всеми фишками и особенностями и криптографию чтоб врубаться и реализовывать её правильно.<br>нам предлагается набор спецификаций которым должен соответствовать ящик т.е. соответствие входа и выхода при определённых данных и действиях<br>но кто мешает добавить туда дополнительные спецификации? миллионыглаз бдящие код? не смешите.<br>к примеру вот ящик для секурного хранения записочек соответствует спецификации<br>положить записочку набрать код нажать принять, и набрать код нажать отдать и записочка вывалится.<br>но кто мешает разрабу добавить третью для майора - пнуть ногой ящик нажав обе кнопки - откроется ящик со всеми записочками.<br>вот про это я и говорю - вся криптография стоит на вере в честность разрабов.<br> https://opennet.dev/openforum/vsluhforumID3/117047.html#124 Fri, 12 Apr 2019 10:00:51 GMT &gt; вы, похоже, не владеете темой.<br><br>Да-да, уже 15 лет не владею ;)<br><br>Все современные компиляторы так устроены уже давно - фронтенды производят IR (intermediate<br>representation), который уже далее обрабатывается middleend'ом и/или backend'ом.<br>И, кстати, этих IR'ов может быть несколько в одном и том же компиляторе<br><br>И gcc и llvm именно так и устроены.<br>Как я вам уже сказал, отличие llvm в том, что этот IR из него можно вытащить, а можно и запихать <br>обратно в текстовом виде. Заодно llvm включает в себя байткод-интерпретатор, который умеет этот IR (двоичный, не тесктовый!) исполнять и JIT.<br><br>Что касается asm printer и binary emitter, то чаще все-таки бывает, что target умеет -S, но не умеет сразу .o, чем наоборот. <br><br>То, что вы называете "состоянием" gcc - это тоже IR, и не важно, что его нельзя вытянуть из компилятора. Точнее, обычно IR таки можно достать из всех компиляторов - в двоичном виде.<br>(Все эти временные файлы, которые компиляторы могут производить - это он)<br>И обратно его потом можно засунуть. Но https://opennet.dev/openforum/vsluhforumID3/117047.html#123 Fri, 12 Apr 2019 09:39:08 GMT Только BoringSSL, только хардкор!<br> https://opennet.dev/openforum/vsluhforumID3/117047.html#122 Thu, 11 Apr 2019 21:59:11 GMT Математически доказать надежность этой программы, как подавляющего количества других невозможно. Даже если использовать теорию правильности программ<br> https://opennet.dev/openforum/vsluhforumID3/117047.html#121 Wed, 10 Apr 2019 22:17:20 GMT &gt;компиляция не требует обязательного результата в виде машинно-ориентированного языка<br><br>где на странице в вике о компиляторе это написано? там строго утверждено - результат в виде машинно-ориентированного языка.<br><br>&gt;A source-to-source COMPILER<br><br>Это уже противоречие, потому-что COMPILER это source-to-opcodes по определению в самой же вики на странице компилятора.<br><br>&gt;Но обычным редактированием это не назовёшь.<br><br>Из вашего же определения выходит, что "редактирование" как следствие компиляции. У вас все есть компиляция.<br><br>&gt;Это не противоречие, а дополнение.<br>&gt;Включи логику уже. :)<br><br>Дополнение к чему? когда под гребенку компиляции можно и редактирование кода пихнуть?<br><br>&gt;И правильно, компиляция не занимается переводом в машинно-зависимый код, что ты утверждаешь, ссылаясь на это определение. А где же речь о компиляции? А она в оставшейся части:<br><br>"""<br>Компили&#769;ровать &#8212; проводить трансляцию машинной программы с предметно-ориентированного языка на машинно-ориентированный язык<br>"""<br><br>&gt;Раз существуют ком https://opennet.dev/openforum/vsluhforumID3/117047.html#120 Wed, 10 Apr 2019 20:40:01 GMT &gt; А теперь повторно задам вопрос: Трансляция из Python -&gt; C, C - является "машинно-ориентированным языком"? Если нет, то как можно этот процесс трансляции называть компиляцией?<br><br>Я тоже повторно объясню: компиляция не требует обязательного результата в виде машинно-ориентированного языка, потому что она не относится к обработке данных. Преобразованием в другой язык занимается трансляция в процессе работы компилятора, внутри процесса компиляции.<br><br>"A source-to-source COMPILER is a type of COMPILER that takes the source code of a program written in a programming language as its input and PRODUCES the EQUIVALENT SOURCE CODE in the same or a different programming language."<br><br>Что в слове compiler непонятно? При такой компиляции, без трансляции в машинно-ориентированный язык, никакого машинно-ориентированного языка на выходе нет.<br><br>&gt; пс: Из вашего мнения следует, помимо "обфускации", "рефакторинга", "оптимизации", что и обычное "редактирование" исходного кода есть процесс компиляции. Так ли это?<br><br>Очень хороший https://opennet.dev/openforum/vsluhforumID3/117047.html#119 Wed, 10 Apr 2019 12:03:54 GMT Если приводить цитаты из вики, то повторюсь:<br><br>https://en.wikipedia.org/wiki/Source-to-source_compiler<br><br>Читаем раздел history:<br><br>"""<br>One of the earliest programs of this kind was Digital Research's XLT86 in 1981, a program written by Gary Kildall, which translated .ASM source code for the Intel 8080 processor into .A86 source code for the Intel 8086. <br>"""<br><br>Суть такого компилятора ограничивалась уже самым "конечным яп".<br><br>Но читаем дальше раздел Programming language implementations:<br><br>И видим, что скрестили ежа с ужем.<br><br>Но давайте остоновимся на определении:<br><br>"""<br>A source-to-source compiler is a type of compiler that takes the source code of a program written in a programming language as its input and produces the equivalent source code in the same or a different programming language.<br>"""<br><br>То есть "Транспайлер &#8212; тип компилятора", а что такое компилятор из той же вики?<br><br>https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D1%8F%D1%82%D0%BE%D1%80<br><br>"""<br>Компиля&#769;ция & https://opennet.dev/openforum/vsluhforumID3/117047.html#118 Tue, 09 Apr 2019 23:38:31 GMT Изначально верный ответ дал Аноним84701 :D<br>&gt; Девочки, не ссорьтесь!<br>&gt; Cуществует "и то и это".<br><br>===============================<br><br>&gt; если "результирующую" понимать как конечный этап (машинные коды операций), то да это и есть по моему мнению процесс компиляции<br><br>В программировании конечный этап компиляции так же не обязательно является машинным кодом, он так же может быть исходным кодом на ЯВУ, или любом другом (см. ниже).<br><br>&gt; Хочу отметить, что я делаю именно акцент на "конечный этап трансляции" - это и есть компиляция.<br><br>Ну, это тоже не обязательно так, потому что компиляторы бывают разные и могут включать в процесс компиляции и трансляцию, и сборку, если нужно. В компиляторах процесс часто начинается с компиляции, и ей же заканчивается, при этом на выходе получается отранслированный, собранный, оптимизированный и даже исполняемый код. А линковка, компоновка и окончательная сборка может быть включена в процессе компилятора, а может и не включаться. Для их выполнения могут использоваться вызовы внешних ут