比特币的智能合约语言

Ⅰ 什么是智能合约

智能合约"(smart contract)这个术语至少可以追溯到1995年，是由多产的跨领域法律学者尼克·萨博(Nick Szabo)提出来的。他在发表在自己的网站的几篇文章中提到了智能合约的理念。他的定义如下:
"一个智能合约是一套以数字形式定义的承诺(promises)，包括合约参与方可以在上面执行这些承诺的协议。"
让我们更加详细地探讨他的定义的意思。
承诺
一套承诺指的是合约参与方同意的(经常是相互的)权利和义务。这些承诺定义了合约的本质和目的。以一个销售合约为典型例子。卖家承诺发送货物，买家承诺支付合理的货款。
数字形式
数字形式意味着合约不得不写入计算机可读的代码中。这是必须的，因为只要参与方达成协定，智能合约建立的权利和义务，是由一台计算机或者计算机网络执行的。
更进一步地说明:
(1)达成协定
智能合约的参与方什么时候达成协定呢?答案取决于特定的智能合约实施。一般而言，当参与方通过在合约宿主平台上安装合约，致力于合约的执行时，合约就被发现了。
(2)合约执行
"执行"的真正意思也依赖于实施。一般而言，执行意味着通过技术手段积极实施。
(3)计算机可读的代码
另外，合约需要的特定"数字形式"非常依赖于参与方同意使用的协议。
协议
协议是技术实现(technical implementation)，在这个基础上，合约承诺被实现，或者合约承诺实现被记录下来。选择哪个协议取决于许多因素，最重要的因素是在合约履行期间，被交易资产的本质。
再次以销售合约为例。假设，参与方同意货款以比特币支付。选择的协议很明显将会是比特币协议，在此协议上，智能合约被实施。因此，合约必须要用到的"数字形式"就是比特币脚本语言。比特币脚本语言是一种非图灵完备的、命令式的、基于栈的编程语言，类似于Forth。

Ⅱ 什么是RSK智能合约

1. RSK智能合约平台是基于比特币区块链的技术，旨在创建一个去中心化、图灵完备的智能合约环境，类似于以太坊。
2. RSK与以太坊不同，它构建在比特币生态系统之上，利用侧链技术来实现这一目标。这种技术的挑战与优势并存。
3. 智能合约是电子合约，能够根据预设的触发条件自动执行，这一概念由Nick Szabo在20年前提出。它们代表了商业自动化执行的未来，有潜力颠覆现有的商业模式。
4. 例如，智能合约可以实现按需经济，如根据每次旅行定制的保险合约，合约在达到预定行程终点或通过编程确定后自动终止。这种保险模式甚至可以采用P2P模式，使得传统保险公司难以竞争。
5. RSK智能合约平台能够实现这些创新想法。其特点包括一个图灵完备的虚拟机，这一虚拟机与以太坊虚拟机兼容，使得以太坊的合约能够在RSK上运行。
6. RSK的目标是在首发时实现20秒的区块时间，每秒300次转账交易（tps），并可扩展至1000tps。这完全能达到Paypal的处理水平，尽管还没有达到信用卡网络的吞吐量。
7. RSK最大的优势之一是它支持比特币合并挖矿，其安全级别与比特币网络相当。然而，这需要说服矿工采取行动。
8. RSK表示，他们将通过确保矿工能够从中获利来解决这个问题，执行合约的手续费将为矿工带来丰厚的收益。预计这将促使RSK平台受到广泛欢迎，合约执行量将趋于稳定。