Доклад описывает возможности технологии zkSNARKs для масштабирования сервисов и применения zero-knowledge протоколов. Эта молодая технология сейчас находится на острие развития современной криптографии, ей занимаются в топовых университетах мира, а решения на ее основе позволяют доказывать исполнение вычислений на клиентской стороне с легкой, constant-sized верификацией на стороне сервера. Она очень хорошо ложится на блокчейн технологии, но и для client-server архитектур открывает множество новых возможностей. Например управление списком пользователей и их аутентификация вообще без наличия на сервере базы пользователей и challenge-response протокола. Мы обсудим устройство арифметических circuits и покажем практические примеры простых доказательств, опишем ограничения подобных решений и дизайн некоторых протоколов. Сама технология уже успешно используется в production, где используется для масштабирования, защиты финансовых активов и имеет множество потенциальных применений. Для понимания доклада плюсом будет понимание того, как строятся логические схемы и основы криптографии на элиптических кривых