Cloak 的隱私模型基於 存款和取款模式， 其中存款僅包括 一個加密承諾， 而取款僅包括 一個零知識 (ZK) 證明， 因此它們之間沒有鏈上連結。 一個票據持有提取資金所需的秘密， 它被視為私鑰。 承諾是金額 + 隨機性 + 消費密鑰的 Poseidon 哈希， 存儲在鏈上的 Merkle 樹中。 要提取資金，ZK 證明顯示 成員資格、秘密擁有權、 無效標記的有效性和正確的值， 而不透露哪個票據被花費。 無效標記通過將票據標記為已花費來防止雙重花費。 這種設計允許 私密驗證和消費， 由 SDK 直接從鏈上狀態生成證明。