数据资产市场——可执行契约