ZK-STARKs 是区块链的终局 - 这一点现在已经很清楚了。 接下来是什么?我押注于 ZK 友好的智能合约语言