以下关于智能合约说法错误的是？

A、智能合约本质上是一个运行在区块链上的程序
B、智能合约通过交易，记录区块链上每一次事务
C、联盟链不支持智能合约
D、Solidity是一种常用的智能合约编程语言