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

高級的BCH智能合約

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

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

Spedn說明書

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

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

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

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

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

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