一种语言独立的法律合约与智能合约一致性度量方法

摘要

本发明公开了一种语言独立的法律合约与智能合约一致性度量方法，精确度量法律合约和智能合约一致性。首先提出法律合约和智能合约部分一致性、完全一致性定义及度量指标，然后融合重写逻辑和语言独立的符号执行，提出语言独立的法律合约与智能合约一致性的度量方法，精确度量具体的法律合约的可计算部分和相应的智能合约代码的部分一致性和完全一致性。本发明提出的方法，能够用于度量任何语言描述的法律合约与区块链中任何语言开发的智能合约的一致性。