forum.opennet.ru

Составление сообщения

Исходное сообщение

"Первый бета-выпуск Arti, реализации Tor на языке Rust"
Отправлено Аноним, 03-Мрт-22 13:38

>> We have written 20,000 lines of low-level F* code, implementing the TLS 1.3 record layer.
>> HACL*, our High Assurance Crypto Library,
>> (1) We provide HACL∗, a “high-assurance crypto library” implementing and proving
lines of Low∗) several cryptographic algorithms, including the Poly1305 MAC [Bernstein
> Это частное мнение создателей библиотеки.
Это повторный пук в лужу, под видом джакузи.
>> the ICFP 2017 Paper provides an overview of KreMLin as well as a paper formalization of our compilation toolchain
>> We illustrate the design of Low∗ using several examples from our codebase. We show the
ChaCha20 stream cipher [Nir and Langley 2015], focusing on memory safety (§2.1), and the
Poly1305 MAC [Bernstein 2005], focusing on functional correctness. (§2.3). Going beyond functional
> Тоже частное мнение (анотация) к работе.
> Будут цитаты из официальных страниц языка? Или опять гулко треснул?
Зачем ты продолжаешь газифицировать лужи?

Исходное сообщение
"Первый бета-выпуск Arti, реализации Tor на языке Rust" Отправлено Аноним, 03-Мрт-22 13:38
>> We have written 20,000 lines of low-level F* code, implementing the TLS 1.3 record layer. >> HACL, our* High Assurance Crypto Library, >> (1) We provide HACL∗, a “high-assurance crypto library” implementing and proving lines of Low∗) several cryptographic algorithms, including the Poly1305 MAC [Bernstein > Это частное мнение создателей библиотеки. Это повторный пук в лужу, под видом джакузи. >> the ICFP 2017 Paper provides an overview of KreMLin as well as a paper formalization of our compilation toolchain >> We illustrate the design of Low∗ using several examples from our codebase. We show the ChaCha20 stream cipher [Nir and Langley 2015], focusing on memory safety (§2.1), and the Poly1305 MAC [Bernstein 2005], focusing on functional correctness. (§2.3). Going beyond functional > Тоже частное мнение (анотация) к работе. > Будут цитаты из официальных страниц языка? Или опять гулко треснул? Зачем ты продолжаешь газифицировать лужи?

Ваше сообщение

Имя*:

EMail:

Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email).
Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.

Заголовок*:

Сообщение*:

>>> We have written 20,000 lines of low-level F* code, implementing the TLS 1.3 record layer.
>>> HACL*, [b]our[/b] High Assurance Crypto Library, 
>>> (1) We provide HACL∗, a “high-assurance crypto library” implementing and proving

> lines of Low∗) several cryptographic algorithms, including the Poly1305 MAC [Bernstein 
 
>> Это частное мнение создателей библиотеки.

> Это повторный пук в лужу, под видом джакузи.

>>> the ICFP 2017 Paper provides an overview of KreMLin as well as [b]a paper formalization of our compilation toolchain[/b] 
>>> We illustrate the design of Low∗ using several examples from our codebase. We show the

> ChaCha20 stream cipher [Nir and Langley 2015], [b]focusing on memory safety[/b] (§2.1), 
> and the 
> Poly1305 MAC [Bernstein 2005], focusing on functional correctness. (§2.3). Going 
> beyond functional 
>> Тоже частное мнение (анотация) к работе.
>> Будут цитаты из официальных страниц языка? Или опять гулко треснул?

> Зачем ты продолжаешь газифицировать лужи?

При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования.

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру