Zk-STARK означают масштабируемые прозрачные аргументы знания с нулевым знанием и являются разновидностью технологии криптографического доказательства, которая позволяет блокчейн переложить вычисления на одного внецепочечного проверяющего STARK, а затем подтвердить целостность вычислений с помощью внутрицепочечного проверяющего STARK. Первая публикация STARK была выпущена в 2018 году.
Zk-SNARKs (zero-knowledge succinct non-interactive argument of knowledge), которые использовались для построения zk-защищенных систем до разработки zk-STARKs, представляли собой уязвимость доверенных сторон, подвергающих опасности конфиденциальность системы из-за необходимости первоначальной настройки zk-защищенной системы. Zk-STARKs, изобретенные компанией StarkWare, продвигают эту технологию, устраняя требование надежной настройки. В основе работы STARK лежат хэш-функции, которые имеют ряд преимуществ, включая квантовую стойкость.
Основное применение систем проверки знаний, подобных zk-STARK, сосредоточено на разработке безопасных и частных систем с полной децентрализацией информации и ограничениями доступа. zk-STARK также может использоваться для увеличения масштабируемости блокчейна, позволяя криптографическим доказательствам требовать меньше места для хранения. Это очень важно для таких криптовалют, как Bitcoin (BTC), поскольку размер блока определяет, сколько транзакций может быть обработано в секунду.