Size: a a a

Compiler Development

2020 January 05

МБ

Михаил Бахтерев in Compiler Development
Aleksey Shipilev
Это объясняет, зачем изначальное инвестирование нужно, но не объясняет текущую разработку. Ну ок, JIT получил скорость в 20х больше, чем прямая интерпретация. Всё, остановились? Нет, крутят дальше оптимизации.
Ну. Кажется банальным, если перестать платить, люди разбегуться, и технология со временем будет утеряна, либо для всей экономики вообще, либо в конкретной компании. Нужны инженеры, которые постоянно погружены в тему. В автомобилях и самолётах вон тоже прогресса почти нет, а изобретатели есть. Шарманку невозможно остановить, потому что иначе отрасль помрёт.
источник

M

MaxGraey in Compiler Development
EgorBo
IsPrime
«В пользовательском интерфейсе Телеграм отсутствует возможность увидеть текущее p, использованное при последнем прогоне протокола DH. Также отсутствуют какие-либо исследования, в которых присылаемые сервером числа журналировались и впоследствии проверялись на простоту чем-то более мощным, чем тестом, встроеным в клиентское ПО. Ничего не мешает серверу Телеграм прислать вам лично такие параметры DH, которые сделают криптоанализ сессии тривиальным. Вы этого просто не увидите. Старые параметры не хранятся на клиенте, но могут храниться на сервере.


К вопросу о том, насколько вопрос “какой prime используем на DH-обмене” является серьёзным, можно глянуть RFC 5114. Т.е. выверенные “реально и действительно простые числа” опубликованы и надлежат к использованию в ряде специфичных проектов. Авторство, кстати – NIST, после утверждения со стороны NSA.»
источник

АУ

Анна Удовиченко in Compiler Development
Товарищи, какой-то очень густой оффтоп начинается 🤔
источник

E

EgorBo in Compiler Development
MaxGraey
«В пользовательском интерфейсе Телеграм отсутствует возможность увидеть текущее p, использованное при последнем прогоне протокола DH. Также отсутствуют какие-либо исследования, в которых присылаемые сервером числа журналировались и впоследствии проверялись на простоту чем-то более мощным, чем тестом, встроеным в клиентское ПО. Ничего не мешает серверу Телеграм прислать вам лично такие параметры DH, которые сделают криптоанализ сессии тривиальным. Вы этого просто не увидите. Старые параметры не хранятся на клиенте, но могут храниться на сервере.


К вопросу о том, насколько вопрос “какой prime используем на DH-обмене” является серьёзным, можно глянуть RFC 5114. Т.е. выверенные “реально и действительно простые числа” опубликованы и надлежат к использованию в ряде специфичных проектов. Авторство, кстати – NIST, после утверждения со стороны NSA.»
пока нет пруфов что это можно сделать с _2048битным_ праймом клиенстким рандомом за вменяемое время
источник

M

MaxGraey in Compiler Development
EgorBo
пока нет пруфов что это можно сделать с _2048битным_ праймом клиенстким рандомом за вменяемое время
Любой алгоритм на эллептических кривых можно сделать очень просто ненадежным, вне зависимости от длины ключа просто напросто не верно подобрав параметры. А как они подбираются не ясно, так как исходники сервера закрыты
источник

E

EgorBo in Compiler Development
ну я не настолько спец по криптографии чтобы уверенно заявить что даже константый зашитый прайм это гарантия пробития DH. Если это так, то значит не существует безопасности 😊 Открытие серверного кода явно ничем не поможет, у тебя же нет контроля над ним. Клиент хотя бы ты сам можешь руками собрать
источник

E

EgorBo in Compiler Development
мне не знаком алгоритм, который проверит прайм на "криптостойкость"
источник

E

EgorBo in Compiler Development
разве что на дурака проверить по "базам" :D
источник

VS

Vasily Shapenko in Compiler Development
Проблема не в DH
источник

VS

Vasily Shapenko in Compiler Development
DH используется только на одном этапе
источник

VS

Vasily Shapenko in Compiler Development
Там дальше no padding
источник

AK

Andrei Kurosh in Compiler Development
Тема очень интересная, но криптография все-таки оффтоп для данного чата
источник
2020 January 06

DP

Dmitry Ponyatov in Compiler Development
как правильно перевести multiprocess language ?
и является ли блок в Smalltalk замыканием в смысле ФП ?
источник

E

Eugene in Compiler Development
> и является ли блок в Smalltalk замыканием в смысле ФП ?

имхо да, хотя я видел в каких-то патчнотах к Долфину, что они добавили полноценные замыкания, а значит раньше они были неполноценными? о_О нипанятна...
источник

E

Eugene in Compiler Development
multiprocess language — многозадачный язык, очевидно же
источник

DP

Dmitry Ponyatov in Compiler Development
А кроме Бадда и BlueBook какие-то еще книжки по реализации языков на сообщениях выходили?
источник

YS

Yuriy Syrovetskiy in Compiler Development
Dmitry Ponyatov
как правильно перевести multiprocess language ?
и является ли блок в Smalltalk замыканием в смысле ФП ?
замыкание в любом смысле — это код + окружение, где окружение — это набор значений для переменных, используемых эти кодом
источник

YS

Yuriy Syrovetskiy in Compiler Development
если в Смолтоке блок можно передать куда-то вместе со значениями переменных, с которыми он создавался, то это замыкание
источник

BD

Berkus Decker in Compiler Development
MaxGraey
Самые медленные операции в таких задачах как работа с сетью или BD - это IO, а так же системные вызовы. Перенос всего на Ring 0 (микроядро) даст куда более заметныйй эффект, чем оптимизации ALU / FPU (числодробилки), не находите?
источник

AT

Alexander Tchitchigin in Compiler Development
Dmitry Ponyatov
как правильно перевести multiprocess language ?
и является ли блок в Smalltalk замыканием в смысле ФП ?
По "стандарту" является. Просто в реализациях долгое время "срезали угол" и недозахватывали переменные так что нельзя было возвращать наверх. Но это был баг, и в конце концов его исправили.
источник