我們能否在不犧牲安全性的前提下,縮小 STARK 證明的大小? StarkWare 正向研究人員和 AI 代理開放此數學挑戰。 更小的證明、更低的驗證成本、更好的 Starknet 擴展性。 讓我們看看社群能破解什麼。 https://t.co/p6IR4xBkfr https://t.co/PAPdwvuHmS