通过编程语言窥视比特联储智能合约

编程语言，是用来定义计算机程序的形式语言。它是一种被标准化的交流技巧，用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。

第一代语言是与机器硬件密切相关的机器语言和汇编语言。从电子计算机出现时开始使用，因其与硬件操作相对应，所以其语言种类几乎与计算机种类相同。

第二代语言主要应用于各种计算，先后出现于20世纪50年代末至20世纪60年代初，包括FORTRAN、COBOL、Pascal和BASIC等。这些语言不仅容易被人们学习和使用，具有大量成熟的程序库.所以应用较为广泛，事实上成为现代或第三代程序设计语言的基础和前身。

第三代语言直接支持结构化构件，并且具有很强的过程能力和数据结构能力，包括结构化语言和面向对象语言，如结构化程序语言有C等，面向对象的语言有C++、Java、Delphi等。它大致分为通用高级语言、面向对象的语言和专用语言。

第四代语言属于超高级程序设计语言，虽然它与其他语言一样用其语法形式表示控制和数据结构，但不再涉及很多算法性细节。目前，使用最广泛的第四代语言是数据库查询语言SQL，它支持用户以复杂的方式操作数据库。另外，一些决策支持语言、原型语言、形式化规格说明语言，甚至计算机环境中的一些工具也被认为属于第四代语言的范畴。

比特联储智能合约基于区块链兼且图灵完备，不同于其他需要使用自己的编程语言的智能合约技术，UB致力于支持通用编程语言（包括C#、Java、Kotlin和LUA）使智能合约编程更简单易用。

比特联储致力于实现区块链技术的现实应用，这包括以其革命性的特性既支持日常生活使用，又充当全球金融和支付系统的补充。智能合约可以为比特联储增加无限的应用场景，这将极大地扩大其使用的价值。那么基于智能合约的编程语言为什么不采用EVM?EVM是专门为ETH创建的，是一种新的语言。对于基于LUA的UVM,LUA是一种相对成熟的语言，在安全性和稳定性方面都比较成熟，并且在实际应用中有更多的时间进行测试。它也比基于EVM的解决方案更快。UVM将增加对C#和JAVA的支持，而UB将发布一个IDEA，以促进智能合约的开发。

UB的智能合约允许用户编写自定义的行为，并在区块链中使用它们，而不是必须做一些(手动的)预定义操作。通过使用智能合约，用户可以轻松地配置复杂交易逻辑，以及执行复杂的财务契约。与此同时，用户可以扩展功能、添加权限或添加动态控件，而无需修改或升级区块链。智能合约允许用户将自定义的合约字节码注册到区块链中，并在UB中调用交易。合约字节码是在一个图灵完备的用于区块链的合约字节码虚拟机中执行的。开发人员可以使用具有友好语法的编程语言编写智能契约，然后将其编译成契约字节码并存储在区块链中。

比特联储的每个钱包都将区块链与契约交易同步，并调用虚拟机执行相关的协议字节码并验证。合约虚拟机使用图灵完备的虚拟机实现，合约虚拟机具有确定下，高性能，可扩展性等性质，可以和UB进行交互，执行合约字节码并返回执行结果。UB的合约虚拟机具有确定性的特点，一笔合约相关的交易上链后，任何时刻执行都有同样的结果，可以验证和复现。合约虚拟机使用账户模型进行价值传输，使得开发者在编写智能合约时更容易使用，而UB链的UTXO交易模型则通过账户抽象层传递。开发人员可以使用各种高级编程语言进行智能合约开发，并编译和生成合约字节码，存储在UB的区块链中。经过多方权衡,UB决定采用基于LUA改进的UVM虚拟机,并且后续增加部分模拟C#、Java以及EVM等类型虚拟机的模拟语言，以取得最为广泛的技术社区支持和介入.UVM在所有的虚拟机中会是最为高效的虚拟机之一，并且其底层语言经过了多年的社会实践与应用。在安全性方面，UVM将删除一些功能，如外部IO。在稳定性方面，UVM财务双重进程确保了异常进程退出以及持续执行的特性。

编程语言的诞生是为区块链智能合约提供保障，随着新兴技术的发展，编程语言也会更新迭代，智能合约也会随之改变，未来的世界正在因区块链而改变，让我们共同期待以比特联储为代表的加密货币改变未来。