Постквантовые SNARK'и становятся прозрачными. Greyhound от @zksecurityXYZ показывает как 👇

@zksecurityXYZ Greyhound — это прозрачный SNARK на основе решеток. Он использует структурированные решетки, обязательства Аджтаи и эффективные методы генерации доказательств.

@zksecurityXYZ Основная инновация: заменить традиционные настройки на основе дискретного логарифма или парных оснований на предположениях решеток, нацеливаясь на постквантовую безопасность при сохранении сжатия и проверяемости.

@zksecurityXYZ Ключевая примитивная операция: обязательство Аджтаи. Оно использует сложность в худшем случае для задач решеток (например, SIS), чтобы связать зафиксированные значения. Greyhound использует это в своей системе полиномиальных обязательств и доказательства знаний.

Протокол Greyhound работает на основе целочисленных решеток. Он избегает доверенной настройки за счет публично выбранных параметров. Безопасность основывается на сложности решеточных задач перед квантовыми противниками, а не на предположениях о порядке группы.

@zksecurityXYZ Эффективность: авторы сообщают о "эффективной конструкции" как для доказателя, так и для проверяющего. Хотя она все еще больше, чем SNARK на основе паринга, Greyhound масштабируется с помощью модульных операций над векторами/матрицами — более удобных для аппаратного обеспечения, оптимизированного для решеток.

@zksecurityXYZ Производительность проверяющего: постоянная или логарифмическая в зависимости от размера схемы, в зависимости от параметризации. Она основывается на процедурах выборки и проверки, характерных для решеточных обязательств — разработанных для снижения интерактивности и накладных расходов на доказателя.

@zksecurityXYZ Угол интеграции: Greyhound может адаптироваться к существующим инструментам SNARK через модульную замену схемы обязательств. Это не требует переработки абстракций цепей, что делает его прагматичным для перехода к пост-квантовым технологиям.

@zksecurityXYZ С криптографической точки зрения это демонстрирует жизнеспособность: прозрачная настройка, предположения о решетках и эффективная структура доказательства. Ключевые вопросы остаются вокруг конкретных размеров доказательств, оптимизации параметров и производительности в реальных условиях.

@zksecurityXYZ Короче говоря, Greyhound — это SNARK на основе решеток, построенный на обязательствах Аджтаи. Он достигает постквантовой безопасности без доверенной настройки, нацеливаясь на практичные размеры доказательств и эффективность проверяющих. Он предлагает дорожную карту для интеграции квантово-устойчивой криптографии в существующие системы.

@zksecurityXYZ Прочитайте блог 👇

@zksecurityXYZ Последние и лучшие достижения в ZK, здесь, каждый месяц👇