Eksekusi komputasi masif offchain, verifikasi hasil onchain yang dapat dipercaya——ini adalah pertanyaan yang telah banyak orang pikirkan.

Tidak semua hal harus dimasukkan ke dalam smart contract. Pemindaian data historis, perhitungan strategi kompleks, penilaian status lintas chain, bahkan AI inference, sekali dipaksakan onchain, baik gas fee meledak, atau hanya bisa bergantung pada oracle terpusat, yang justru menjadi titik terlemah sistem.

Ada satu proyek yang berpikir sangat jelas: hal yang tidak bisa dilakukan diatasi offchain, tetapi hasil eksekusi harus lulus verifikasi ZK. Kontrak dapat menyelesaikan verifikasi dalam skala milidetik——Anda tidak perlu mempercayai server tertentu, hanya perlu mempercayai matematika.

Setelah ProverNet diluncurkan baru-baru ini, positioning sistem ini menjadi lebih jelas. Pico zkVM bertanggung jawab untuk "bisa menghitung apa saja", ZK Data Coprocessor menangani kueri data historis onchain dan lintas chain, sementara ProverNet menghubungkan kebutuhan ini dengan daya komputasi nyata dan biaya nyata. Seluruh jaringan melakukan settlement, staking, insentif, dan governance melalui token unified.

Yang menarik adalah, dari mekanisme fee rate dinamis dari DEX terkemuka, hingga skema distribusi insentif seperti Euler dan Linea, logika onchain yang terlihat seperti black box sebenarnya sudah berjalan di dasar komputasi yang dapat diverifikasi.

ZK sedang berevolusi menjadi lapisan infrastruktur dasar yang dapat dipanggil berulang kali. Ketika era aplikasi onchain yang bermacam-macam tiba, kemampuan komputasi yang dapat diverifikasi ini menjadi sesuatu yang tidak dapat dihindarkan di lapisan dasar.