智能合約已被視為引領(lǐng)未來的交易技術(shù)，但它們對區(qū)塊鏈有何價(jià)值，以及它們?nèi)绾卧贗nsolar平臺上實(shí)施？

什么是智能合約？

智能合約是存儲在區(qū)塊鏈上的代碼，在執(zhí)行時(shí)可以改變其狀態(tài)并將結(jié)果存儲到區(qū)塊鏈中。 執(zhí)行可以由外部事件或另一個智能合約觸發(fā)，稱為“呼叫”。 因此，智能合約可以被視為用戶呼叫的程序或服務(wù)，以便與智能合約所代表的信息或能力一起操作。您可能已經(jīng)從上面的解釋中已經(jīng)意識到，如果智能合約可以“隨時(shí)隨地”添加到區(qū)塊鏈中，那么區(qū)塊鏈可以實(shí)現(xiàn)擴(kuò)展和定制以提供服務(wù)并進(jìn)行以前不能實(shí)現(xiàn)的操作。 但在我們開始研究像Insolar區(qū)塊鏈那樣的可升級智能合約的可能性之前，讓我們來看看前幾代的智能合約。

智能合約的演變

事實(shí)上，正如任何其他區(qū)塊鏈一樣，比特幣也有兩種形式的智能合約：（1）內(nèi)置邏輯，支持地址和交易的核心功能，（2）交易的特殊腳本，指定交易 可以添加到比特幣區(qū)塊鏈。

隨著以太坊區(qū)塊鏈的出現(xiàn)，智能合約的展現(xiàn)出另一個方面：區(qū)塊鏈網(wǎng)絡(luò)的行為和功能不受核心區(qū)塊鏈開發(fā)人員的限制，并且可以由使用用戶和社區(qū)添加和使用 新的智能合約。

以太坊的出現(xiàn)是一場革命，它引發(fā)了以太坊為中心的的許多發(fā)展。 除了揭示以太坊開發(fā)人員采用的原始方法的各種限制。例如保存代碼與數(shù)據(jù)，復(fù)制代碼，使用非行業(yè)標(biāo)準(zhǔn)，新虛擬機(jī)和語言等。

如何存儲每個數(shù)據(jù)更改的完整代碼？

隨著更多交易的執(zhí)行，流行的合約分類賬不斷增長，這使得與用戶合作成本提高。 這是因?yàn)楦嗟拇鎯臻g成本更高，并且這些成本以合同執(zhí)行的價(jià)格傳遞給最終用戶。 此外，也存在用戶不需要各個方面的代碼，但是依然為它占用的存儲空間付費(fèi)。

雖然可以解決這些技術(shù)方面問題，但還有一些其他設(shè)計(jì)決策使得類似以太坊的智能合約解決方案的實(shí)際應(yīng)用對于全面業(yè)務(wù)實(shí)施而言是有問題的。

例如：如果您的智能合約呼叫其他人的智能合約，您將對由于呼叫而發(fā)生的任何更改承擔(dān)全部責(zé)任，包括所有已產(chǎn)生的費(fèi)用，無論這些費(fèi)用是由于故障還是錯誤引起的。 這意味著用戶需要完全理解并對其所有操作負(fù)責(zé)。 從技術(shù)角度來看，這種方法清晰簡單，但與我們?nèi)粘Ｉ詈蜆I(yè)務(wù)中的服務(wù)式方法完全相反。 當(dāng)有人訂購比薩餅時(shí)- 比薩餅的價(jià)格是在交付時(shí)支付的，并且沒有必要了解整個生產(chǎn)周期，從意大利的番茄種植開始到最后的制作和工作時(shí)間政策到最后的交貨快遞。

這些問題是我們在創(chuàng)建Insolar區(qū)塊鏈平臺時(shí)已經(jīng)進(jìn)行了考慮

Insolar的智能合約

Insolar平臺為智能合約提供了一系列可在不同情況下實(shí)現(xiàn)高效使用的獨(dú)特功能。

首先，Insolar將智能合約視為“黑匣子”：合約不需要知道彼此的內(nèi)容，除非他們互相通訊。 智能合約使用特定版本的代碼，在使用中更新狀態(tài)，并且可以接收和生成呼叫，而其代碼和所有傳入和傳出信息都存儲在區(qū)塊鏈中。 這使Insolar能夠使用不同的虛擬機(jī)來運(yùn)行合同。 此外，對智能合約行為的再現(xiàn)性有嚴(yán)格的要求，在每次通訊（交易）的驗(yàn)證過程中都要檢查。

當(dāng)然，除非使用特殊類型的虛擬機(jī)，否則這不能提供100％的再現(xiàn)性保證，但它可以使用戶和開發(fā)人員能夠選擇最適合他們的方式。

此外，Insolar提供了一些不同的機(jī)制來幫助開發(fā)人員和用戶輕松定制智能合約以滿足他們的需求：

●使用域的分層治理- 可以在域（特殊合同）中部署合同，并通過代碼版本、訪問策略、共識規(guī)則和存儲要求接受對域的控制。

●智能合約的組成- 合同可以包括其他合同以重用其功能，但在某種程度上限制對它們的外部訪問。

●復(fù)合合同的授權(quán)- 當(dāng)智能合約允許將某些功能動態(tài)委派給嵌入式合同時(shí)，將使用組合的高級版本，這樣可以動態(tài)升級現(xiàn)有合同的功能而無需更改代碼，同時(shí)可以包含其他合同。

Insolar的目標(biāo)是建立一個智能平臺，使一切都是依照合約。 這意味著從內(nèi)置函數(shù)到平臺行為擴(kuò)展的所有內(nèi)容都可以作為契約訪問和組織，具有相同的尋址和調(diào)用方案。 甚至外部集成也表示為特殊的智能合約，它聲明了傳入和傳出外部調(diào)用的API 。

Insolar地址穩(wěn)定

每個合同都保存在分類帳中并獲得自己的地址，該地址在整個周期內(nèi)都不會更改，并且由創(chuàng)建記錄的地址定義。 智能合約狀態(tài)的每次更改也會獲得一個地址，但這些不被視為合同地址。

正如標(biāo)準(zhǔn)合同關(guān)系一樣，各方不愿向公眾披露所有細(xì)節(jié)。 因此，Insolar構(gòu)建了其平臺，以便智能合約代碼和數(shù)據(jù)僅被披露給分配用于執(zhí)行合同實(shí)例的節(jié)點(diǎn)。

可升級的智能合約

我們并不是生活在一個完美的世界中：正如立法需要隨著時(shí)間的推移而修改或者法律中的錯誤被揭露，因此需要更新智能合同代碼中的問題以解決問題。 因此，Insolar區(qū)塊鏈的另一個特性是能夠?yàn)橹悄芎霞s啟用代碼升級。當(dāng)智能合約的代碼在區(qū)塊鏈上發(fā)布時(shí)，還會發(fā)布升級它的規(guī)則（定義更改代碼版本所需的內(nèi)容）。 這些規(guī)則通常將升級決策委托給相關(guān)域（特殊合同），但域策略可以完全控制升級，例如，用戶可以采取或拒絕升級合同的決定。 通過相同的程序，可以擁有不可變和防篡改的合同，并確保合同也只能調(diào)用不可修改的合同。

在Insolar使用中，我們不強(qiáng)制執(zhí)行，但允許升級智能合約。 升級后的合同與現(xiàn)有法規(guī)一起發(fā)揮作用，允許法律授權(quán)的組織（如法院）糾正交易。 使用此機(jī)制可以輕松糾正錯誤，這意味著可以調(diào)整合同執(zhí)行，并且無需回滾以解決問題。

協(xié)調(diào)智能合約

與所有智能合約一樣，合約包含數(shù)據(jù)及其狀態(tài)。 訪問契約的簡單方法是通過只讀調(diào)用，其中可以同時(shí)為同一對象提供多個只讀調(diào)用。 然而，一些操作可能需要改變狀態(tài)，甚至跨多個合同協(xié)調(diào)狀態(tài)變化，而每個合同都是“黑匣子”。 處理此問題需要許多數(shù)據(jù)庫應(yīng)用程序用來實(shí)現(xiàn)的各種排序和鎖定技術(shù)。 這簡化了合同創(chuàng)建，因?yàn)镮nsolar提供了更接近Insolar的基礎(chǔ)架構(gòu)，提供跨多個合同的分布式事務(wù)的透明支持，以及針對區(qū)塊鏈的特定性質(zhì)量身定制的隔離概念（例如“已驗(yàn)證”和“已完成”，而不是“已提交”）。

智能合約為區(qū)塊鏈帶來了巨大價(jià)值，但在之前的區(qū)塊鏈中存在實(shí)施問題。Insolar智能合約為流程自動化領(lǐng)域引入了幾項(xiàng)新功能，同時(shí)降低了成本并增加了交易隱私。 這些創(chuàng)新使Insolar成為最先進(jìn)的區(qū)塊鏈平臺之一，并對其他區(qū)塊鏈提供的智能合約進(jìn)行了重大改進(jìn)。