Core Smart Contracts for Vehicle Registration Token Project, a protocol for trace vehicle's property and their history in Ethereum blockchain.