ZK-STARKs are the endgame for blockchains - This much is clear now. What's next? My bet is on the ZK-friendly smart-contract language