Apr 16, 2024 Phoenix Security Analysis Research A formal security analysis of the Phoenix transaction model, proving non-malleability, ledger indistinguishability, balance and note spendability. Download PDF