ZK-STARK adalah akhir untuk blockchain - Ini sudah jelas sekarang. Apa selanjutnya? Taruhan saya adalah pada bahasa kontrak pintar yang ramah ZK