Proof-of-Stake
如何使用 Proof-of-Stake 共識機制防止或檢查雙重支出?
最近我一直在閱讀這個名為 Aptos(第 1 層區塊鏈)的新區塊鍊網路,它的機制解釋了他們如何讓交易並行執行以減少延遲。現在我想知道他們如何確保沒有雙重支出?
Aptos 使用 Move,這是一種專注於稀缺性和訪問控制的程式語言。稀缺性對資產創建施加了限制以防止雙重支出,而訪問控制則管理所有權和特權。Move 使用數學中稱為線性邏輯的概念,該概念規定資源只能在程序儲存位置之間移動,而不能複製或丟棄,從而在不增加計算複雜性的情況下最大限度地提高安全性以降低 gas 費用。