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