在2017年,Blockstream著手開發一種智能合約語言,旨在超越Bitcoin Script和EVM,提供更強的表達能力和更高的安全保障。八年後,我們相信我們已經做到了。 介紹Simplicity。🧵
簡單性並不像 Solidity 或大多數現代編程語言那樣是圖靈完備的。相反,這種語言的設計旨在表達任何有限的函數,同時避免與無界循環和全局狀態相關的風險。
簡單性使開發者對其應用程序充滿信心,讓他們在執行之前能夠了解所有潛在的結果和費用成本。 最近的 Bybit 黑客事件說明了包含遞歸和全局狀態等功能的風險。
隨著Simplicity的到來,我們首次擁有了一個乾淨的基礎,適合嚴肅的金融應用,而不再是過去DeFi時代所定義的複雜性和風險拼湊。
想要建立契約、保險庫和委託計劃嗎?現在你可以在 @Liquid_BTC 上做到。想要創建衍生品、池化錢包或無代幣的去中心化交易所(DEX)嗎?這也可以。
在 @Liquid_BTC 上的簡單性僅僅是個開始。隨著社區反饋、實際使用以及更多的工具、文檔、錢包支持和示例合約,我們的下一個主要目標是在比特幣測試網絡上啟動。 今天就開始吧。
130.96K