《白话MIXIN》第四篇：可信应用

智能合约

智能合约的概念于1995年由尼克·萨博（Nick Szabo）首次提出，其本质是可信计算。当时缺少可信的执行环境，智能合约并没有实际应用。自比特币诞生后，其底层技术可以为智能合约提供可信的执行环境，以太坊是第一个将智能合约与区块链结合的项目。

Solidity是以太坊的智能合约实现的编程语言，运行在以太坊的虚拟机上（EVM， Ethereum Virtual Machine）。目前大部分去中心化应用（Dapp）要么在以太坊EVM上开发，要么兼容EVM。