Highlight Smart Contracts: An Introduction