比特幣的智能合約語言

Ⅰ 什麼是智能合約

智能合約"(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平台受到廣泛歡迎，合約執行量將趨於穩定。