172 похожих чатов

Всем привет, кто может рассказать преимущества rustls перед нативными либами

и наоборот?

20 ответов

13 просмотров

Очень сложный вопрос. С одной стороны, в 2019г была новость, что rustls обошел openssl по скорости, но rustls базируется на ринге, который наполовину написан на С и асме, его код не был проверен. Так же у тебя не получится использовать алгоритмы ECDSA_NISTP521_SHA512 и ED448 (они тупо не реализованы в ринге). С другой стороны, даже половина кода на расте - это большой сдвиг в сторону безопасности.

Roman
Очень сложный вопрос. С одной стороны, в 2019г был...

Есть ещё https://mitls.org/ которая по большей части даже верифицирована (и, по слухам, используется в недрах Chrome и Firefox).

Adatan- Автор вопроса
Roman
Очень сложный вопрос. С одной стороны, в 2019г был...

То есть в плане скорости для TLSv1.2 rustls лучше нативных?

Adatan- Автор вопроса
Roman
По новостям 2019 года - да)

Ну вроде как актуально +- 2 года, спасибо!)

Roman
Очень сложный вопрос. С одной стороны, в 2019г был...

Половина кода на расте из которого половина ансейф? Да, мощный сдвиг.

Adatan
Толсто

Зато правдиво)

Adatan- Автор вопроса
Dmytro Polunin
Зато правдиво)

А в чем теоретическая сложность реализовать все на чистом safe расте, если таковая имеется?

Adatan- Автор вопроса
Dmytro Polunin
Убийство производительности.

Ну, вон ребята из Microsoft верифицируют код прямо на Ассемблере...

Alexander Chichigin
Ну, вон ребята из Microsoft верифицируют код прямо...

Ну у меня на первой работе мужик мог программу в Hex кодах читать и ошибки искать. В принципе ничего тут такого нет сверх сложного. Насчет верификации ассамберного кода. Там просто некоторые последовательности команд могут быть так сказать наводящими на подозрение в их правильности.

Vladimir Sentsov
Ну у меня на первой работе мужик мог программу в H...

Не похоже, чтобы Вы вообще занимались верификацией, уж простите что я озвучиваю такое наблюдение. 😉

Roman
Очень сложный вопрос. С одной стороны, в 2019г был...

В прошлом году вроде были новости о том что rustls прошёл верификацию

Alexander Chichigin
Не похоже, чтобы Вы вообще занимались верификацией...

Ну да. Дело это сложное и долгое, если формальные методы верификации использовать. Но некоторые вещи могут сразу стать видны. В принципе статическийй анализатор можно для всего сделать. Тоже в какой-то мере верификация. Например тот же Sonar неплохо улучшает качество кода. Даже на Java.

Vladimir Sentsov
Ну да. Дело это сложное и долгое, если формальные ...

Nope. Верификация обязана быть sound, иначе это не верификация. Статический анализ — не обязан и не является. Это я Вам как бывший разработчик статического анализатора говорю. 😃

Roman
Действительно: http://jbp.io/2020/06/14/rustls-aud...

Аудит — это не верификация... 🧐

Похожие вопросы

Обсуждают сегодня

Какой-то там пердун в 90-х решил, что есть какая-то разная типизация. Кого вообще это волнует?
КТ315
49
void terminal_scroll() { memmove(terminal_buffer, terminal_buffer + VGA_WIDTH, buffer_size - VGA_WIDTH); memset(terminal_buffer + buffer_size - VGA_WIDTH, 0, VGA_WIDTH); ...
Егор
47
Всем привет! Подскажите, пожалуйста, в чем ошибка? Настраиваю подключение к MySQL. Либы лежат рядом с exe. Все как по "учебнику"
Евгений
16
А можете как-то проверить меня по знаниям по ассемблеру?
A A
132
Здравствуйте! У меня появилась возможность купить книгу "Изучай Haskell во имя добра!". Но я где-то слышал, что эта книга устарела. Насколько это правда??
E
22
Здравствуйте! Я вот на stepic решаю задачи на хаскеле https://stepik.org/lesson/8443/step/8?unit=1578 мой код import Data.List (isInfixOf) removing :: String -> [String] ->...
E
10
Камрады, кто тесно работал с vtv, хотел уточнить. Ширина column задаётся жёстко на этапе создания дерева или можно в рантайме ее менять программно (не мышкой)?
Ed Doc
10
да ладно ... что там неочевидного ? глянуть в исх-ки датасета и/или кверика чтобы понять в каком месте и как выполняется обращения к св-вам blablaSQL - минутное дело, даже е...
Сергей
7
Здесь для arm кто-нибудь кодит ?
Nothing
52
Всем привет, у меня есть сервер принимающий входящие HTTP подключения, как проверить, что подключение было через прокси или нет, есть какие то поля в заголовках по которым мо...
Кибер Бомж
8
Карта сайта