Smart contracts are not in any of those projects you mentioned. First off, Etherium doesnt exist and has scaling issues(bloat). Etherium also said there is a chance they will never exist. It was in the disclaimer that nobody read. Counterparty only released an article and their implementation is too bulky on the blockchain.....Since Bitbay is joining with Halo, BitBay will be getting all of these resources.