Blockstream是比特幣二層網路Liquid的開發商，由比特幣加密貨幣先驅Adam Back領導。公司現已推出專為比特幣打造的新型智能合約語言Simplicity。
據星期四與Cointelegraph分享的公告，Simplicity智能合約將集成進Liquid。公司表示，這標誌著比特幣（BTC）從安全價值存儲轉向可編程去中心化金融基礎邁出新步伐。
公司還主動發布了SimplicityHL，這是該語言的高級抽象實現，便於開發者以更高抽象層級進行開發。
Blockstream一名代表向Cointelegraph表示，該版本語言“現已可用”，同時還提供了網頁端集成開發環境。
針對不同架構的差異化路徑
Simplicity與以太坊Solidity語言的差異，主要源於以太坊和比特幣網路底層架構的不同。
Solidity是專為以太坊虛擬機（EVM）開發的語言。以太坊的“狀態”指的是全網在某個區塊下所有帳戶餘額和存儲數據的共識快照。
比特幣採用未花費交易輸出（UTXO）機制，而以太坊網路則依靠全網統一狀態。這一差異體現在Simplicity智能合約的運行邏輯上。Blockstream代表指出，“不依賴全局狀態是一次重大轉變”，“每一份合約需要的狀態信息都必須隨交易傳遞。”
Blockstream研究人員表示，Solidity開發者需改變依賴全局變量的開發習慣，轉而在每個步驟都明確提供所需信息。在這種體系下，兩個智能合約無法共享狀態或引用同一變量。所有數據都必須在交易中明確傳遞。公司代表進一步補充，該設計帶來以下影響：
“即便出現問題，受影響的只是你的合約在交易圖中的特定部分。這與全局狀態的思路很不同，但最終會讓合約設計更安全、邊界更清晰。”
開發者也無法使用遞歸或無限循環結構。Blockstream認為，這類機制對於鏈上邏輯並非必需。
專用智能合約編程語言的崛起
Simplicity加入了日益豐富的專用智能合約編程語言陣營。
於2022年發布的Noir編程語言，用於編寫和驗證零知識證明（ZK-proof），2023年被即將上線、以隱私為核心的以太坊二層網路Aztec開發者採用。
Noir已成為專為隱私保護型應用設計的智能合約編程語言。其架構深度融合了零知識證明（ZK-proof）。
另一個例子是Leo。這是一種智能合約編程語言，也支持開發零知識證明系統。其語法設計突出隱私特性。
以太坊的Vyper是一種兼容以太坊虛擬機（EVM）的語言，旨在降低攻擊面。目前已被部分主流以太坊去中心化金融（DeFi）協議採用。