With the advent of Intelligent Transportation Systems (ITS), data from various sensors embedded into vehicles or smart cities infrastructure are of utmost importance. This ecosystem will require processing power and efficient trust mechanisms for information exchange in vehicle-to-everything (V2X) communications. To accomplish these requirements, both edge computing and blockchain have been recently adopted towards a secure, distributed, and computation empowered Internet of Vehicles (IoV). This paper surveys prominent solutions for blockchain-based vehicular edge computing (VEC), provides a taxonomy, highlights their main features, advantages, and limitations to provide subsidies for further proposals.