未来使用 Starks 的生产项目中我们会看到什么？在可证明安全性下，Starks 的证明大小会翻倍吗？根据论文表 1 的建议，在新猜想下证明大小会增加 2-3% 吗？目前没有变化，因为当前系统没有（据我所知）建设性攻击吗？