zkSNARKs - succinct zero-knowledge proofs for scalability and security
Доклад принят в программу конференции
Целевая аудитория
Тезисы
Доклад описывает возможности технологии zkSNARKs для масштабирования сервисов и применения zero-knowledge протоколов. Эта молодая технология сейчас находится на острие развития современной криптографии, ей занимаются в топовых университетах мира, а решения на ее основе позволяют доказывать исполнение вычислений на клиентской стороне с легкой, constant-sized верификацией на стороне сервера. Она очень хорошо ложится на блокчейн технологии, но и для client-server архитектур открывает множество новых возможностей. Например управление списком пользователей и их аутентификация вообще без наличия на сервере базы пользователей и challenge-response протокола. Мы обсудим устройство арифметических circuits и покажем практические примеры простых доказательств, опишем ограничения подобных решений и дизайн некоторых протоколов. Сама технология уже успешно используется в production, где используется для масштабирования, защиты финансовых активов и имеет множество потенциальных применений. Для понимания доклада плюсом будет понимание того, как строятся логические схемы и основы криптографии на элиптических кривых
Software researcher, developer, lecturer. Разработчик со стажем более 25 лет, большой бэкграунд в высоконагруженных системах в топовых компаниях, в прикладной информационной безопасности, исследовании различного софта и преподавании. Области интересов: децентрализованные сети, блокчейны, криптография, безопасность и анализ кода
MixBytes
Видео
Другие доклады секции
Безопасность, информационная безопасность