Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2023-10-30 08:48:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:Klockwerk Orange - Abrakadabra
Entry tags:anti-russia, wwii

были много худшими преступниками, чем нацисты

По поводу "героев-панфиловцев"
,
я помню как я был в 7-м классе, и мы ходили в поход с Аликом Сухановым,
ныне покойным, и он всю ночь у костра рассказывал, что красноармейцы
были много худшими преступниками, чем нацисты, а все истории про
советский героизм - артефакт советской пропаганды

для меня уже тогда это не было новостью, но публично сие в основном
не обсуждали, так что Алику спасибо за разрушение табу

прошло 40 лет, а до сих пор остались люди, которые думают,
что эта советчина не вся целиком выделана из говна

Привет



(Читать комментарии) - (Добавить комментарий)

https://t.me/turings_crossword/520
[info]tinyprince
2023-10-30 16:01 (ссылка)
екция Льва Суханова в это воскресенье, 22 октября, в 17:00

Лев Суханов - выпускник матфака ВШЭ и исследователь в PSE, Ethereum Foundation. Он расскажет про очень важную область криптографии, в которой он работает - быстрые проверки доказательств.

???? Верифицируемые вычисления при помощи sumcheck-протокола

???? Давайте рассмотрим следующую ситуацию: Алиса посчитала на известных публичных данных X функцию f(X), и хочет убедить Боба в том, что ответ, который она говорит - правильный. Боб, однако, ограничен в вычислительных ресурсах, и не хочет повторять всё вычисление Алисы.

Выясняется, что (при условии что Боб допускает небольшую вероятность ошибки, скажем $2^{-128}$), такую задачу можно решить намного быстрее. Такую постановку вопроса называют "interactive proof of knowledge".

Я расскажу про довольно старый протокол из 90х - sumcheck (проверка суммы), в последние год-два получивший второе дыхание в контексте делегированных вычислений и блокчейна, и построенный на этом аргументе протокол GKR (Голдвассер-Калаи-Ротблюма).

Пререквизиты: знать что такое конечное поле и уметь раскрывать скобки, если дойдём до приложений то ещё понадобится (наверное) знать что такое хэш

(Ответить) (Уровень выше)


(Читать комментарии) -