Dalam jalur ZK ini, semua orang berlomba-lomba dalam inovasi algoritme, tetapi sejujurnya, yang benar-benar menjadi kendala adalah apakah Daya Komputasi cukup tersedia. Rumus matematika itu terlihat indah, tetapi kenyataannya sangat berbeda — sumber daya komputasi yang diperlukan untuk menghasilkan sebuah zk-SNARKs tidak bisa diselesaikan hanya dengan perbaikan di tingkat kode.

Dua tahun terakhir ini, Anda akan menemukan bahwa optimasi perangkat lunak, bagaimanapun juga, tidak dapat melewati batasan perangkat keras. Kebutuhan daya komputasi untuk menghasilkan bukti ada di sana, merupakan biaya tetap yang nyata. Ingin ZK benar-benar terimplementasi secara skala? Hanya mengandalkan matematikawan untuk menulis algoritme yang indah tidaklah cukup, harus ada sumber daya daya komputasi yang cukup banyak dan cukup murah untuk mengikutinya.