智能合约是一种无需中介、自我验证、自动执行合约条款的计算机交易协议，近年来随着区块链技术的日益普及而备受关注。区块链上的智能合约具有去中心化、去信任、可编程、不可篡改等特性， 可灵活嵌入各种数据和资产， 帮助实现安全高效的信息交换、价值转移和资产管理， 最终有望深入变革传统商业模式和社会生产关系， 为构建可编程资产、系统和社会奠定基础。本文致力于以区块链智能合约为研究对象， 对已有的研究成果进行全面梳理和系统概述， 提出了智能合约的基础架构模型并以此为研究框架阐述了智能合约的运行机制与基础架构， 总结了智能合约的研究挑战与进展， 介绍了智能合约的技术优势与典型应用领域， 讨论了智能合约的发展趋势， 以期为智能合约的后续研究提供参考。