Le zk-STARK est un type de tests cryptographiques hautement sécurisés qui utilisent les principes de Zero Knowledge Proofs (ZKP) pour créer des données cryptées qui peuvent être facilement vérifiées sans révéler d'informations sensibles sur lesdites données, et le meilleur de tous, avec résistance à l'informatique quantique, garantissant sa sécurité dans un avenir pas si lointain.