官术网_书友最值得收藏!

1.12.2 智能合約的實現(xiàn)方式

通過區(qū)塊鏈實現(xiàn)的智能合約中,智能合約的去中心化屬性通過區(qū)塊鏈中的分布式一致性算法來保證。分布式一致性算法就成了智能合約的主要組成部分。除此之外,為了描述智能合約,就需要一種特定的描述語言來支持,這種描述語言一般就是一種特別設(shè)計的編程語言。

比特幣提供了一種圖靈不完備 圖靈完備是一個計算機學(xué)概念,具備圖靈完備的語言理論上可以完成一切可計算問題的編程。圖靈不完備則表示這門編程語言缺乏一定的基礎(chǔ)結(jié)構(gòu),不能完成所有的編程任務(wù)。 的腳本語言。通過這種腳本語言可以實現(xiàn)有限的智能合約,主要包括支持多重簽名的賬戶、第三方托管服務(wù)、跨鏈交易等。主流語境中人們通常不認(rèn)為比特幣實現(xiàn)了智能合約,但是從這門腳本語言的成果來看,我們可以認(rèn)為比特幣支持了一定程度上的智能合約。

智能合約最有名的實現(xiàn)成果應(yīng)該是以太坊。以太坊提供了一門幾乎圖靈完備的編程語言。結(jié)果就是理論上開發(fā)者可以在以太坊的智能合約上編寫任意復(fù)雜的邏輯,甚至可以實現(xiàn)自己能想到的任何程序。得益于此,以太坊上出現(xiàn)了形形色色的應(yīng)用,甚至因此出現(xiàn)DApp這種新的程序類別。

主站蜘蛛池模板: 宝山区| 睢宁县| 福贡县| 都兰县| 遂宁市| 武夷山市| 沙湾县| 隆安县| 岢岚县| 新和县| 鄢陵县| 故城县| 四会市| 甘泉县| 肃南| 沭阳县| 东方市| 墨江| 华池县| 鹿邑县| 康马县| 苏尼特右旗| 调兵山市| 夏河县| 阜宁县| 保山市| 阿鲁科尔沁旗| 达州市| 合阳县| 杭锦后旗| 沂水县| 武穴市| 平凉市| 石城县| 石台县| 长兴县| 杭锦后旗| 贡山| 昂仁县| 安丘市| 霍邱县|