Аннотация:
Представлен метод обеспечения конфиденциальности данных с возможностью проверки корректности на основе протокола доказательства с нулевым разглашением zk-SNARK. Разработанный метод позволяет создавать алгоритмы на основе zk-SNARK в смарт-контрактах Ethereum, используя высокоуровневые базовые криптографические схемы.
Ключевые слова:распределённые системы, блокчейн, доказательство с нулевым разглашением, zk-SNARK, платформа Ethereum.