2018-10-26 Spedn:BCH的智能合約編程語言

2018-10-26 Spedn:BCH的智能合約編程語言

提要:週三,一位名為Tendo Pein的開發者宣佈他為BCH開發了一種智能合約語言“Spedn”。這種智能合約語言的語義和語法都很類似C語言。

近來一位名為Tendo Pein的開發者在博客中詳細闡述了比特幣中編寫智能合約的難點。在比特幣中編寫智能合約之所以非常困難主要是因為比特幣/BCH現行的腳本語言不太適合於編寫智能合約。比特幣/BCH的腳本語言是基於堆棧的語言,類似的編程語言還有Forth(這種語言已經基本退出了業界日常的使用場景)。

但Pein卻絕不放棄,併為此不懈努力,在激情和願望的激勵下他開始開發名為Spedn的語言。終於皇天不負有心人,本週三,Pein宣佈Spedn破繭而出。這種編程語言注重語義的顯式表達和安全性,能在編譯時發現各類錯誤,目前看來運行良好,幾乎沒有什麼大問題。其風格非常類似C語言。

Spedn的技術文檔已經在網上公開了,BCH開發者可以盡情審閱並提供反饋。下圖為文檔目錄截圖。

2018-10-26 Spedn:BCH的智能合約編程語言


網上公佈的技術文檔給出了詳細的語義和語法描述,智能合約模板等。此外還包含數學函數,哈希函數,密碼學校驗和編譯用命令行接口等方面的細節。

Spedn文檔中還給出了幾例處理零確認交易的合約代碼。零確認交易由BCH開發者Awemany倡導發起,用來保障BCH中零確認交易的安全。

此外,文檔中還有一例實現了Chainbet協議的合約代碼。該協議由Jonald Fyookball發明。Chainbet協議讓鏈上競猜在去中心化的情況下得以實現。在這個Chainbet合約實例中,競猜過程的每一步都可用Spedn編寫。下圖為代碼截圖。

2018-10-26 Spedn:BCH的智能合約編程語言


現在BCH的開發者終於也有了類似以太坊Solidity那樣的智能合約編程語言。但Pein強調Spedn仍然還在嬰兒期,後續會有很多重大的更新,目前Spedn還遠遠談不上能達到成熟使用的階段。Pein在積極尋找願意加入到項目的小夥伴,希望大家一起來參與語義的編寫,代碼審查,單元測試和問題報告等。

參考鏈接:https://news.bitcoin.com/meet-spedn-a-smart-contract-programming-language-for-bitcoin-cash/


分享到:


相關文章: