zk-STARK
zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) — это криптографическая система доказательств, позволяющая доказывающей стороне убедить проверяющую сторону в корректности вычисления без необходимости доверенной настройки или раскрытия деталей вычисления. Представленные Беном-Сассоном и его коллегами в 2018 году, zk-STARKs устраняют ключевое ограничение zk-SNARKs: они не требуют фазы предварительной обработки, уязвимой для компрометации. Вместо этого STARKs полагаются только на криптографические хеш-функции, что делает их проще, прозрачнее и, как считается, постквантово устойчивыми.
Читать метод полностью
Войдите с бесплатным аккаунтом, чтобы прочитать этот раздел.
Карта метода
Окружение родственных методов — выберите узел, чтобы перейти к нему.
Источники
- Ben-Sasson, E., Bentov, I., Horesh, Y., & Riabzev, M. (2019). Scalable, transparent, and post-quantum secure computational integrity. In IACR Cryptology ePrint Archive, Report 2018/046. link ↗
- Ben-Sasson, E., Riabzev, M., Rozenkraut, M., Shacham, H., & Stemen, M. (2021). Aurora: Transparent Succinct Non-Interactive Zero-Knowledge Proofs. In IACR Cryptology ePrint Archive, Report 2018/828. link ↗
Как цитировать эту страницу
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/ru/cryptography/zk-stark
Какой метод?
Поставьте этот метод рядом с ближайшими родственными и прочитайте их бок о бок — библиотека выкладывает книги на стол, а выбор за вами.
- Криптография на основе решётокКриптография↔ сравнить
- Постквантовая криптография (Kyber)Криптография↔ сравнить
- ЗК-СНАРККриптография↔ сравнить
Упоминается в
Нашли ошибку на этой странице? Сообщите о ней или предложите исправление →