Page 22 - Microsoft Word - CIC Whitepaper 0528＋繆�；

基礎應用可以達成創建投票、眾籌、拍賣、多重簽名錢包等等的智能合

約，進階可達成隨區塊演進，執行合約自我機器學習、演化與進化。

初步設計 CIC 智能合約所使用的語言為 TOCG，由 CIC 定義智能合約的嚴
格類型的純函數式編程語言。語法與 javascript 相當，但與 javascript 不同，

此開發語法目前已經被深度改良。

聲明數據類型
在 TOCG 中，為了定義數據類型，我們給出類型的名稱或是模糊的類

型，然後是任何類型參數，以及構造函數的替代列表––就像在 javascipt 中㇐
樣。每個構造函數的選擇都有其參數的類型。

var cic = { cell:”intelligence”}

宣告數值

var cic = 100+200

智能合約運算

TOCG 在智能合約計算特有的語言中構建了㇐種重要類型：類型構造函數

Comp，它帶有㇐個類型參數。最簡單產生變數的方法，是使兩個計算構造函
數成功，該函數使用 A 類型的值（對於 A 的任意選擇）獲得值 M，並生成

Comp A 類型的計算，這表示成功返回 M 的智能合約計算。若是以失敗的基
礎構建類型為 Comp A 的值，將表示計算失敗。

5.4 suBFT

有別於以往傳統的共識模式，而 BFT 有別於以往的 PoS 與 PoW，絕對沒

有分岔的問題，只有經過當下 66%以上節點或資產驗證的區塊才會被收編，而
這樣的概念也已經被驗證了，剩餘的 34%在沒有搜集到足夠證明之前是不可能

產生出區塊來。

21