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 进行操作。
・需要两个证明来证明一年前的节点以及现在节点是一样的。