O modelo de privacidade da Cloak baseia-se em um padrão de depósito e saque, onde depósitos incluem apenas um compromisso criptográfico e retiradas incluem apenas uma prova de conhecimento zero (ZK), portanto, não há ligação onchain entre eles. Uma nota guarda os segredos precisava retirar fundos, É tratada como uma chave privada. Compromissos são hashes de Poseidon de Quantidade + aleatoriedade + chave de gasto armazenado em uma árvore Merkle onchain. Para retirar, uma prova ZK mostra Filiação, propriedade secreta, validade do anulador, e valores corretos, sem revelar qual nota foi gasta. Anuladores impedem o gasto duplo marcando as notas como gastas. Esse design permite verificação e gastos privados, com provas geradas pelo SDK diretamente do estado on-chain.