掃描下載 Gate App
qrCode
更多下載方式
今天不再提醒

今天,Blockstream 宣布已推出 Simplicity,這是一種爲比特幣的 Liquid Network 設計的新智能合約語言,具體內容在發給比特幣雜志的新聞稿中披露。Simplicity 基於比特幣的未花費的交易輸出(UTXO)模型,使其與形式認證兼容,允許合約在執行之前進行數學證明以確保正確性。



“簡潔性賦予比特幣表達智能合約的能力,但沒有與基於虛擬機的鏈相關的安全問題,”Blockstream的聯合創始人兼首席執行官Adam Back博士說。“它是從基礎構建而成,旨在被正式指定、安全和高效。通過簡潔性,我們正在比特幣上解鎖廣泛的創新應用案例。”

簡單性避免了高風險特性,例如遞歸、無限循環和全局變量。這種設計旨在減少可能影響其他智能合約系統的錯誤和漏洞的可能性。

該語言最初由Blockstream工程師Russell O’Connor博士於2012年提出,隨後由該公司的研究團隊進行開發。Blockstream以其對比特幣基礎設施和協議升級的貢獻而聞名,包括Taproot。

Simplicity支持多個用例,例如:

可編程保險庫。
多用戶比特幣原生智能銀行。
沒有包裝資產或全球狀態的去中心化交易所。
使用籤名斷言的身分和聲譽系統。
使用B-N籤名方案的機構托管設置。
具有靜態投票規則、定期付款邏輯和訪問控制服務的治理和眾籌。
“我們設計Simplicity是爲了讓比特幣原生應用更加靈活,而不必承受其他智能合約生態系統的復雜性和脆弱性,”Blockstream的研究總監Andrew Poelstra表示。“通過將形式化方法與未花費的交易輸出(UTXO)模型相結合,我們正在爲比特幣上安全、可編程的金融奠定基礎,開發者和金融機構等實體都可以依賴這一基礎。”

Liquid Network 目前在鎖定總價值上超過 32.7 億美元(TVL),主要是比特幣和發行的資產。Simplicity 在這個環境中的集成旨在爲希望在比特幣生態系統內構建應用程序的組織提供新工具。
#bitcoin
#btc
#CandyDrop Airdrop Event 6.0
#Join Alpha RION Airdrop to Earn $40
#White House Crypto Report
BTC-0.51%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 留言
  • 轉發
  • 分享
留言
0/400
暫無留言
交易,隨時隨地
qrCode
掃碼下載 Gate App
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)