КАУ и теорфизика устроили летнюю школу в сентябре по, в том числе, квантовым вычислениям. Есть книга «Квантовые когерентные явления в Джозефсоновских кубитах». Подходящие курсы на edX и Coursera пройти можно откуда угодно; у меня сертификаты от Дельфта и МИТа. Meetup состоялся?
Эта статья об оптимизации схем (circuits) логических элементов. Нейронные сети, при всем понимании их роста и рекламы, только в качестве введения и для контраста.
Визуализация схем вполне приемлема для десятков элементов, дальше человеку сложно. Схемы из десятков скорее учебные. Верилог придуман совсем не случайно.
Для статьи на DOU можно бы больше внимания ’большим’ (не учебным) проектам. Так например ABC является часто используемым готовым инструментом оптимизации сложности схем people.eecs.berkeley.edu/...ations/2010/cav10_abc.pdf
Оптимизация обычно мало заметна внутри промышленных инструментов синтеза; в Yosys есть шаг с явным вызовом ABC stackoverflow.com/...t-into-high-level-modules
Samsung Research Киев (SRK) — это организация, которая не платит за research. В самом прямом смысле. Как мне кажется, примерно как сухая вода. forum.z.cash/...ther-sudoku-circuit/31092
Собрать сотрудников, выдать лекцию о высоких нравственных стандартах, в том числе «не забывайте совместно оплатить счет ресторана, даже если пригласили вас», а потом не заплатить в конце месяца. И зачем был весь этот цирк?? Привет лидерам рынка научных исследований.
Вопроса два: математика и Самсунг. Год назад понадобилось сделать кое-что с билинейной операцией на эллиптических кривых. Кто покурить пошел, у кого срочно телефон зазвонил..сделал я. Недавно SRK не заплатил. Сейчас занимаюсь математикой на более достойной позиции. Насколько мне известно, по доказательствам с нулевым разглашением и в SRK, и в Южной Корее по нулям. Короче, искать можно и нужно, но не в SRK.
Монеты Zcash стали причиной для «миграции» вероятностых систем доказательства, эллиптических кривых и спариваний, конечных полей и разных мелочей из статей и учебников в библиотеки и приложения. «Zero knowledge это снарки» сообщает нам новое поколение математиков (theoretical computer science).
Еще растут квантовые вычисления, только на аутсорсе их мало пока.