O sistema de Prova de Reservas (PoR) zk-STARK utiliza a teoria STARK, uma solução matemática complexa. zk-STARK significa: Zero-Knowledge Scalable Transparent Argument of Knowledge (argumento de conhecimento escalável e transparente com conhecimento-zero), uma tecnologia de prova de cripto baseada em ideia de Vitalik para determinar a integridade e a privacidade dos cálculos em blockchains.