比特幣推出新智能合約語言Simplicity

Blockstream推出Simplicity，成為比特幣對以太坊Solidity的回應

由比特幣密碼朋克亞當·巴克（Adam Back）領導的Blockstream，推出了一種新的比特幣原生智能合約編程語言Simplicity，旨在為以太坊的Solidity提供一個替代方案。

根據Blockstream在週四向Cointelegraph發佈的公告，Simplicity智能合約將被整合進Liquid協議中。該公司表示，這一舉措標誌著比特幣從一種安全的價值存儲轉變為去中心化金融的可編程基礎的又一步。

此外，Blockstream還推出了SimplicityHL，這是一個更高層次的語言實現，旨在通過增加抽象層來簡化開發。Blockstream的一位代表告訴Cointelegraph，這個版本的語言“今天就可以使用”，並且還提供了基於網頁的集成開發環境。

不同架構下的不同方法

Simplicity與以太坊的Solidity語言有顯著不同，主要是因為兩個區塊鏈的底層架構不同。Solidity是為以太坊虛擬機（EVM）開發的，該網絡的狀態是所有賬戶餘額和存儲數據在某個區塊的共識快照。

比特幣則使用未花費交易輸出（UTXO）架構，而以太坊網絡則採用全網狀態。這一差異影響了Simplicity智能合約的運作方式，Blockstream的代表表示，“不依賴於全局狀態是一個重大轉變”。“你的合約所需的每一個狀態都必須隨著交易一起傳遞。”

Blockstream的研究人員指出，Solidity開發者需要改變從全局可訪問變量中讀取的習慣，而是需要在每一步中提供所有必要的信息。在這種系統中，兩個智能合約不能共享狀態或引用相同的變量；所有信息必須在交易中明確傳遞。儘管如此，該公司的代表解釋說，這種方法也帶來了積極的影響：

“即使出現問題，也只有你合約的特定部分受到影響。這與全局狀態相比是一種不同的思維方式，但最終設計上會使合約更安全、更可控。”

開發者還無法使用遞歸或無界循環，Blockstream聲稱這些在鏈上邏輯中並不是必需的。

領域特定的智能合約編程語言的興起

Simplicity加入了越來越多的領域特定智能合約編程語言的行列。2022年推出的Noir編程語言專為撰寫和驗證零知識證明（ZK-proofs）而設，並在2023年被即將推出的以太坊隱私第一層Aztec的開發者採納。

Noir已成為專為隱私保護應用程序構建的智能合約編程語言，深度整合了ZK證明的架構。另一個例子是Leo，這也是一種智能合約編程語言，專注於創建ZK證明系統，並考慮到隱私。

以太坊的Vyper是一種EVM兼容語言，旨在減少攻擊面，現在被一些領先的以太坊去中心化金融（DeFi）協議所使用。

這一發展顯示出區塊鏈技術正在逐步成熟，開發者對於如何設計安全且高效的智能合約有了更深的理解。Simplicity的推出不僅是比特幣生態系統的一次重要創新，也可能引領未來智能合約的發展方向。隨著越來越多的開發者進入這一領域，如何在不同的區塊鏈架構中平衡安全性和靈活性將成為一個持續的挑戰。

以上文章由特價GPT API KEY所翻譯及撰寫。而圖片則由FLUX根據內容自動生成。