Balances Prover A Phat Contract that proves the balance of a Substrate account to an EVM smart contract.