比特幣現(xiàn)金支持者“Tendo Pein”為BCH協(xié)議設計出了智能合約編程語言

周三，一位名叫Tendo Pein的開發(fā)者宣布為比特幣現(xiàn)金網絡推出一種新的智能合約編程語言。Pein稱Spedn是一種基于BCH的語言，設計的目的是為了明確和安全，同時擁有似于C編程環(huán)境的語法。

高級的BCH智能合約

比特幣現(xiàn)金支持者們已經引入一種專門為BCH協(xié)議設計的智能合約編程語言。開發(fā)者Tendo Pein最近在一篇文章中表示，用比特幣編譯智能合約其中一個困難就是腳本語言。Pein說道，比特幣腳本是一種堆棧式編程語言，類似于Forth語言和環(huán)境。但是Pein并沒有放棄，而是用對Haskell數據處理語法的熱情開始構建Spedn。

Pein在他的帖子中宣布：“今天我很高興地發(fā)布Spedn——比特幣現(xiàn)金的高級智能合約語言。設計目的是為了明確和安全：是靜態(tài)類型，可以在編譯的時候檢測是許多錯誤；是顯式類型，可以不用猜測返回什么表達；是純函數，沒有副作用，這是常見的漏洞來源；擁有類似于C語言的語法?！?/p>

Spedn說明書

語法概述和兩個智能合約例子

Spedn的介紹文檔可供BCH開發(fā)者審閱和提供反饋。這份說明書詳細介紹了語法概述、合約模板、詞匯范圍等等。此外，還詳細介紹了數學函數、哈希函數、密碼檢查以及用于編譯的命令行界面。Spedn的說明書進一步為開發(fā)者提供了理解比特幣腳本的快速入門指南和注釋。

Pein智能合約語言的說明書還給出了將其用于零確認處罰的例子，這是一份基于BCH開發(fā)者Awemany的合約。Spedn列出的另外一個例子是Chainbet協(xié)議，最初是由Jonald Fyookball創(chuàng)建的。Chainbet是一種BCH協(xié)議，允許用戶它以去中心化的方式在鏈上投注。在Pein的示例中，這位開發(fā)者表示：“競猜由幾個步驟組成，都可以用Spedn來表達?！?/p>

用Spedn語言表達Jonald Fyookball的Chainbet協(xié)議

與以太坊網絡的Solidity編程語言類似，比特幣現(xiàn)金協(xié)議現(xiàn)在有一種可供開發(fā)者可以使用、專門為BCH智能合約設計的編程語言。但Spedn的創(chuàng)建者強調，就開發(fā)而言，該項目仍處于起步階段。

Pein補充說：“可能會出現(xiàn)很多重大更改，這并不是一個智能合約開發(fā)者開箱即用的解決方案。”他正在尋找能夠提供語法創(chuàng)意、代碼審查、單元測試和漏洞報告的貢獻者。