fix wrong image

This commit is contained in:
Patrick Kuo 2017-05-04 16:21:56 +01:00 committed by Mike Hearn
parent facbcc0e67
commit 19ed07cc25
2 changed files with 2 additions and 2 deletions

View File

@ -141,7 +141,7 @@ Corda 提供了一個利用這些關鍵活動及功能來執行智能合約的
各對象可以通過獨立運行相同的合約代碼和驗證邏輯來同意交易的有效性。然而,如要在唯一性上達成共識則需要一位預定的觀察者,在許多情況下,會要求獨立的觀察者。 各對象可以通過獨立運行相同的合約代碼和驗證邏輯來同意交易的有效性。然而,如要在唯一性上達成共識則需要一位預定的觀察者,在許多情況下,會要求獨立的觀察者。
\begin{figure}[H] \begin{figure}[H]
\includegraphics[scale = .5, center]{sharedlogic} \includegraphics[scale = .5, center]{Consensus}
\caption{交易有效性的共識僅能由與有疑問的交易相關的對象執行。因此數據只能與需要查看的那些對象分享。其他平台一般在帳本層面上即達成共識。因此Corda 系統的任何一位行動者僅能看到整個系統管理的整體數據的子集。如果至少兩位行動者對一份數據的存在及細節達成共識,我們將其稱之為「帳本上」,並且允許任意組合的行動者參與任何數據的達成共識流程。僅由一位行動者持有的數據稱為「帳本下」。} \caption{交易有效性的共識僅能由與有疑問的交易相關的對象執行。因此數據只能與需要查看的那些對象分享。其他平台一般在帳本層面上即達成共識。因此Corda 系統的任何一位行動者僅能看到整個系統管理的整體數據的子集。如果至少兩位行動者對一份數據的存在及細節達成共識,我們將其稱之為「帳本上」,並且允許任意組合的行動者參與任何數據的達成共識流程。僅由一位行動者持有的數據稱為「帳本下」。}
\end{figure} \end{figure}
@ -152,7 +152,7 @@ Corda 擁有「可拔除的」唯一性服務。這是為了提高隱私性、
\subsection{業務邏輯} \subsection{業務邏輯}
Corda 通過智能合約代碼實施業務邏輯,該代碼被構造為接受或拒絕交易的純函數,並且可以由更簡單、可重複使用的函數組成。這些函數將交易解釋為擷取狀態作為輸入,並透過指令(智能合約)的應用,產生輸出狀態,如果所提議的操作有效,則接受交易。合約定義了帳本的一部份業務邏輯,並且是可移動的:即使我們認為 Corda 部署的簽署代碼會在受監管的環境中使用,但節點將會在沙盒內下載並運行合約,而且不會在某些部署中進行任何審查。 Corda 通過智能合約代碼實施業務邏輯,該代碼被構造為接受或拒絕交易的純函數,並且可以由更簡單、可重複使用的函數組成。這些函數將交易解釋為擷取狀態作為輸入,並透過指令(智能合約)的應用,產生輸出狀態,如果所提議的操作有效,則接受交易。合約定義了帳本的一部份業務邏輯,並且是可移動的:即使我們認為 Corda 部署的簽署代碼會在受監管的環境中使用,但節點將會在沙盒內下載並運行合約,而且不會在某些部署中進行任何審查。
我們為合約的執行及驗證所選擇的虛擬機是 Java 虛擬機\cite{JVM},因為它擁有豐富的現有資料庫和龐大的技術基礎,並且重新使用行業的標準將會使銀行更容易重新使用現有合約內的代碼。然而,我們使用了定製的沙盒來為其擴增,該定製的沙盒比一般的 JVM 沙盒具有更多限制,它不僅實現了安全性要求,還實現了確定性執行。如同以太坊\cite{以太坊}將Bytecode而非語言進行標準化的選擇讓使用者可以在合約語言設計中進行創新或依照喜好重複使用廣泛應用的語言。一旦合約經過審閱這也使得直接從內部應用程式使用合約代碼變得容易從而大大地簡化應用程式的開發。 我們為合約的執行及驗證所選擇的虛擬機是 Java 虛擬機\cite{JVM},因為它擁有豐富的現有資料庫和龐大的技術基礎,並且重新使用行業的標準將會使銀行更容易重新使用現有合約內的代碼。然而,我們使用了定製的沙盒來為其擴增,該定製的沙盒比一般的 JVM 沙盒具有更多限制,它不僅實現了安全性要求,還實現了確定性執行。如同以太坊\cite{Ethereum}將Bytecode而非語言進行標準化的選擇讓使用者可以在合約語言設計中進行創新或依照喜好重複使用廣泛應用的語言。一旦合約經過審閱這也使得直接從內部應用程式使用合約代碼變得容易從而大大地簡化應用程式的開發。
\subsection{核心金融概念} \subsection{核心金融概念}
Corda 的建構深受三個對\textit{建構具有重大意義的使用案例}的影響,並認為是極有可能出現的常見問題的代表。這三個使用案例分別為:現金、安全性工具及衍生性合約。我們認為這三種使用案例都是金融合約的範例: Corda 的建構深受三個對\textit{建構具有重大意義的使用案例}的影響,並認為是極有可能出現的常見問題的代表。這三個使用案例分別為:現金、安全性工具及衍生性合約。我們認為這三種使用案例都是金融合約的範例: