O zk-STARK é um tipo de prova criptográfica altamente segura que utiliza os princípios de Zero Knowledge Proofs (ZKP) para criar dados criptografados que podem ser facilmente verificados sem revelar informações confidenciais sobre esses dados e, o melhor de tudo, com resistência à computação quântica garantindo a sua segurança num futuro não tão distante.