What properties must an enterprise smart contract language have? · HackerTrans