协同技术： 形式化验证
应用领域-信用与存证： 存证
应用领域-金融： 区块链交易合同
技术特征： 合法性合规性
核心技术-智能合约： 区块链智能合约智能合约链码
监管治理： 法律效力
基于要约–承诺的智能法律合约订立方法与实现
智能法律合约及其研究进展
