如果您不知道:@GOATRollup 依赖于 Ziren (ZKM 的 MIPS zkVM)。
而这是可能是比特币汇总的最佳ZK设计。
大多数zkVM追逐新的操作码。
ZKM将其基础固定为MIPS32r2 – 稳定、简单、成熟。
这意味着审计、编译器和证明者优化会随着时间的推移而累积,而不是在每次升级时重置。
比特币的平行:
• 比特币: “不要破坏共识。”
• ZKM: “不要打破约束。”
两者都巩固了基础,并将创新推向更高层次 (系统调用, 编译器, 递归证明)。结果:可信中立和可预测的升级。
这有什么重要性?
桥接和结算不能承受电路漂移。它们需要不变的语义、可重复的成本和长期的可靠性。ZKM的设计正好提供了这些。
在我看来,@GOATRollup的愿景背后有非常强大的技术。
查看原文