Corda介紹Richard Gendal Brown, James Carlyle, Ian Grigg, Mike Hearn2016年8⽉摘要由相互不信任的節點組成的分佈式帳本讓單⼀的全球資料庫得以產⽣，其記錄機構和⼈員之間的交易和責任狀態。這不但⼤⼤消除⽬前將獨⽴帳本相互同步⽽所花的⼈⼒及時間，還可以提升⽬前⾦融業使⽤的代碼分享等級，從⽽為⼤家降低⾦融服務成本。我們向您介紹Corda，⼀個為滿⾜這些⽬標⽽設計的平台。本⽂為⼀般讀者作全⾯的介紹。即將出版的技術⽩⽪書會進⼀步說明設計和基礎建構決策。1目錄2目錄1介紹32主文33願景43.1最終狀態原理. . . . . . . . . . . . . . . . . . . . . . . . . . . 54 Corda 74.1主要功能. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74.2概念. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84.3共識. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94.4業務邏輯. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104.5核⼼⾦融概念. . . . . . . . . . . . . . . . . . . . . . . . . . . 104.6 Corda模型總結. . . . . . . . . . . . . . . . . . . . . . . . . . 115與其他平台的比較125.1與⽐特幣的⽐較. . . . . . . . . . . . . . . . . . . . . . . . . . 125.2與以太坊的⽐較. . . . . . . . . . . . . . . . . . . . . . . . . . 136路線圖137總結14參考文獻141介紹31介紹在R3，我們相信分佈式帳本技術具有使⾦融服務業脫胎換⾻的潛⼒，並使其客⼾及類似的參與公司受益。我們預⾒未來的⾦融合約可以記錄無誤及⾃動管理，⽽且任何⼈可以在毫無爭議的情況下就任何合約⽬的順暢執⾏交易。我們相信市場⾛向的模式是，涉及⾦融合約的各對象將記錄⾦融合約⼀次，並在保持這些合約準確及分享紀錄上相互合作。重複紀錄、對帳、無法配對、斷裂等問題將會成為過去。孤⽴的資產表述將不復再。我們渴望為⾦融服務使⽤案例定出⼀個共享的帳本結構，可憑藉成熟的技術在現有的法律框架內實施。我們的理念可以分為三類機構要求的⼯程、專注於⾮功能需求和可擴展性。我們相信本⽂介紹的Corda平台設計特點對受監管的⾦融機構來說是吸引的選擇。a2主文銀⾏是其中⼀批最早開始使⽤資訊科技的採納者，並且與⼤眾的普遍看法相違背，他們在過去將⼈⼯流程⾃動化及實體流程數位化等⽅⾯做的⾮常好。然⽽，可⾒的建構在成本以及效率上仍存在很多改善的機會。特別是，每間⾦融機構都有⾃⼰的分類帳，以記錄該公司對客⼾群和對⼿的合約和⽴場的看法。反之，其對⼿也保持⾃⼰的看法。此類重複紀錄可能會導致出現不協調，並且各對象需要對⼀項交易進⾏昂貴的配對、對帳及修改錯誤。兩家公司對同⼀宗交易的看法存在差異也是⾵險的來源，⽽且其中⼀些還可能涉及系統性⾵險。⾦融機構的多重性會產⽣競爭及選擇，但其依賴的科技平台的多重性則會造成複雜及營運⾵險。然⽽，直到最近，這是不可避免的除了集中市場基礎設施b之外，只有少數的有效⽅法能夠在不整合企業本⾝的前提下整合公司間的科技。集中市場基礎設施公⽤事業已朝著增加公司間的資料及業務邏輯分享的⽅向發展，但整體⽽⾔，其在⾦融交易領域達到的整合程度仍遠遠落後於網絡出現以來在資訊交換領域取得的成就。1a可以透過以下電⼦郵件聯絡本⽂作者Richard Gendal Brown 、James C、Ian Grigg 、Mike Hearn b這⽅⾯的例⼦包括美國證券集中保管結算公司DTCC以及持續連結清算集團CLS。3願景4我們相信，加密技術的成熟，⽐如說特別是通常稱為「區塊鍊技術」的部分，提供了⼀個新的機會，即是公司間能安全分享權威紀錄系統的可能性。這⼀項願景透過使⽤新分享平台記錄財務事件及處理業務邏輯，提供改造⾦融公司的經濟機會，特別是但不限於交易後服務的機會；即是⼀個權威的單⼀全球邏輯分帳，並適⽤於公司間在分帳記錄的所有合約。這個建構將為這個⾏業定出⼀個新的共享平台，讓現存者、新進⼊者及第三⽅均可爭相提供創新的產品及服務。圖1在上圖中，我們展⽰從各對象分享個別記錄事實及管理本⾝紀錄，以及其相關連的差異和重複「雙⽅–對帳」的世界，或各⽅將關鍵流程的控制及責任委任給集中式公⽤事業「第三⽅/市場基礎建設」的世界，進展成為⼀個相互合作維持共享紀錄、確保⼀致協調，並在開放及競爭的基礎上使⽤現存及新服務供應商和市場基礎建設提供者所提供的服務「共享帳本的願景」。我們相信，從較⾼質素的資料、較少的差異，以及各公司之間更快速同意各項細節所節省下來的費⽤將甚為可觀。此外，在各個公司間裝置此通⽤建構將會定出⼀個新平台，讓現有及新供應商可爭相滿⾜客⼾的需求。再者，使⽤不同系統記錄同⼀宗交易細節也是產⽣成本及複雜的主要源頭。因此，該平台也可能在公司內部應⽤。3願景⾧遠⽽⾔，可以預⾒⼀個「全球邏輯帳本」，讓所有的經濟⾏動者進⾏互動，並且任何對象均可以使⽤安全、⼀致、可靠、私⼈及權威的⽅式記錄及管理彼此之間的合約。我們所說的全球性，是指每個⼈就屬於他們的資料3願景5所看到的內容均相同，⽽邏輯性是指實際的執⾏可能會以不同的⽅式組成。因此，⼀個可能出現的最終狀態將是，我們從公司內部保留的權威系統記錄轉移到公司間分享的全球權威系統紀錄。3.1最終狀態原理使⽤分佈式帳本技術可能導致的最終狀態的背後原理可能包含依照合約，由帳本記錄的事實在任何爭議中均可被接受為可使⽤的證據並且對各對象均存在法律約束⼒。由帳本記錄的事實被視為權威，⽽⾮其他地⽅的權威數據的「影⼦」，因此，和解能在平台上直接進⾏。⼀旦合約經由相關的各個對象同意，帳本上紀錄的事實即為最終且不可變的；錯誤及逆向交易均必須透過後續交易處理。公司將⾯臨重新設計內部流程以提⾼準繩和質量的壓⼒。任何⾏動者在原則上均得以與帳本直接連結，並⽤其記錄與對⼿的合約。任何⾏動者均不會被迫與他⼈執⾏交易，但我們可以預期看到「層級」或分級市場模式的遞減。透過推廣開放式標準及包容式存取，現有及新的服務提供商均可連結及爭相提供不同的服務，從⽽促進選擇和競爭。應能獲得⾦融交易細節的唯⼀對象是當事⼈本⼈及合法需要知悉的其他⼈。然⽽，該願景包含了過渡期狀態的概念，例如⾸先側重於商業邏輯共享的概念。這是為了承認今⽇的系統在可預⾒的未來仍會持續伴隨我們的事實，解決⽅案的設計將需要以共存、整合及遷移路徑等部分作為基礎。這些過渡期狀態在⾧期願景的法律和其他⾮技術性問題另⾏得到解決的同時亦可以產⽣相當的價值。應該強調的是，全球邏輯帳本的⾧期願景旨在為努⼒的⽅向定調，但它可能會以多種帳本的形式實現。它可能會為每個資產類別設計⼀個帳本的形式實現，並且具備⾃主性及零散耦合的特⾊，從⽽在不同的商業服務之間提供功能及營運獨⽴性。願景背後的建構和策略選擇包括3願景6此系統管理的紀錄僅能由對其管理的資產及合約具有合法利益的⾏動者存取。由系統管理的合約作⽤將以電腦代碼描述，該代碼會明確引⽤豐富完整的法律⽂體，並從中取得合法性。2為了確定出現合約違約情況，將會為合約代碼升級及爭議解決流程的明確參考提供⽀援。這是因為即使在⾃動化設置中，技術和⼈為因素均會導致合約糾紛。此願景將會透過降低成本、⾵險和監管責任（包括資本、流動性和營運責任），以及透過創新的新產品和服務成功實現。為了在⾦融界得到廣泛的採⽤，系統的⼀部分必須及將會是開放的開放原始碼、開放的開發過程、開放式的標準。即使此願景是以「平台」或「系統」等詞彙稱呼，但我們相信該設計在實際上將會是多層次，可能由不同的供應商透過競爭/合作的⽅式完成不同的部分。讀者不應假設我們構想的是⼀個單⼀的垂直整合⽅法。該願景還包括層次堆疊中較⾼等級的層次可包含各公司或集團的智慧財產專利的可能性。該系統將在與安全環境對⽴的假設下運⾏⽇漸增⾧的網絡犯罪必須被視為不可避免的。我們相信要實現此願景的基礎發明已經存在。這些包含但不限於強效的加密⽅法、全球通訊網路、定義⾦融⼯具的標準，以及有效的演算法以確保實現全球規模等級的⼀致性。讓此願景在今⽇可能成為現實的原因是近期對分佈式帳本的濃厚興趣，⽽且區塊鍊系統創造了⼀個可以公開討論這種願景的環境，況且多個⾦融機構共同合作的合作聯盟已經形成。它針對網路參與者之間的⾝份基礎設施進⾏假設，但不會對其精密複雜或操作模式作出假設。監管參與是設計過程的⼀項關鍵要素。根據我們針對現有的分佈式帳本平台進⾏的需求分析和評估，我們認為現有的平台均無法滿⾜我們的需求。在本質上，傳統分佈式資料庫設計背後的威脅模式不適⽤於我們令相互不信任的法律實體達成共識的使⽤案例，⽽現存區塊鍊系統的架構則不適⽤於我們在個別法律合約層⾯上對限制及謹慎指定的資料分享要求。因此，我們設計並開始開發Corda。4 CORDA 74 CordaCorda是⼀個分佈式帳本平台，⽤於記錄及處理⾦融合約，旨在實施本⽂描述的願景。Corda平台⽀援智能合約，配合Clack、Bakshi、Braine的定義。3我們的智能合約是⼀種在執⾏上能夠透過電腦代碼自動化執⾏，並能在⼈⼯輸⼊及控制下執⾏的合約，⽽且如法律⽂體所述，其權利及責任在法律上是有效的。這項智能合約能將業務邏輯及業務數據與相關連的法律⽂體連結，以確保平台上的⾦融合約在法律的⾓度上牢不可破並且可以執⾏，並使我們在出現歧義、不確定或爭議時能隨著清楚的道路執⾏。4.1主要功能Corda是專⾨為受監管的⾦融機構⽽設。它主要受到區塊錬系統的啟發，但卻沒有傳統區塊鍊系統不適⽤於許多⾦融狀況的設計選擇。Corda提供了⼀個利⽤這些關鍵活動及功能來執⾏智能合約的框架以現有法律結構為基礎、並能與現有及未來出現的法規結合的⽅式，記錄及管理⾦融合約的進展，以及兩個或多個可辨識對象之間的其他共享數據在沒有中央控制器的情況下編排公司間的⼯作流。⽀援各公司之間在個別交易層⾯上達成共識，⾮為全球系統。⽀援監管及監督觀察員節點的納⼊。僅在與交易有關的對象之間驗證交易。⽀援各種共識機制。記錄⼈類語⾔的法律⽂體⽂件及智能合約代碼之間的明確連結。使⽤符合業界標準的⼯具。限制合約的數據存取權限，僅能由明確授權或邏輯上具有特權權限的使⽤者存取。這些功能對設計適⽤於複雜⾦融服務組織的平台產⽣了貢獻。請注意，此設計不使⽤本機加密電⼦貨幣或施加執⾏全球交易限速。4 CORDA 84.2概念我們是從全球帳本的想法出發⼀個可靠的單⼀來源。然⽽，在我們的模組中，交易及帳本條⽬並⾮所有⼈都能看⾒。在交易只涉及對象中的⼀⼩部分⼦群組的情況下，我們會努⼒將相關數據純粹保留在該⼦群組中。我們概念中的基礎對象是⼀個狀態對象，它是⼀份數位⽂件，記錄兩個或多個對象之間存在的協議內容及⽬前狀態。它旨在僅與有正當理由檢視的⼈⼠分享。為了確保全球共享系統的⼀致性，但又不讓參與者檢視所有的數據，我們主要依賴安全密碼雜湊來辨識各個對象及數據。帳本被定義為⼀組不可變狀態的對象。我們針對合約的狀態反覆的討論及思考，⽬標是要確保與合約有關的各對象在合約演變時能維持共識。有⼈可能會說這就是區塊鍊概念的本質確保不同⾏動者持有的數據在更新時能保持⼀致，並且為可信賴交易奠定基礎從簡單的貨幣⽀付到複雜的智能合約轉換。圖2在上列的圖表中，我們可以看到⼀個狀態對象，其代表⼀個虛構的貨運公司向商業銀⾏請款現⾦100英鎊。該狀態對象清楚透過雜湊引⽤其適⽤的法律⽂體，及監管其轉換的合約代碼。我們對合約狀態的關注是與系統產⽣對⽐，其中，參與者必須取得共識的數據是整個帳本的狀態或整個虛擬機的狀態。Corda提供了三種主要⼯具來達成全球分佈式共識根據預先約定規則的智能合約邏輯來確保狀態轉換是有效的。唯⼀性及時間戳服務為交易按照時間進⾏排序並消除抵觸。4 CORDA 9⼀個刻意建造的框架，簡化不同對象之間編寫複雜多步驟協定的流程。4.3共識在Corda，可透過交易應⽤更新，它會消耗現有的狀態對象並產⽣新的狀態對象。共識有兩個⽅⾯1.交易有效性各對象可以透過檢查相關的合約代碼是否運⾏成功，以及是否具備所有必須的簽章，來確定提議的定義輸出狀態的更新交易是否有效；以及本交易引⽤的任何交易是否⼀樣有效。2.交易唯⼀性各對象可以確定有疑問的交易是否為其輸⼊狀態唯⼀的消費者。即是在我們過去達成共識（有效性及唯⼀性）的交易中不存在任何其他消耗相同狀態的交易。各對象可以通過獨⽴運⾏相同的合約代碼和驗證邏輯來同意交易的有效性。然⽽，如要在唯⼀性上達成共識則需要⼀位預定的觀察者，在許多情況下，會要求獨⽴的觀察者。圖3交易有效性的共識僅能由與有疑問的交易相關的對象執⾏。因此，數據只能與需要查看的那些對象分享。其他平台⼀般在帳本層⾯上即達成共識。因此，Corda系統的任何⼀位⾏動者僅能看到整個系統管理的整體數據的⼦集。如果⾄少兩位⾏動者對⼀份數據的存在及細節達成共識，我們將其稱之為「帳本上」，並且允許任意組合的⾏動者參與任何數據的達成共識流程。僅由⼀位⾏動者持有的數據稱為「帳本下」。Corda擁有「可拔除的」唯⼀性服務。這是為了提⾼隱私性、可擴展性、法律制度兼容性4以及算法敏捷性。⼀向單⼀的服務可能會透過拜占庭錯誤4 CORDA 10容忍算法由許多相互不信任的節點組成，或可能會⾮常簡單，像是⼀部單⼀的機器。在某些情況下，⽐如演化⼀個狀態，會需要所有相關對象的簽章，可能會完全不需要唯⼀性服務。要注意的是，這些唯⼀性服務僅僅是為了證明特定交易所消耗的狀態是否在過去曾被消耗；它們不需要證明交易本⾝的有效性，那是屬於與交易有關的各個對象的範疇。這意味著唯⼀性服務不需要（並且在⼀般情況下不會）查看任何交易的全部內容，與替代的分佈式帳本及區塊鍊設計相⽐，這將會顯著提⾼系統的隱私和可擴展性。此設計決策代表了對共享帳本建構中可接受的取捨重要選擇，並會在未來的技術⽩⽪書中更全⾯地探討。4.4業務邏輯Corda通過智能合約代碼實施業務邏輯，該代碼被構造為接受或拒絕交易的純函數，並且可以由更簡單、可重複使⽤的函數組成。這些函數將交易解釋為擷取狀態作為輸⼊，並透過指令（智能合約）的應⽤，產⽣輸出狀態，如果所提議的操作有效，則接受交易。合約定義了帳本的⼀部份業務邏輯，並且是可移動的即使我們認為Corda部署的簽署代碼會在受監管的環境中使⽤，但節點將會在沙盒內下載並運⾏合約，⽽且不會在某些部署中進⾏任何審查。我們為合約的執⾏及驗證所選擇的虛擬機是Java虛擬機5，因為它擁有豐富的現有資料庫和龐⼤的技術基礎，並且重新使⽤⾏業的標準將會使銀⾏更容易重新使⽤現有合約內的代碼。然⽽，我們使⽤了定製的沙盒來為其擴增，該定製的沙盒⽐⼀般的JVM沙盒具有更多限制，它不僅實現了安全性要求，還實現了確定性執⾏。如同以太坊6，將Bytecode⽽⾮語⾔進⾏標準化的選擇，讓使⽤者可以在合約語⾔設計中進⾏創新，或依照喜好重複使⽤廣泛應⽤的語⾔。⼀旦合約經過審閱，這也使得直接從內部應⽤程式使⽤合約代碼變得容易，從⽽⼤⼤地簡化應⽤程式的開發。4.5核心金融概念Corda的建構深受三個對建構具有重⼤意義的使用案例的影響，並認為是極有可能出現的常⾒問題的代表。這三個使⽤案例分別為現⾦、安全性⼯具及衍⽣性合約。我們認為這三種使⽤案例都是⾦融合約的範例現⾦餘額（例如「下列銀⾏及我雙⽅同意，該銀⾏⽋我⼀百萬美元」）。4 CORDA 11受託管的證券（例如「以下託管銀⾏與我雙⽅同意，我擁有下列公司1,000股的股票」）。雙邊衍⽣合約（例如「A銀⾏和B銀⾏同意他們是以下利率互換（IRS）的當事⼈，這意味著他們同意在預定的時間，以同意的⽀付公式交換下列現⾦流量（淨值）」）。舉其中⼀個範例做說明，Corda的現⾦設計明確模擬商業現實中不存在「穩操勝算」的事實，只存在⼀位持有⼈對指定機構具有的現⾦請款。7因此我們的核⼼現⾦合約⾮常簡單，卻⾮常的強⽽有⼒我們記錄現⾦發⾏⼈的法定⾝份、貨幣、⾦額、所有者（以及其他與請款性質相關的資訊，並明確地指出與管理合約有關的法律⽂體，在有爭議的情況下我們預期這將具體說明解決流程），並使⽤這些資訊建⽴所有其他與現⾦相關的概念（付款、淨額結算等）。圖4在上列圖表中，我們檢視了Corda最簡單的交易之⼀⼀個發⾏交易。我們看到⼀個商業銀⾏向虛構的貨運公司發⾏了⼀個新的現⾦狀態。發⾏的交易是由發⾏的銀⾏簽屬。從這個簡單的模型，可以建構更複雜的交易，例如付款、貨銀對付制度合約及未來⽇期的責任。4.6 Corda模型總結我們的模型的核⼼概念是狀態對象，代表兩個或多個對象之間的合約，由可透過機器閱讀的合約代碼管理。該代碼引⽤並旨在實施⼈類可讀的法律⽂體的⼀部分。5與其他平台的比較12交易，在⽣命週期中轉換狀態對象交易協定或業務⼯作流，讓各個對象可以在不存在中央控制器下協調⾏動。透過允許選擇性及決定性限制的程式設計技巧，以最⼤程度提升決定論及將共享狀態數量需求減到最⼩。狀態對象（數據）、合約代碼（容許操作）、交易協定（業務邏輯編排）、任何必需的API、錢包外掛程式，以及UI組件的組合可以是⼀個共享帳本應⽤程式，或Corda分佈式應⽤程式「CorDapp」。這是⼀位平台合約開發⼈員應預期建造的核⼼組件。5與其他平台的比較Corda是與⾦融從業者廣泛合作建⽴的，並且根據他們的要求⽽設計。然⽽，其設計亦受到過去努⼒的啟發，其中包含Todd Boyle及Ian Grigg在三重記帳法8著作中介紹的內容，以及現存的分佈式帳本平台，⽐如⽐特幣9和以太坊。因此，對於不熟悉Corda的⼈來說，透過這些平台可能更容易理解。5.1與比特幣的比較Corda與⽐特幣有著⼀些顯著的相似之處由交易所消除及建⽴的不可變的狀態是相同的。交易有多個輸⼊和輸出。⽐特幣有時將帳本稱為未⽤的交易輸出集（UTXO集）。合約是⼀個純粹的功能；合約沒有存儲或與任何事務互動的能⼒。只要是相同的交易，⼀份合約的「驗證」功能能總是產⽣完全相同的結果。然⽽，除了⽐特幣的數量及相關的⽀出規則（腳本）外，⽐特幣交易具有單⼀、固定的數據格式，並且只能容納很少的數據。已經有⼈嘗試在合約代碼中的半標準位置嵌⼊數據來嘗試解決這個限制，讓數據可以透過規律配對進⾏截取，但這不是⼀種好的⽅法。相⽐之下，我們的狀態可以包括任6路線圖13意型態的數據。此外，我們的交易不僅涉及輸⼊合約，還涉及輸出合約。⽐特幣交易的接受僅受合約代碼中消除的輸⼊狀態控制。我們使⽤「合約」⼀詞來代表⼀組可以處理不同任務的業務邏輯，其範圍超出交易驗證。舉例來說，我們的合約⽬前包含建⽴有效交易的代碼（這在⽐特幣中經常被稱為「錢包代碼」）。⽐特幣腳本只能給出⼀組固定的字節數組作為輸⼊。這意味著合約沒有辦法檢查整個交易的結構，這嚴重限制了合約能做的事情。我們的合約是圖靈完整的，並且可以⽤任何針對JVM的普通程式語⾔編寫。Corda允許在交易中（必須由受信任的時間戳記證明）任意指定精確的時間限制，⽽不是依賴於區塊被開採的時間點。這點⾮常重要，因為我們所設想要⽀援的許多合約類型均需要準確的時間，以及我們的主要共識實施使⽤了無區塊衝突解決算法。要注意的是，Corda不使⽤⼯作證明或有「挖礦」的概念。5.2與以太坊的比較如同以太坊，代碼是在⼀個相對強⼤的虛擬機中運⾏，並且可以包含複雜的邏輯。⾮組裝程式語⾔可⽤於合約編程。它們均是意圖使⽤於多種不同類型的⾦融合約模組。然⽽，以太坊的「合約」⼀詞是指由每個參與節點複製和維護程式的舉例說明。此舉例說明與對象導向程式中的對象⾮常類似它可以接收和發送消息，更新本地存儲等。相⽐之下，我們在代碼中的智能合約的實現是指⼀組功能，僅有其中的⼀部份是在保持系統同步（驗證功能）。該功能是單純且無狀態的（也就是，它在執⾏時不得與任何其他系統產⽣互動）。由於合約沒有任何類型的可變存儲，因此不存在「訊息」的概念。以太坊同時也聲稱不僅僅是⼀個⾦融邏輯的平台，⽽可做各種不同的應⽤。我們的平台⾄少在初期不將⾮⾦融應⽤包括在內。6路線圖為了達到這個設計，我們⾸先在代碼中模擬並建⽴Corda的組建的原型來驗證這個概念的各個⽅⾯。這是⼀個Corda模型的延伸的部份列表（⽽⾮全部，並預計將在近期⾄中期完成。交易的分解及唯⼀性的增強加⼊機制來選擇掩蓋部分的交易，包括來⾃唯⼀性服務的混淆。7總結14合約驗證沙盒明確的連結時間將積極的Java資料庫的最⼩集列⼊⽩名單。⼀個⽤於位置推斷的插⼊式錢包。計算邏輯或閘道⾄可以被參與者驗證為帳本上的所有權（或其他）業務邏輯執⾏者（例如中央交易對⼿或估價代理⼈）。使⽤Corda模型來管理使⽤者的⾝份。互操作性和數據整合，特別是FpML、ISO20022，⽀援其他數據格式和與其他平台的整合/互操作性。為參考數據建⽴應⽤程式。使⽤地址隨機化、零知識證明、資產重新發⾏計劃等技術增加隱私性。為未來的⾦融⼯具建⽴參考合約。投資組合級業務邏輯的本機⽀援，例如狀態對象的整合。7總結與⼤多數⽬前現存的分佈式帳本及區塊鍊平台相⽐，Corda是在註冊⾦融機構之間記錄及執⾏業務合約的明確⽬的下建⽴；它不是旨在成為所有問題的通⽤解決⽅案。因此，它需要⼀種獨特的數據分配和交易語義⽅法，並與此同時維持其最初吸引機構的分佈式帳本功能，⽐如R3的項⽬等，即是以⾃動化和可實施的⽅式可靠執⾏財務協議。參考文獻[1] Mai. IT in banks What does it cost https// 2012.[2] Grigg. The Ricardian Contract. http//iang.org/papers/ricardian_contract.html, 2004.參考⽂獻15[3] Clack, Bakshi, Braine. Smart Contract Templates foundations, designlandscape and research directions. http//arxiv.org/abs/1608.00771,2016.[4] European Commission. The European Commission’s Settlement Final-ity Directive. http//ec.europa.eu/finance/financial-markets/settlement/index_en.htm, 1998.[5] Lindholm, Yellin, Bracha, Buckley. The Java Virtual Machine Specifi-cation Java SE 8 Edition. https// 2015.[6] Buterin et al. A Next-Generation Smart Contract and DecentralizedApplication Plat. https// 2014.[7] McLeay, Radia, Thomas. Money creation in the modern econ-omy. http//www.bankofengland.co.uk/publications/Documents/quarterlybulletin/2014/qb14q1prereleasemoneycreation.pdf,2014.[8] Grigg. Triple Entry Accounting. http//iang.org/papers/triple_entry.html, 2005.[9] Nakamoto. Bitcoin A Peer-to-Peer Electronic Cash System. https//bitcoin.org/bitcoin.pdf, 2008.