1. Solidiy:是使用最广泛的智能合约开发语言,设计用于在以太坊虚拟机(EVM)上运行。Solidiy受到C、Pyho和JavaScrip的影响,语法是接近JavaScrip的面向对象语言[[9]]、[[10]]、[[21]]。
2 . serpe:这是一种受Pyho启发的智能合约编程语言,它内置Serpe的所有功能,可以用Solidiy的编译器编译[[4]][[15]]。
3. Vyper:一种Pyho面向合约的编程语言,专门用于以太坊虚拟机,强调安全性、简洁性和稳定性[[7]][[29]]。
4. LLL:受Lisp启发的智能合约编程语言[[4]]。
还有其他用于以太坊开发的语言和工具。
Bamboo:一种将智能合约描述为有限状态机的语言[[7]]。
Rus是一种用于构建分布式应用程序的编程语言[[17]]。