Исходное сообщение
"Новая криптографическая библиотека EverCrypt с математически..." Отправлено пох, 06-Апр-19 17:52
> О скопмилированном коде тут речь не идет. о, очередной "программист" самоучка? Компилятор с F на C - вполне себе компилятор, и код этот - компилированный. Что тебе бы рассказали на первом курсе института, если бы ты его посещал. И именно о нем речь и идет. (Забавно, кстати, что разглядывавшие этот код люди нашли его более читаемым чем код аналогичного свойства, написанный человеками.) так вот с кодом, который скомпилировали разработчики - можешь делать что угодно. С кодом, который ты накомпилируешь сам из F* - только в рамках apache license. что в целом и правильно, бойтесь программистов-самоучек-без-мотора, дорвавшихся до криптографии.