Phoenix Security Analysis

  • Research
A formal security analysis of the Phoenix transaction model, proving non-malleability, ledger indistinguishability, balance and note spendability.