北京大同区块链研究院发布首套Uni-Ledger智能合约及区块链系统

智能合约产品——Uni-Contract具有可视化、跨链访问、持久运行、合约动态规划、形式化验证的技术优势：可视化设计减轻了智能合约的设计难度，使非程序员也可以设计复杂的合约；跨链访问使智能合约模块可以独立于区块链运行；合约集群的方式代理用户签名，可以使智能合约在无需用户干预下自动化运行，实现用户的长期委托；合约执行虚拟机，通过动态时间注册、延时绑定等技术形成合约的动态规划；合约的形式化验证可以及时发现合约中的逻辑漏洞，保证执行过程的安全。