| dc.contributor | 資科系 | |
| dc.creator (作者) | 陳恭;王柏堯 | |
| dc.date (日期) | 2019-10 | |
| dc.date.accessioned | 10-Jun-2026 11:54:01 (UTC+8) | - |
| dc.date.available | 10-Jun-2026 11:54:01 (UTC+8) | - |
| dc.date.issued (上傳時間) | 10-Jun-2026 11:54:01 (UTC+8) | - |
| dc.identifier.uri (URI) | https://ah.lib.nccu.edu.tw/item?item_id=182862 | - |
| dc.description.abstract (摘要) | 近三年來，由於區塊鏈技術的蓬勃發展，分散式共識演算法，尤其是拜占庭容錯演算法，又再度成為許多學者專家的關注焦點。實務上，許多開放源碼的區塊鏈平台都依據1999年發表的PBFT拜占庭容錯演算法來發展它們的共識機制。雖然PBFT演算法當年有經過嚴謹的正確性驗證，但這些類似PBFT的區塊鏈共識演算法，在修改或調整PBFT的過程中，未必不會出錯。根據我們的兩個實作經驗，的確有發現錯誤。有鑑於此，本計畫擬針對類似PBFT的區塊鏈共識演算法，運用模型檢查的技術，發展一套工具與函式庫，來協助驗證其正確性。分散式系統的容錯演算法的驗證是一個巨大的挑戰，裡面有許多開放未解的問題，像是如何表示拜占庭行為、如何驗證演算法適用於任意節點數量與任意字串的共識等。本計畫將聚焦於解決部分跟區塊鏈特性比較相關的課題，即是共識演算法在惡意節點參與時的安全性及效能議題。我們希望透過這個研究，可以發現並改善目前ㄧ些區塊鏈共識演算法在遇到極端惡意的參與者時的安全性與活性( liveness) 或是效能問題。 | |
| dc.description.abstract (摘要) | Recently, due to the high potential of blockchain technology, distributed consensus algorithms have become the focus of many research and development efforts. Among others, Byzantine Fault Tolerance (BFT) protocols and the famous PBFT algorithm, in the context of blockchain, has led to more mature and efficient variants of those protocols, or variants that leverage new assumptions. However, none of the variants or PBFT-family algorithms for blockchain have been formally verified like PBFT. This project is a first step towards formal verification of these PBFT-like implementations. We aim to develop some model checking tools and abstractions to address the safety and liveness of those implementations in blockchain. | |
| dc.format.extent | 116 bytes | - |
| dc.format.mimetype | text/html | - |
| dc.relation (關聯) | 科技部, MOST107-2221-E004-005, 107.08-108.07 | |
| dc.subject (關鍵詞) | 形式驗證; 區塊鏈; 共識演算法; 拜占庭容錯 | |
| dc.subject (關鍵詞) | Formal verification; Blockchain; Consensus algorithm; Byzantine Fault-Tolerance | |
| dc.title (題名) | 基於PBFT的區塊鏈共識實作之驗証工具初探 | |
| dc.title (題名) | Towards Formal Verification on Implementations of Pbft-Family Consensus Algorithms in Blockchain | |
| dc.type (資料類型) | report | |
