北京师范大学学报（自然科学版）2025，Vol.61Issue(6)：758-768,11.DOI:10.12202/j.0476-0301.2025144
面向多方参与场景的数字货币智能法律合约构建研究
Constructing smart legal contract for digital currencies in multi-party participation scenarios
摘要
Abstract
Formal description and formal verification methods are used to develop the first smart legal contract for digital currencies tailored to multi-party application scenarios.A domain specific language model(DSLM)adapted to digital currency transactions was designed.A multi-party interaction temporal model based on computational tree logic(CTL)and linear temporal logic(LTL)was used to precisely describe execution sequence of transactions,interaction behaviors of participating parties,legal obligations and responsibilities of all parties during transaction.An automated smart contract code generation scheme was designed to automatically convert the transaction logic and temporal model described in the DSLM into smart contract code,significantly improving the efficiency of smart contract development but reducing human involvement and potential coding errors.This is applied in the enterprise loans involving multiple contracts and interactions among various parties.The smart legal contract for digital currencies is found to reflect business needs accurately,demonstrate excellent efficiency and legal compliance in the multi-party application scenario.关键词
智能法律合约/数字货币/多方参与/形式化方法Key words
smart legal contract/digital currencies/multi-party participation/formal method分类
信息技术与安全科学引用本文复制引用
章宁,刘嘉玥,陈昊祥..面向多方参与场景的数字货币智能法律合约构建研究[J].北京师范大学学报（自然科学版）,2025,61(6):758-768,11.基金项目
国家重点研发计划资助项目(2023YFB2705004) （2023YFB2705004）
