NDSS 2025 – Siniel: Распределённый способ сохранения конфиденциальности zkSNARK

Статья "Siniel: Распределенный zkSNARK, сохраняющий конфиденциальность" была представлена на симпозиуме NDSS, форуме по безопасности сетей и распределенных систем. zkSNARKs - это криптографические инструменты, позволяющие доказывающему убедить проверяющего в истинности утверждения, не раскрывая дополнительной информации. Основным недостатком существующих zkSNARKs является высокая вычислительная стоимость генерации доказательств. Это ограничение препятствует их использованию в таких приложениях, как частные платежи и смарт-контракты. Частное делегирование предлагает решение для ускорения генерации доказательств. Siniel - это эффективная структура частного делегирования для zkSNARKs, построенная с использованием интерактивного оракульного доказательства полиномов (PIOP) и схемы полиномиального обязательства (PCS). Siniel позволяет ограниченному в вычислительном отношении доказывающему делегировать дорогостоящие вычисления нескольким работникам, сохраняя при этом конфиденциальность свидетеля. Ключевым преимуществом Siniel перед современной структурой EOS является то, что доказывающему не нужно участвовать в протоколе MPC после обмена частным свидетелем. Это позволяет доказывающему Siniel полностью передать всю вычислительную работу на аутсорс. Экспериментальные сравнения демонстрируют значительные преимущества Siniel в производительности по сравнению с EOS. В условиях низкой пропускной способности (10 Мбит/с) Siniel сокращает время вычислений делегатора примерно на 16% по сравнению с EOS. В условиях высокой пропускной способности (1000 Мбит/с) Siniel обеспечивает еще более существенную экономию времени - 80%. Это исследование было совместной работой авторов из Чжэцзянского университета, Shanghai DeCareer Consulting Co., Ltd, Пекинского транспортного университета, Чунцинского университета, Сингапурского университета менеджмента и Восточно-Китайского педагогического университета. Симпозиум NDSS направлен на поощрение применения и развития технологий безопасности в интернет-сообществе.