唯一性、可交易性、互操作性和可编程性