Semua orang setuju bahwa ZK-STARK adalah tingkat atas untuk membangun blockchain. Ini tidak selalu terjadi dan ada baiknya itu menjadi konsensus. Apa yang belum menjadi konsensus dan saya prediksi akan menjadi demikian: jika rantai Anda mengandalkan ZK-tech, bahasa pemrograman dan VM Anda harus dioptimalkan untuk ZK. Program yang ditulis dalam bahasa ramah ZK (misalnya Kairo) dapat diproses dengan lancar oleh VM berbasis ZK. Jika ditulis dalam PL yang tidak dioptimalkan untuk ZK (katakanlah, Solidity), maka Anda harus melalui beberapa solusi, sebelum zkVM dapat memprosesnya. Solusi ini berarti bahwa (1), Anda kehilangan akurasi dan efisiensi, dan (2) Anda bahkan mungkin berisiko mengalami bug. Anda memerlukan alat yang tepat untuk bekerja dengan ZK.