Facebook的Libra面臨著一項艱鉅的任務，那就是在明年某個時候在全球範圍內推出一種基於新程式碼的新型加密貨幣。在承擔這項任務的過程中，他們希望實現軟體歷史上的第一個目標:一個能夠立即執行的主要新程式碼體。我評估了在這裡工作的可能性。與此同時，他們還推出了基於全新語言的全新智慧合約框架，從而加大了賭注。

智慧合約是擴充套件和定製區塊鏈的一種方法。外界可能會認為，比特幣的競爭對手以太坊(Ethereum)之所以脫穎而出，是因為它的名字比比特幣還要酷，但內部人士知道，一個重要因素是它開創性地整合了首個廣為人知的智慧合約。下面是我對智慧合約的解釋。但有一個小問題:無論以太坊的智慧合約有多酷，對成千上萬個智慧合約的研究表明，實際上大多數智慧合約都有bug和安全漏洞。更糟糕的是，智慧合約是“不可變賬本”的一部分，而“不可變賬本”是為了確保事情的安全。Facebook已經悄然意識到，要讓原始的區塊鏈資料庫變得更加實用，需要智慧合約，但大多數智慧合約甚至都不夠智慧。他們將如何解決這個問題?網際網路和企業巨頭源源不斷地推出區塊鏈和加密貨幣計劃，其中一個美妙之處在於，它們往往用簡單明瞭的語言告訴我們，整個區塊業務存在致命缺陷。當然，他們不會這麼直接的說。他們知道他們已經建立了一個大大改進的區塊鏈系統(或者其他什麼)——一旦你完全意識到標準問題有多糟糕，你就會堅持購買他們新的、大大改進的版本。  正如我在這裡所描述的，微軟和英特爾在解釋他們的專有版本區塊鏈的奇妙之處時幫了我們所有人的忙。

Facebook遵循了這種明確的模式。它們實際上明確地指出，現有的智慧合約實現是危險的，充滿了bug和安全漏洞。但如果沒有它們，幾乎不可能構建出Facebook想要的那種勉強可用的加密貨幣系統。Facebook為自己的解決方案感到自豪:一種名為“Move”的新軟體語言。我花了一點時間學習這門新語言。對於他們正在解決的缺陷，開發人員通常是正確的，並且有效地支援了這樣一種觀點，即現有的智慧合約存在無可救藥的缺陷。他們很聰明，對問題提出了可信的解決方案。這只是有可能，在幾年之後，新的系統將會比舊的系統更好。但在做決定之前，讓我們做一些程式設計師逃避做的事情:快速檢視歷史。軟體歷史充滿了程式語言，每一種語言都是為了改進或修復早期語言中的問題而發明的。大多數新語言都被認為可以使程式設計更快、更靈活，減少任何型別的錯誤。經過半個多世紀對數千種新語言的研究，結果如何?詳情請參見此。對不起，人類是有創造力的，在任何媒介中都可能犯錯誤。儘管德國人可能深信德語在表達真理方面比法語更清晰、準確、更優越，但法國公民卻清楚地表明事實並非如此——與此同時，他們也表明，法語也好不到哪裡去。Facebook的團隊為我們提供了所有偉大的服務：讓人們廣泛瞭解智慧合約中被忽視的深層缺陷，同時幾乎可以肯定的是，在引入善意的同時，也增加了Libra出現嚴重問題的可能性。但是新語言聲稱結合了成千上萬的語言的優勢，將真正地把程式設計師帶到完美的土地上。