ScholarGate
Асистент
Machine learningCryptographic proof systems

zk-STARK

zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) — це криптографічна система доведення, що дозволяє доводчику переконати перевіряючого у правильності обчислень без довіреного налаштування чи розкриття деталей обчислень. Представлені Беном-Сассоном та колегами у 2018 році, zk-STARKs вирішують ключове обмеження zk-SNARKs: вони не потребують фази попередньої обробки, вразливої до пошкодження. Натомість STARKs покладаються лише на криптографічні хеш-функції, що робить їх простішими, прозорішими та, як вважається, стійкими до постквантових атак.

Відкрити у MethodMindНезабаромВідеоНезабаромDownload slides

Читати метод повністю

Лише для учасників

Увійдіть із безкоштовним обліковим записом, щоб прочитати цей розділ.

Увійти

Method map

The neighbourhood of related methods — select a node to explore.

Джерела

  1. 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
  2. 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/uk/cryptography/zk-stark

Which method?

Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.

Compare side by side

Згадується в

ScholarGatezk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge). Отримано 2026-06-15 з https://scholargate.app/uk/cryptography/zk-stark · Набір даних: https://doi.org/10.5281/zenodo.20539026