今天,Blockstream 宣布已推出 Simplicity,這是一種爲比特幣的 Liquid Network 設計的新智能合約語言,具體內容在發給比特幣雜志的新聞稿中披露。Simplicity 基於比特幣的未花費的交易輸出(UTXO)模型,使其與形式認證兼容,允許合約在執行之前進行數學證明以確保正確性。
“簡潔性賦予比特幣表達智能合約的能力,但沒有與基於虛擬機的鏈相關的安全問題,”Blockstream的聯合創始人兼首席執行官Adam Back博士說。“它是從基礎構建而成,旨在被正式指定、安全和高效。通過簡潔性,我們正在比特幣上解鎖廣泛的創新應用案例。”
簡單性避免了高風險特性,例如遞歸、無限循環和全局變量。這種設計旨在減少可能影響其他智能合約系統的錯誤和漏洞的可能性。
該語言最初由Blockstream工程師Russell O’Connor博士於2012年提出,隨後由該公司的研究團隊進行開發。Blockstream以其對比特幣基礎設施和協議升級的貢獻而聞名,包括Taproot。
Simplicity支持多個用例,例如:
可編程保險庫。
多用戶比特幣原生智能銀行。
沒有包裝資產或全球狀態的去中心化交易所。
使用籤名斷言的身分和聲譽系統。
使用B-N籤名方案的機構托管設置。
具有靜態投票規則、定期付款邏輯和訪問控制服務的治理和眾籌。
“我們設計Simplicity是爲了讓比特幣原
查看原文