A maior parte das ZKP enquadra-se em duas categorias: zk-SNARK zk-STARK Usamos zk-STARK porque é mais seguro e tem uma suposição mínima de segurança. Neste artigo, vamos explicar como usamos zk-STARK para proteger a privacidade do utilizador enquanto provamos a nossa solvência.Antes de continuarmos, é útil entender alguns termos básicos de ZKP, como Circuito, Árvore de Merkle e Compromissos. Para os principiantes, existem muitos recursos disponíveis para o ajudar a começar.

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 (ou argumento de conhecimento sucinto transparente de conhecimento-zero), uma tecnologia de prova de cripto baseada na ideia de Vitalik para impor a integridade e a privacidade dos cálculos em blockchains.