Um ZK-STARK, abreviatura de Zero-Knowledge Scalable Transparent Argument of Knowledge, é um sistema de prova cripto utilizado na tecnologia blockchain e criptomoedas concebido para fornecer uma forma de os utilizadores provarem a validade de determinadas informações ou cálculos sem revelarem quaisquer dados subjacentes.
Parte de uma classe de técnicas cripto conhecidas como Zero-Knowledge (ZK) proofs, as ZK-STARKs permitem que uma parte (o provador) demonstre o conhecimento de determinadas informações a outra parte (o verificador) sem revelar as informações propriamente ditas.
Uma das principais vantagens das ZK-STARK é a sua escalabilidade . Ao lidar com grandes conjuntos de dados, as ZK-STARKs requerem menos tempo para provar e verificar do que as ZK-SNARKs. Isto torna-as ideais para casos de utilização que lidam com grandes volumes de dados.
As ZK-STARKs foram concebidas para serem transparentes, o que significa que qualquer pessoa pode verificar a correção de uma prova ZK-STARK sem ter de se basear numa configuração de confiança ou em pressupostos cripto específicos. Têm várias aplicações no espaço da criptomoeda , incluindo transações que preservam a privacidade, computação verificável e partilha segura de dados.
