Stark 改造 Bitcoin ***#
Lightning Labs 的 CTO 在 Starkware 會議上的演講，大致說了這幾個方向。
輕節點 利用 stark 證明區塊頭狀態，實現即時同步
全節點 UTXO 狀態實現有效性證明；
utreexo, 用新格式代表 UTXO 狀態，而不需要查看查看整個 UTXO 狀態（5GB）
只需給定 utreexo 根 + 最終狀態，能夠開始驗證傳入的區塊。
最終還會需要用 Cairo 實現完整的 Bitcoin Scirpt VM。
結合的方向還有 Taro，比特幣鏈上資產證明等
Sierra Cairo1.0 的安全中間表示#
- 開發人員使用 Cairo 開發合約，然後將其編譯成 Casm（彙編代碼），並部署到 StarkNet 上
- 當用戶調用合約上的函數時，需要對交易進行簽名，Starknet 中的排序器運行此交易，當區塊包括這個交易時，它將取得一些費用，但是，如果用戶試圖存入比其賬戶余額更多的資金，則斷言會失敗，導致順序器為這個交易工作而沒有任何報酬。
- 在 Ethereum 中，儘管交易失敗了，但仍可以將其包括在區塊中，但在 StarkNet 中此類交易尚未解決，Cairo 具有只有有效聲明才能被證明的優勢，但由於某些原因，可能會有一些不好的流程因此，Sierra 的引入可能會解決一些問題，將其置於 Casm 和 Starknet 之間，以便可以輕鬆實現被包括的無效交易的安全機制。
Pyth 預言機#
與其它 Oracles 的不同之處在於 Pyth 來自第一方數據提供者、可提供置信區間，並採用了一種新的輪詢模型；
Pyth 來自超過 75 個不同的市場數據提供者，提供的價格信息可防止前置運行，更加準確；
Pyth" 支持超過 190 種價格信息，可以覆蓋跨越加密貨幣、股票、外匯和金屬的領域；
該公司的信任區間應用可防止惡意數據提供者的報告；
它的最終波動可以根據提供者價格的置信度變化；
它聚合具有不同準確度的數據來更準確地反映當前價格。
Revelator 鏈上音樂#
・Wasabi Lab 開發了一種新型的、可用於音樂行業的基於 “鏈” 的工具；
・音樂可被表示為一個由不變的元素（如結構、旋律等）和可變的元素（如 BPM、音調和速度）組成的 JSON 對象；
・JavaScript 可將 JSON 文件轉換為智能合約，智能合約為用戶提供了多種 MIDI 操作；
・利用 “鏈” 上音樂可為藝術家打造專屬歌曲，衍生出許多遊戲場景；
・以 Casey Westcott 為例，其開發出一款基於 “鏈” 上音樂的遊戲；
・未來，“鏈” 上音樂有望賦予在線音樂更多新鮮有趣的體驗。
Herodotus 存儲證明 API#
・Herodotus 提供了一個 API，用於存儲證明，但比較簡單。只需花費 25 分鐘。
・好處是可以創建許多新的用例，通過數學和零知識讓數據變得安全，而且可以跨越區塊鏈訪問歷史數據和當前數據。
・缺點是比較複雜，維護成本高，而且沒有很好的文檔。
・Herodotus 的 API 可以批量處理數據，以便於獲得最低的價格。
・API 能夠證明狀態樹，智能合約和交易的報銷，只需要發送請求即可。
・演示了一個賬戶恢復的案例研究，展示了如何使用 API 進行操作。
・需要兩個證明來證明一年前的節點以及現在節點是一樣的。