aptos prover - coin->FA migration

[MoonShiesty]

Discord user ID

moonshiesty

Describe your question in detail.

with the current state of coin.spec.move it seems difficult to verify much about the balance of coin withdraw/deposit. is there an ETA on proving the coin->FA migration code?

in the meantime, is there anything that can be verified about coin balances or is the best thing to do just leave coin balances unverified for now?

   /// Account is not frozen and sufficient balance.
   spec withdraw<CoinType>(
   account: &signer,
   amount: u64,
   ): Coin<CoinType> {
       // TODO(fa_migration)
   ```

[rahxephon89]

Thanks for the question, @MoonShiesty. We don't have a specific ETA for coin-->FA migration but will let you know once there is one.