协同技术： Petri网信息存储分布式账本技术可信执行环境安全分析安全模型形式化分析形式化方法数据隐私保护
应用领域-信用与存证： 信任体系信任问题智能法律合约
应用领域-数字货币： 比特币
应用领域-金融： 交易合同资产管理
技术特征： 一致性公开透明去中心化可信度可验证安全保障安全性自动化高可信
核心技术-共识机制： 共识机制
核心技术-加密算法： 密码学零知识证明
核心技术-安全技术： 访问控制隐私安全
核心技术-数据存储： 区块链区块链技术
核心技术-智能合约： 区块链智能合约智能合约智能合约安全链码
核心技术-网络协议： 对等网络
监管治理： 法律效力
项目平台： Ethereum以太坊区块链平台
智能合约的合约安全和隐私安全研究综述
基于SmartVerif的比特币底层协议算力盗取漏洞发现
基于区块链智能合约的应用研究综述
基于CPN的智能合约交易顺序依赖漏洞的验证
物联网应用中访问控制智能合约的形式化验证
以太坊中间语言的可执行语义
智能法律合约及其研究进展
智能合约的形式化验证方法研究综述
