从智能合约、智能法律合约等概念入手，依据现行法律条目的要求对智能合约法律化问题进行探讨，指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则，并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力，辨析使其与原合同文本具有同等法律效力需满足的条件。进而，结合智能合约系统架构及部署运行过程，在对所部署智能合约进行法律化辨析基础上对区块链智能合约及其链码的法律地位进行了论证。最后，对当前智能法律合约逻辑模型与语言模型的研究进展进行总结，并加以讨论和评价。上述工作表明当前智能法律合约研究是一条解决智能合约法律地位的可行途径，有利于从现行法上把握智能合约在合约逻辑、仲裁流程、形式化验证等方面的未来发展方向
