[發明專利]用于經由區塊鏈實施確定性有限自動機（DFAs）的系統和方法

在審

• 申請號: 201780066408.0
• 申請日: 2017-10-27
• 公開（公告）號: CN109923521A
• 公開（公告）日: 2019-06-21
• 發明（設計）人: 克雷格·史蒂文·賴特;佩德羅·希門尼斯·德爾加多
• 申請（專利權）人: 區塊鏈控股有限公司
• 主分類號: G06F9/448
• 分類號: G06F9/448
• 代理公司: 上海晨皓知識產權代理事務所(普通合伙) 31260
• 代理人: 成麗杰

1.一種在區塊鏈上實施DFA的方法，其包括以下步驟：

將區塊鏈交易(Tx₁)的未花費的輸出(UTXO₁)的鎖定腳本中的一部分數據與所述DFA的給定狀態相關聯。

2.根據權利要求1所述的方法，還包括以下步驟：

使用另一交易(Tx₂)以通過花費所述交易(Tx₁)的所述輸出(UTXO₁)來使所述DFA從所述狀態轉換到另一狀態；

其中所述另一狀態與在所述另一交易的未花費的輸出(UTXO₂)的鎖定腳本內提供的一部分數據相關聯。

3.根據權利要求1或2所述的方法，還包括以下步驟：

使用一部分代碼來實施或表示至少一個狀態轉換觸發條件，當被執行時，所述狀態轉換觸發條件使另一交易(Tx₂)花費所述交易(Tx₁)的所述輸出(UTXO₁)并因此將所述DFA移動到另一狀態。

4.根據權利要求3所述的方法，其中：

所述部分代碼包括機器可測試條件，所述機器可測試條件基于輸入提供布爾結果。

5.根據權利要求4所述的方法，其中所述輸入在運行時確定，并且由所述部分代碼使用以確定是否應花費所述未花費的輸出(UTXO₁)以便將所述DFA移動到所述另一狀態。

6.根據任一前述權利要求所述的方法，其中所述未花費的輸出(UTXO₁)中的所述部分數據在鎖定腳本中提供。

7.根據權利要求6所述的方法，其中所述部分數據是標簽、標記或一部分元數據。

8.根據任一前述權利要求所述的方法，其中：

所述DFA是機器可執行智能合約的模型。

9.根據任一前述權利要求所述的方法，其中：

所述未花費的輸出(UTXO₁)包括鎖定腳本，所述鎖定腳本包括謎題哈希，其解決方案必須由另一交易的輸入提供，以便花費所述輸出(UTXO₁)并將所述DFA轉換到另一狀態。

10.根據任一前述權利要求所述的方法，其中：

所述未花費的輸出(UTXO₁)包括鎖定腳本，所述鎖定腳本包括贖回腳本哈希，其必須由另一交易的輸入提供，以便花費所述輸出(UTXO₁)并將所述DFA轉換到另一狀態。

11.根據權利要求10所述的方法，其中所述贖回腳本包括加密密鑰。

12.根據任一前述權利要求所述的方法，還包括以下步驟：

使用一個或多個計算代理來執行根據任一前述權利要求所述的步驟。

13.一種在區塊鏈上實施DFA的方法，所述方法包括以下步驟：

執行程序，所述程序用于監控和/或接收輸入信號，并且響應于所述輸入信號而生成包括未花費的輸出(UTXO)并且花費先前交易Tx₁的輸出的區塊鏈交易Tx₂；

其中：

先前交易Tx₁的所述輸出包括鎖定腳本，所述鎖定腳本包括與所述DFA的第一狀態相關聯的識別符，且

交易Tx₂的所述未花費的輸出(UTXO)包括鎖定腳本，所述鎖定腳本包括與所述DFA的另一狀態相關聯的另一識別符。