ZK-STARKs 是區塊鏈的終局 - 這一點現在已經很清楚了。 接下來是什麼?我押注於 ZK 友好的智能合約語言