Blockstream 與 StarkWare: Simplicity 與 STARKs。 簡單是好的。 證明是好的。 計算完整性和表達能力，但具備安全性和控制。 從這裡看，超比特幣化的前景看起來不錯。

基本上，我們開始時是用 Simplicity 來構建一個 STARK 驗證器。然後我們與 Blockstream 的人員互動，討論我們的實驗，這導致我們對 Simplicity 和 SimplicityHL 開發工具（如 VS Code 擴展）做出了貢獻。我們還根據在 Liquid 上使用該語言的經驗撰寫了一些面向開發者的內容。