Не скажу, что хардкор, но не самый лёгкий, хоть и очень интересный пост. Про ZKRP (Zero-Knowledge Range Proof). Идея простая: доказать кому-то, что число лежит на определённом отрезке, не раскрыв при этом само число. Описана пачка применений, совсем разные подходы, плюс куча ссылок на сами работы, куда можно дальше копать.

#zk #cryptography #math

Дай человекам что угодно, они пренепременно попытаются на этом вычислять. Допрыгались. FLAT ORIGAMI IS TURING COMPLETE. Пэйпер не пытайтесь понять, поберегите рассудок. Чисто отрывками и очень аккуратно, без перегибов.

#science #math #cs

Интересная попытка натянуть сову на глобус закон Мура на zero knowledge proofs. Идея в том, что эффективность производства zkp растёт не гладко, как это происходит в обычных вычислениях, а некоторыми дискретными прыжками. Но растёт, это главное. И нужно быть готовым в своих проектах на ходу заменять старые circuits новыми, более эффективными.

#zk #cryptography #math

Эллиптические кривые. В большинстве своём мы их не видим, а они есть. И есть среди них несколько, так сказать, блатных - NIST elliptic curves. Типа проверили, одобрили, безопасно, используйте в своей криптографии. Параметры для этих кривых получили из некоторых хэшей, скорее всего SHA-1. От чего считали хэши? Судя по всему, один мужик из NSA написал какие-то одному ему известные предложения, от них и посчитал. Посчитал и благополучно забыл. В предложениях, говорит, было что-то в духе: "поднимите мне з/п". Это если не ударяться в конспирологию (даже зная preimage, больших бед натворить не получится).
Короче говоря, по ссылке можно детальнее почитать про это всё, а ещё про конкурс на подбор preimage к тем хэшам. Чисто для фана и истории.

#cryptography #math

Ну хорошо, а почему мы пользуемся только этими одобренными эллиптическими кривыми? Почему бы не выбирать новую на каждый чих? Ну сломают одну, все остальные-то целы. Вот про всё про это и можно почитать по ссылке.

#cryptography #math

Тут начало серии постов про collision resolution - когда мы поняли, что два твёрдых тела столкнулись, но теперь нам надо понять, что с ними будет происходить дальше. Там и картинки, и формулы, и интерактивчик - кайф же.

#gamedev #physics #math

О том, как Guinness подарили нам не только пивко, но и t-критерий Стьюдента.

#math #statistics #science

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

#talk #math #gamedev

Тут, оказывается, биг дил случился. Доказали, что BB(5) = 47,176,870. Практического смысла в Busy Beaver не очень много, прямо скажем, но всё равно интересно.
- Тут можно почитать хорошую статью с деталями, историей и т.п.
- Тут само объявление об успехе
- А тут хорошие посты про это же, но кратко и прямо в телеге

#cs #math #science

Тут дед поддушнил, но красиво. Сначала он такой: давайте я вам на M&Ms покажу, какая же крутая штука сэмплирование, в чём её сила (брат), а где её слабости (не брат, очевидно). А потом такой херак: As a less contrived example, Go’s memory profiler aims to sample...

#go #statistics #math