概要

• 為了提交交易（把交易更新到賬單），交易需要達成有效性和唯一性的共識
• 有效共識需要交易的合約有效性，以及交易的相關的元件為有效的（元件包括input,output,command,attachment,signaure）
• 唯一共識可以阻止雙花

共識的兩種型別

確定被提議的交易是一個有效的賬單更新需要達到如下兩種型別的共識：

• 有效性共識-在簽名一個交易之前，需要驗證必須的簽名者
• 唯一性共識-僅僅是公證人服務進行驗證

有效性共識

有效性共識是驗證的一個過程，如下兩個條件對於被提議的交易或者交易鏈上生成一個交易的input state的交易來說，都需要這兩個條件：

• 合約需要接收交易的輸入和輸出狀態
• 交易需要必須的簽名

驗證被提議的交易它自身是不夠的。我們需要驗證交易鏈上的每一個交易以此獲取一個被提議的交易的正確的輸入狀態（input state）。

這是眾所周知的“在鏈上行走”，比如，在網路上的一個節點提議了一個交易，給我們轉移證券。我們認為證券轉移是有效的僅僅因為如下條件：

• 在一個有效的發行交易中，這個證券是被中央銀行發行的
• 關於這個證券後續的交易即使被他人擁有也任然有效

這是唯一的方式來確認這兩個條件是在“鏈上行走”。我們可以視覺化為如下過程：

當驗證一個被提議的交易時，節點可能沒有交易鏈上的每一個交易來進行驗證。在這種情況，他們可以向交易的發起人請求漏掉的交易。交易發起人總是有完整的交易鏈，因此當需要驗證交易的input state時，可以向交易發起人請求。

唯一共識性

想象Bob持有一個有效的中心銀行發行的現在1,000,000美元。Bob現在能夠建立兩個交易：

• 一個交易轉移$1,000,000給Charlie，並返回800,000(GBP)
• 另一個交易轉移$1,000,000個Dan，並返回900,000(EUR)

這是一個問題，因為儘管這兩個交易都滿足共識的有效性，但是Bob能夠管理美元的“雙花”，去得到一定數量的GBP和EUR。我們可以視覺化為如下：

為了阻止雙花，一個有效的交易提議必須達到唯一性共識。唯一性共識是必須的，因為一個交易的輸入狀態不可能存在於另一個交易中的。

如果輸入狀態的一個或者多個已經存在於另一個交易，這就是眾所周知的雙花問題，並且交易的提議被考慮為有效的。

唯一性共識是公證人提供的。