"patience is a virture,we don't shut down like Solana..."
Starknet 去中心化#
- Ilia 最初谈论 StarkNet 去中心化的旅程，旨在使其强大、可访问并且能够抵抗审查。
- 去中心化涉及决策和治理以及协议。
- StarkNet 与以太坊的区别在于它具有两个并行层，这带来了许多问题。
- 必须解放化两个独立层：排序层和证明层。
- 需要考虑激励代币流动性和交易费用机制。
- 需要实现真正的 L1 状态更新协议。
- 2021 年末，开始思考如何实现解放化，并以功能性为中心进行探索。
不在停机问题上停下来#
- 我们将讨论如何防止用户对 StarkNet 的攻击，包括尝试运行无法停止的无限循环。
- 首先是在代码中添加 “汽油计数器”，每个指令扣除余下的燃料并发出报警，以证明当用户耗尽燃料时，可以证明它发生了。
- 其次，我们可以使用 SIRRA 对代码进行结构化，然后在每行指令中添加 “汽油计数器”，如果失败就发出警报。
- 随后是汽油钱包，它是一个编译时解决方案，通过在编译时进行簿记，以确保每条命令都有足够的汽油可用，如果失败，就退出程序。
- 另外，我们添加了一个新的特殊指令 “get gas”，当尝试调用时，它会失败并退出程序。
- 用户代码会包含索取 30 个燃料单位的语句，这样我们就可以确保代码会一直运行到下一次调用 get gas 为止。
- 同时，我们也需要考虑不同操作的价格，比如检索常数的价格比递归调用代码的价格要便宜得多。