This is the repository for submission #95 to the Financial Cryptography and Data Security 2021 conference. Contract files are found inside the contracts directory.
The javascript test file is TestPhoenix.js, it should be run with Truffle v.5.1.10, using Ganache-CLI with ganache-core version 2.10.2.
The specification files are found in the specifications directory, intended for verification by the Certora prover. Fromally verifying the script is impossible without using a Certora key.