Blockstream透過Liquid網路上的Simplicity實現比特幣智能合約可編程性

Blockstream在Liquid網路上推出Simplicity，實現了比特幣基礎設施上的智能合約可編程性。

根據，這個想法最初由研究員Russell O’Connor於2017年提出。Simplicity被設計為一種全新的智能合約語言，比比特幣腳本更具表達力，同時比通用平台更緊湊且安全。

隨著這一發布，開發者獲得了一個在比特幣軌道上構建金融應用的新途徑。

公告指出，Simplicity與SOLidity或Rust等語言不同，因為它不是圖靈完備的。

程序描述有限功能，排除無限循環，並避免全局可變狀態。這些限制是故意的，旨在實現靜態分析，以便提前了解每個執行路徑和費用成本，支持形式驗證，並傾向於緊湊的程序，可以通過實現“jetS”加速。

目標是為保護真實價值的合約提供可預測的行為，而不是開放式計算帶來隱藏的邊緣案例。

該功能以ALPHA階段登陸Liquid，Blockstream將其視為更廣泛推出的實用過渡。

公告稱，隨著比特幣的廣泛採用，對比特幣可編程性的需求正在上升，Liquid旨在提供一個生產環境來發布經過審計的高保證合約。

高階語言

該公司還表示，Simplicity可以支持企業控制的契約、保險庫和委託方案。因此，它實現了現金結算衍生品、池化錢包甚至避免平台代幣的交換邏輯等市場原語。

由於原始Simplicity故意保持低階，Blockstream正在推出一種類似Rust的高階語言，從Simfony更名為SimplicityHL，以便開發者可以編寫可讀的合約，這些合約可以編譯成正式指定的核心。

此外，路線圖強調，下一個主要目標是在比特幣測試網上激活，將實驗保持在主網之外，同時引導生態系統走向可驗證、資源受限的智能合約。

翻譯作者：K1ngZ