Думаю это лучше напрямую с Wilke обсуждать, я не владею темой настолько глубоко.

Ох как тут красиво -)

Вот прямо читаю и представляю, как я всё это в лекции упакую -)))

А насчёт простоты объяснений @khovratovich - я к тебе на прошлом девконе не зря пытался пристать насчет того, что у каждого кто хорошо понимает предмет, есть свои личные, очень короткие и корректные, убедительные цепочки рассуждений которые даже можно визуализировать, что станет понятно даже школьникам (мы как раз тогда пересеклись после лекции zkStarks) так что залезть бы как-то в твою голову и сдампить вот это вот «просто»

Вобщем буду курить статьи и разрабатывать формат объяснения на салфетках -)

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

В криптографии вообще с этим проблема, только американцы умеют хорошо объяснять и то не все

Я буквально на днях решил для школьников рисовать с нуля объяснения

Начал с темы State versus Transition

Школьникам кстати Stark можно объяснить, там простая математика, если убрать пруфы о степенях

Я вообще с самого нуля для 7-8-го класса

Хотя посмотрим как пойдет, в день по страничке

Это так, набросок

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

Тут, конечно, балансировка на грани корректности и визуальной очевидности (которая иногда приводит к ложным заключениям), но школьникам я бы не хотел в основном курсе давать длинные доказательства (только на факультативах), но вот упоминать основные теоремы - обязательно. Например, при объяснении эллиптической криптографии обязательно показывать теорему о девяти точках на кубИке, ибо без нее группа точек на EC выглядит как кролик, доставаемый из шляпы фокусника, ну и т.д. и т.п.

Что-то я расползся мыслию по древу, сорри за простыни -)

Прикольно нарисовано

Я как всегда перепутал лево и право -)))

А нужно ли вообще эллиптические кривые рассказывать? Любая группа со сложным логарифмом подойдёт, можно взять обычную циклическую на примере цепочки жемчужин.