未來使用 Starks 的生產項目中，我們會看到什麼？在可證明的安全性下，Starks 的證明大小會翻倍嗎？根據論文的表 1，新的猜想下證明大小會增加 2-3% 嗎？目前沒有變化，因為對現有系統沒有（據我所知）建設性的攻擊嗎？