A Formal Analysis of Tangible Encryption: Non-Fungible Tokens as Persistent, Ownable Roots of Trust in Secrets Management Systems | Synapse