BOScoin是一個使用了數據區塊鏈及其它多項新技術，能夠規避去中心化系統弊端的加密貨幣。（1）Trust Contracts是一個基于Owlchain的，擁有可決策性程序化框架的，能夠安全運行的協議。Owlchain是具有可決策性的程序化框架，由Web Ontology Language Language（OWL）與 Timed Automata Language組成。該構成可以保障Trust Contract的安全運行，并能夠克服既有智能協議因為不具有決策能力（undecidability）而造成的諸多問題。。 （2）Congress Network作為 BOScoin 網絡的決策機構，可以改善在分散型組織發生的支配管理問題，并促使系統能在堅固的生態圈中不斷進化。

1. 引言

a. 背景

數據區快鏈是2008年由中本哲史在論文“Bitcoin： A Peer-to-Peer Electronic Cash System”中首次提出的新概念，并于第二年通過比特幣的核心技術得以實現。比特幣是一個可以公開記錄個人貨幣傳輸信息的金融交易分類帳，使用了數據區塊鏈技術。比特幣是為了解決雙重支付問題，而使用數據區塊鏈的最早案例。雖然，沒有中央集權管理者，它仍然成功實現了1.8億個 P2P（peer-to-peer）交易，并達成了10億美金以上的市值。

隨著比特幣的成功，應用數據區塊鏈技術的系統層出不窮。目前，已有數百個加密貨幣百花齊放。據IBM近期報告所述，90%以上的銀行正投資于數據區塊鏈技術 。貨幣交易雖然是數據區塊鏈技術最為普遍的應用，在金融商品及服務、物流信息、財產所有權、身份信息等其它數字資產使用數據區塊鏈技術進行管理的嘗試也不斷增多。

2016年加密貨幣Ethereum獲得了世人的矚目。Ethereum是一個可以應用于任意狀態變化函數實現的協議生成的，內嵌圖靈-完整程序語言的數據區塊鏈 ，以向數據區塊鏈提供智能協議為目標。

Ethereum的目標是讓用戶使用的所有程序或者協議能夠應用于數據區塊鏈。與比特幣一樣，Ethereum可以讓試圖使用數據區塊鏈與協議機制，偽造惡意的節點內容的協議，最終被數據區塊鏈清除。比特幣可以讓賬戶間傳輸的比特幣量保持完整。而Ethereum也需要保障所運行的協議完整性。

智能協議能夠讓去中心化應用程序開發實現模式更替。即使程序不在中心化服務器運行，也可以在任何地點運行相同的邏輯。智能協議可以應用于諸如以去中心化市場、貨幣交易平臺、去中心化全球超級計算機開發為目標的 Golem 項目。

但是Ethereum所使用的圖靈-完整語言所具有的自由性與靈活性特點，成為了導致許多嚴重的問題的誘因。由于圖靈-完整語言無法進行決策，所以不適于制定智能協議 。由于它不具有決策性，以圖靈-完整語言為基礎的智能程序將無法預知其運行后的情形。Ethereum試圖應用相關計算工作的費用（煤氣），來解決該問題。但是在開發、運行智能程序過程中所使用的語言內部固有的問題，將會引發一系列安全缺陷 ， 并導致類似于The DAO 的失敗案例發生。

b. 建議

Trust Contracts.作為該問題的解決方案，BOScoin使用了可以讓普通用戶也可輕松讀懂，并且能夠通過數學證明其智能合同是否可以進行計算化決策的域細化語言（domain-specific language）。所以我們的目標是通過BOScoin，開發基于 Trust Contracts-Owlchain的技術，使協議平臺能夠安全運行。

同時，我們希望通過BOScoin解決加密貨幣所常見的問題。

決策問題 去中心化的系統缺乏一個系統化決策流程。在加密貨幣的世界里，有幾個由于缺乏決策流程而導致問題出現的案例。BOScoin為了持續改善軟件與整個生態圈，搭建了一個由組成議會網絡的節點運營者參與的，能夠提交Proposal，參與投票，稱作‘議會網絡’的管理系統。BOScoin為了提升自治權及整個系統的公正性，設置了通過議會投票制定的，具有相當數量的，稱作公共預算（Commons Budget）的公共預算。

防止中心化協議的算法 。 只使用PoW類型合約協議的類似于比特幣的加密貨幣，由于其經濟利益與政治利益未被分割，而導致了一些問題出現。通過購買更多的采掘（Mining）設備，用戶可以提高其在數據區塊鏈中的控制力（政治層面），并增加采掘收入（經濟層面）。而BOScoin使用了區分經濟利益與政治利益的合約機制（詳情見下文），克服了這些問題。想要獲得政治權利與經濟收益，需要增加對系統的投資。用戶可以通過擴充節點數增加投票數（運營中的一個節點意味著議會中的1票）或通過投資預存補償金或區塊生成補償金（與節點數相掛鉤的貨幣量之補償），可以最大限度增加采掘收入。在這里所使用的合約協議的能量效率更高、更快。

應用程序生態圈。 由于去中心化的貨幣因其有限的使用場景，常常會成為投機的溫床。我們認為貨幣價值應與該貨幣本質上的效用相關。所以，我們BOScoin小組推出了使用BOScoin的兩種應用程序。已經開發完成的Stardaq 及 Delicracy不僅可以提升該幣的交易價值，對于增加用戶也會有所裨益。

2. Trust Contracts

A. 概要

BOScoin將使用由 Web Ontology Language （OWL） 與 Timed Automata Language （TAL）構成的Owlchain 技術。該技術的設計結構既可以擴張其表現力，還可以保持能夠使協議安全、準確的運行的可決策性。基于BOScoin的OWLchain 協議被稱為 Trust Contracts。

B．背景

在數據區塊鏈開發的協議有兩種形式。一種是在虛擬設備中使用靈活的程序語言，另一種雖然缺乏靈活性，但采用了具有可決策性特點的域細化語言（domain-specific language） 的方式。BOScoin小組選擇了第二種方式。與基于虛擬設備的加密貨幣不同，推論引擎基于賽門鐵克網頁技術，所以在代碼運行前，無法從代碼推論相關信息。協議具有可決策性，可明確性的特點。這是一個搭建具有協議功能的安全的，可持續的貨幣系統的核心概念。Ethereum為了解決這個問題，使用了市場機制，適用了復雜性價格。然而，我們認為以更為嚴格的OWL及TAL方式開發以數據區塊鏈為基礎的協議，能夠提供更為安全的環

境。

C．開發

基于HTML， HTTP， RDF 及OWL等標準網頁技術進行開發時，可以讓電腦通過可預測性分析共享信息。OWL與RDF將用于搭建不模糊的、結構化的數據分類體系。Ian Grigg提出了利用這些特性生成一個與所有支付系統組成要素相關聯的協議 Ricardian Contracts的概念。OWL與RDF雖然具有相似的特性，但現在的RDF標準不支持P-time完整性。然而，OWL標準由于使用了在已獲知的信息或在公理集合中，進行理論化結果推論的道具Reasoners，能夠保障P-TIME的復雜性。這意味著可以事先決定運行協議所需的時間。這些特性是OWL成為Trust Contracts基礎語言的核心原因。

OWL DL（description logic）是OWL的子語言，既可以保持計算的完整性，還可以最大限度施展其表現力。 OWL DL與 ISO20022樣式相同，在事先定義的龐大的語言及分類體系中運行。與交易相同，BOScoin特化的功能不在OWL指令集中提供，所以，其相關詞匯及分類體系需要在協議之外調用。為了解決這些技術性問題，我們建議在數據區塊鏈生成事先定義的Name Space Domain的方法。該Name Space Domain可以在協議中調用非標準化基本類型（分類體系）。為了保持OWL的可決策性及分類學的復雜功能， 將會謹慎添加非標準化基礎類型。

針對數據區塊鏈的圖靈-完整協議的另一個問題是非專業性人士很難讀懂圖靈-完整語言。如果說“代碼即法條”那 么代碼應讓所有人都能理解。如今，使用協議用圖靈-完整語言的貨幣，只有了解代碼的人才可以對其進行檢 查。BOSCoin采用OWL標準 及與SDLang 相同的語言與語法，任何人都可以讀懂協議內容，并正確理解其協議 所指的意思。

Timed Automata Language 的概念基于 Andrychowicz的論文 ‘基于Timed Automata的Bitcoin Contracts模型化’ 。TAL用于在 Trust Contract中使用的程序邏輯模型化。OWL及TAL的關系與 HTML與Javascript的關系類似。OWL提供數據結構，TAL則作為演算法運行。程序語言的演算法是一個類似與加減法的執行特定功能的語句。OWL提供信息，TAL提供電腦數據處理方法。TAL由于有global time factor，與其它程序語言稍微不同。執行協議所需的時間可以預先進行測試。通過對所有結果事先進行自動化測試，可以提供數據區塊鏈中無漏洞的協議平臺。

關于上述概念的詳細內容將在技術報告中進行說明。

2. 協議算法

a. 概要

共識算法是基于數據區塊鏈的貨幣或系統的核心。算法將致力于回答“如何證明所有分布式數據庫存有相同信息的集合？”

針對這個問題，BOScoin采用了以Stellar合約協議（FBA） 為基礎的修正的FBA（mFBA）協議算法。

Mazieres將 FBA協議的核心功能做了如下定義。

● 去中心化的控制：即使沒有中央管理者的許可，任何人都可以參加討論并達成協議。

● 更少的等待時間：節點可以設置人們通過網頁或支付交易所需的等待時間（如：多少秒）。

● 靈活的信任：用戶可以自由組合自己認為合適的項目。例如，較小的非營利機構也可令更大規模的機構保持對其的信任。

● 漸進的安全防護：安全依托于電子簽名與Hash Family。這些變數可以通過現實化調整另龐大的計算能量免受敵對勢力的攻擊。

● 決策功能：投票及議會運營相關的投票功能作為協議的附加功能得到添加。

b. Federate Byzantine Agreement 協議算法

比特幣的協議機制與傳統的拜占庭基礎協議需要所有網絡參與者達成一致。然而FBA不要求所有參與者都達成一致，各個節點可以根據自主判斷進行選擇。這可以讓金融網絡既能保持完整性，又可以實現有機的成長，達成更快捷的交易。

FBA由各個節點組成了小組（ 稱作法定人數Quorum）群組。因此，即使無法達成一致，也可以建立協議機制。達成交易后，將向群組內的所有人傳送信息。無需整個網絡認可數據狀態，當節點從可以信賴的節點獲取足夠數量的相同的信息，該節點將被視為信息正確。如果發生節點重復或者節點組松散，將創建同意同一個交易的歸屬不同小組的不同的節點。這樣的機制，能夠讓各個交易數據區塊，即使無法的到統一決策意見，也能夠在整個系統中達成一致。

c. mFBA算法有什么不同？

除了FBA，BOScoin的合約協議為了進行管控系統的維護，適用了類似于股份證書的特性。即，用戶在一個節點內可以預存10000個單位的BOScoin。作為遏制靈活性的作用的補償，用戶還可以獲得與預存于節點的貨幣數相對應的新發行的BOScoin（類似于預存金的利息）。

預存于節點的貨幣，除了可以獲得運行節點所需的經濟獎勵外，還將起到存儲于節點數據區塊鏈的信息安全與完整性的擔保作用。根據實現設定的規則，如果發現節點偽造了數據區塊鏈，預存的貨幣都將被沒收至Commons Budget賬戶。

3. 議會網絡

a. 概要

議會網絡作為BOScoin的民主決策機構，由各個Full Nod的運營者組成。雖然，人們常說加密貨幣是一個去中心化的自動化貨幣，但大多數情況，事實并非如此。存儲于代碼與數據區塊鏈的信息很容易受到上述二者的影響。為了克服這些問題，BOScoin建立了旨在完全去中心化，并實現自動化的稱作 ‘議會網絡’的決策機構。源代碼開發、數據叉及營銷資源可以從系統中獲取。

b. 議會網絡的作用

i. 議會成員

滿足如下條件即可以成為議會成員

● 以穩定的網絡速度，運行完全同步化的節點（Full Nod）

● 4個單位以上的貨幣預存（一個預存單位為10000BOS）

● 參加投票

任何人都可以成為議會成員。節點可以是議會成員使用的服務器或個人用電腦。只要網絡速度穩定，節點可以設置于家用或遠程服務器。

議會成員為了提高他們的政治影響力，可以運行更多的節點或通過擴大BOScoin預存，從而增加經濟收入。

ii. Users

用戶是BOScoin系統的受益人。他們將通過進行交易，提交提案，獲得BOScoins利息等三種方式與BOScoins網絡進行相互作用。相互作用如下圖所示。

c. 網絡的相互作用

i. 交易

當用戶請求進行交易，該請求將傳輸至議會網絡。我們可以對BOScoin做個簡單描述。即，當節點（約每5秒）確定數據區塊，用戶的交易被認可，BOScoin將轉到其它賬戶。如果是較為復雜的Trust Contracts，將根據事先定義的邏輯與步驟運行。BOScoin的初期手續費將固定為0.01BOScoin，但該費率可通過議會網絡投票進行調整。交易手續費，可以成為節點運營者的經濟性獎勵，也可用于建立針對DOS攻擊的防御機制。

ii. 提案

提案是指提交到議會網絡的公共預算使用計劃。為了制定提案，并獲得通過，必須讓同意或拒絕的投票超過10%以上的差距。提案通過后，相關貨幣將匯入提案人的賬戶。在某種情況下，比如提案的規模較大時，可以要求提交系統貨幣的使用記錄報告。

iii. 貨幣預存（Freezing）

貨幣預存是類似于POS的概念，當用戶預存了貨幣，那么將根據它的數額和預存時間獲得利息。該利息稱作補償金。用戶可以預存以10000BOS為一個單位的貨幣。預存貨幣，可以作為數據區塊鏈偽造保證金來使用。如果節點意圖偽造數據區塊鏈，那么預存的貨幣將被沒收，并匯入公共預算賬戶。為了建立保持貨幣價格的穩定機制，取消貨幣預存至少要提前2周進行通報。

d. 補償系統

議會網絡有獨特的獎勵機制。議會成員可以在一個節點預存 BOScoin，以最大限度謀求經濟補償或通過運行多個節點（1節點如圖1所示），最大限度增加投票權。

這樣的劃分類似于經濟與政治權利分離的概念，要么獎勵希望參與決策的動機，要么獎勵希望獲得經濟補償的動機。

由于比特幣依托于PoW協議，導致Hash Power過于集中。導致少數的巨型采掘者可以輕松購買比特幣采掘機。這將會導致代碼變更，或者影響數據區塊鏈的完整性。我們區分了尋求獲得經濟利益的人群，使得參與決策的門檻低于決策權限與金錢補償相掛鉤的系統。

議會成員獲得BOScoin的方法有如下三種：

● 預存補償金（Freezing Reward） ： 議會成員如果凍結了其貨幣，將獲得與一般賬戶用戶相同的利息。第一年起，總共11，500個BOScoins將被均分至各個預存的單位，該預存補償金將在每720數據區塊（約一個小時）發行一次。分配的總金額將在50年內，每年減少11.16%。

● 數據區塊補償金（Confirmation Reward） ： 確定數據區塊后，數據區塊生成補償金將被提供至該節點。該補償金是提供給節點運營者的核心獎勵。該補償金將與預存于節點的單位數掛鉤。同比特幣的數據區塊補償一樣，參與的節點數增加，獲得數據區塊生成補償金的概率減少。預存補償金與存到節點的金額等比。補償金將按每個數據區塊平均補償21的BOScoin開始。

第一個數據區塊補償金將從每個數據區塊21BOS開始，在100年內，每年同比減少7.36%。

● Transaction Fee： 交易手續費固定為0.01BOScoin。議會節點將獲得每個數據區塊交易手續費的70%，30%將匯入公共預算賬戶。交易手續費可以通過議會進行調整。

e. 決策結構

關于BOScoin內嵌的決策流程的創意來自Dash Coin 使用的方式，即Master Nod 通過投票進行決策的方式。BOScoin的決策是在提交提案后，如提案投票表決通過，提案所需的資金將會匯入公共預算賬戶。任何人都可以提交提案，提交截止日期是每個月第三個星期一的GMT24點。然后，針對該提案，議會成員將會在第四個星期一的GMT24點前進行投票表決。同意或否決之間的百分比差超過10%，提案會被通過。議會成員即使參加投票也有權保持中立，且在截止日期前隨時可以更改意愿。

為了提高提案獲得通過的概率，可以對提案進行擔保。需要1，000，000 BOS以上貨幣的提案，被劃分為上級提案。議會成員如果不對上級提案進行投票，他們將受到節點在兩周內不能使用預存功能的處罰。貨幣預存功能停用，則節點將無法獲得預存貨幣而獲得的任何優惠，且在兩周內無法預存貨幣。

f. 公共預算（Commons Budget）

公共預算（Commons Budget）是存放BOScoin的賬戶，只有通過了議會投票的提案方能匯款。公共預算的主要作用是在初期增加貨幣用戶的數量。公共預算主要通過兩個渠道進行積累。第一個是每個區塊直接發行50BOS，（約6年）內，第二個是積累30%的交易手續費。發行的所有貨幣中，公共預算占據最多的部分。它可以保障大幅提高BOScoin使用率所需的資金。

任何通過了議會表決的提案都可以獲得公共預算。比如說，可能有這樣的一些提案。即，為了增加BOScoin的用戶數，免費向用戶發派Airdrop。或者為了進行BOScoin生態圈開發資金劃撥，開展營銷活動，亦或召開BOScoin相關會議等。

5. 事先開發的應用生態圈

許多加密貨幣在他們的平臺上使用應用程序，并提供搭建方法相關案例。卻很少有以該貨幣運行的應用程序。加密貨幣的價值很難通過交易價值以及投機價值組成水平來獲得充分的了解，然而BOScoin的目標是通過與競爭單位進行比較，來提升交易的價值。長期來看，貨幣的核心價值在于該貨幣的使用價值。

與貨幣同步公開的如Stardaq及Delicracy這樣的應用程序，能夠讓用戶在BOScoin生態圈立即得到成熟、實用的服務。

a. Stardaq

Stardaq是知名人士人氣預測市場。它將以知名人士指數來體現。用戶可以根據知名人士的人氣上升或下降與否進行投注，投注只能使用BOScoin。

b. Delicracy

Delicracy是任何組織都可以適用的集體決策系統。它與（Augur）的預測市場 相似，用戶可以針對相關提案進行投注，并參與決策。投注最多的提案最終將被選定。這樣的方式的系統將有助于在各類組織中增強決策的透明性與參與的積極性。

這些服務可以成為免費發行貨幣的渠道作用，還可以成為使用BOScoin市場的作用。這些工具使用得當將有利于發展用戶，促進生態圈的成長。

這樣的應用程序可以成為使用BOScoin的使用場所，還可以成為免費發行貨幣的渠道。 這些工具使用得當將有利于發展用戶，促進生態圈的成長。

6. 技術藍圖

下表是講述主要日程的技術藍圖

7. 貨幣發行

新的貨幣將以四種方式發行。早期開發預算（0.5bil，10%），區塊生成補償（1.8bil， 36 %），預存金補償（0.9bil，18%）及 公共預算（1.8bil，36%）。我們將在100年內發行5.0億個貨幣。這個數額也可能發生變化。

● Initial Development Budget： 早期開發的貨幣是在Genesis區塊以前發行的貨幣，主要用于完成軟件的開發。該貨幣由ICO銷售及補償（Bounty）組成。5億個BOScoin將與Genesis數據區塊一同發行。

● Confirmation Rewards： Confirmation rewards是針對所發行的數據區塊（每5秒）的，隨機支付給節點的金錢性補償。由于補償是隨機進行的，隨著節點數增加，單個節點獲得補償的概率將減少。該補償將與預存于節點的單位數掛鉤（參考4d圖）。1.8億BOScoin將作為區塊生成的補償發行。初期，每個區塊將發行21個BOScoin。補償將以每年631萬區塊的速度分100年，每年減少7.36%。

● Freezing Rewards： 是指針對預存金的補償，將根據預存于節點的 BOScoin單位數進行分配，每720區塊（約1小時）發行。初期的總金額為11500。補償金為631萬區塊（大約1年），50年內，每年減少11.16%。針對預存金的補償，可促使議會成員增加預存于單個節點的貨幣數，并減少決策中央集權化的動因。

● Commons Budget： Commons Budget是支付給已通過Congress Network的提案的存有BOScoin的賬戶。為了編制充足的預算，第一次將發行3500萬個數據區塊（約5年半），每個區塊50 Commons Coins。第一個5年半以后Commons Budget將通過交易手續費30%的Commons手續費來維持。

8. 結論

BOScoin小組以克服各類加密貨幣技術與運營方面存在的問題為目標。獎勵制度及發行計劃以遏制權利的中央集權化及創造貨幣價值為目標。 mFBA算法可以提高能量的效率，并實現快速的交易。議會系統是為了實現民主化、建設性決策流程而搭建的。Trust Contract將提供在數據區塊鏈生成并運行協議的過程中，具有可決策性，可處理性的框架。BOScoin小組將運用通過數據區塊鏈技術獲取的安全性與完整性，實現上述目標。