Постквантові СНАРКИ стають прозорими. Грейхаунд від @zksecurityXYZ показує, як 👇

@zksecurityXYZ Грейхаунд – це прозорий СНАРК на ґратчастій основі. Він використовує структуровані решітки, зобов'язання Ajtai та ефективні методи генерації доказів.

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

@zksecurityXYZ Ключовий примітив: зобов'язання Аджтай. Він використовує найгіршу твердість задач решітки (наприклад, SIS) для зв'язування зобов'язаних значень. Greyhound розгортає його в рамках своєї системи поліноміальних зобов'язань і підтвердження знань.

@zksecurityXYZ Протокол Greyhound працює над цілочисельними ґратками. Він уникає довірчого налаштування через публічно вибрані параметри. Безпека випливає з твердості задач решітки при квантових супротивниках, а не з припущень групового порядку.

@zksecurityXYZ Ефективність: автори повідомляють про «ефективну конструкцію» як для керівника, так і для верифікатора. Незважаючи на те, що Greyhound все ще більший, ніж SNARK на основі сполучення, він масштабується за допомогою модульних операцій над векторами/матрицями — більше піддається апаратному забезпеченню, оптимізованому для решітки.

@zksecurityXYZ Продуктивність верифікатора: постійна або логарифмічна за розміром схеми, залежно від параметризації. Він спирається на процедури відбору проб і перевірки, характерні для зобов'язань решітки, призначені для зменшення інтерактивності та накладних витрат.

@zksecurityXYZ Кут інтеграції: Greyhound може адаптуватися до існуючих ланцюжків інструментів SNARK за допомогою модульної заміни схеми зобов'язань. Він не вимагає перепроектування абстракцій схем, що робить його прагматичним для постквантового переходу.

@zksecurityXYZ З криптографічної точки зору, він демонструє життєздатність: прозора установка, припущення щодо решітки та ефективна структура доказу. Ключовими питаннями залишаються конкретні розміри доказів, оптимізація параметрів і реальна продуктивність впровадження.

@zksecurityXYZ Якщо коротко, то Greyhound — це СНАРК на основі решітки, побудований на зобов'язаннях Аджтая. Він забезпечує постквантову безпеку без надійного налаштування, прагнучи до практичних розмірів доказів та ефективності верифікатора. Він пропонує дорожню карту для інтеграції квантово-стійкої криптографії в існуючі системи.

@zksecurityXYZ Прочитайте публікацію 👇 в блозі

@zksecurityXYZ Найновіші та найбільші в ЗК, тут, щомісяця👇