Hambatan miliaran dolar yang membuat transaksi kripto Anda tetap mahal | Opini

Anda mencoba menjembatani $50 dari Ethereum (ETH) ke ZK-rollup, seperti zkSync, mengharapkan untuk membayar beberapa sen. Sebaliknya, biaya antara $0,15 dan $0,50 mengenai dompet Anda. Itu sulit diterima ketika Anda tahu bahwa optimistic rollups vs ZK-rollups sering tiga kali lebih murah, dan peningkatan Dencun memangkas biaya data lebih dari 90%. Hambatannya bukan kemacetan jaringan. Ini adalah bukti itu sendiri.

Menghasilkan bukti zero-knowledge untuk batch transaksi adalah proses yang intensif. Ini melibatkan triliunan operasi matematika, khususnya perkalian kurva eliptik, berjalan pada perangkat keras yang tidak dirancang untuk tugas tersebut. Menurut data dari L2Beat, proses pembuktian saja menyumbang 60-70% yang mengejutkan dari semua biaya pada ZK-L2.

Ini telah menciptakan pasar terpusat "prover farms" yang diperkirakan bernilai lebih dari $97 juta. Ini adalah hambatan bernilai miliaran dolar. Ini adalah sistem terpusat yang haus daya yang mengandalkan perangkat keras yang tidak cocok, dan inilah alasan mengapa penskalaan ZK masih terasa lebih seperti janji daripada kenyataan. 

Solusinya bersifat ganda. Kita membutuhkan ASIC khusus domain dan pasar prover terbuka. Dengan ini di tempat, transaksi sub-sen dapat menjadi default, bukan pengecualian. Ini bukan fantasi. Ini adalah realitas teknik yang menunggu untuk diterima.

Ke mana biaya Anda benar-benar pergi

Transaksi ZK-rollup memiliki beberapa biaya. Eksekusi L2 hampir gratis. Memposting data ke mainnet juga murah sekarang, berkat blob, yang harganya sepersepuluh sen per transaksi. Yang benar-benar berat adalah pembuktian. Satu bukti untuk batch 4.000 transaksi dapat memakan waktu dari dua hingga lima menit untuk dihasilkan pada GPU A100 kelas atas. 

Ini menghabiskan biaya antara $0,04 dan $0,17 dalam biaya komputasi cloud saja, berdasarkan tolok ukur dari Brevis. Ketika Anda mengamortisasi biaya itu, hasilnya sekitar satu hingga empat sen per transaksi. Tetapi di bawah beban berat, ini dapat dengan mudah melonjak hingga lebih dari sepuluh sen.

Pembuktian ZK tidak sama dengan matematika matriks yang digunakan dalam AI. Ini mengandalkan perkalian multi-skalar (MSM) dan transformasi teoretik bilangan (NTT) atas kurva eliptik. Operasi ini adalah beban berat untuk GPU, yang dirancang untuk operasi floating-point paralel. Satu bukti Groth16 memerlukan sekitar 10¹² operasi lapangan.

Menurut tes oleh Ingonyama, sekitar 80% siklus GPU menganggur selama proses ini. Perangkat kerasnya tidak cocok. Pada Q1 2025, laporan zkSync Era menunjukkan bahwa pembuktian menyumbang 65% dari pendapatan mereka sebesar $2,3 juta. 

Itu adalah $1,5 juta yang langsung masuk ke kluster terpusat. Sementara itu, tim rollup membayar AWS $1.000 hingga $5.000 per bulan per rig, dan biaya itu meningkat secara linear dengan volume. Tidak heran bahwa total nilai terkunci di ZK L2 teratas terjebak di $3,3 miliar, sementara optimistic rollups telah melampaui $40 miliar.

Tetapi optimistic rollups (Base, Arbitrum, Optimism, dll.) juga bukan solusi lengkap, karena mereka datang dengan trade-off yang luar biasa. Optimistic rollups memerlukan penundaan penarikan setidaknya tujuh hari sehingga validator yang waspada dapat menantang transisi state yang tidak valid. Dalam dunia DeFi yang serba cepat, waktu tunggu ini terlalu lama untuk sebagian besar kasus penggunaan. Jaringan ini juga mengharuskan pengguna untuk mempercayai validator yang waspada ini. Meskipun ini mungkin baik-baik saja untuk transaksi bernilai rendah seperti permainan web3 atau media sosial, ini meninggalkan banyak hal yang diinginkan dalam hal aset dunia nyata dan kasus penggunaan keuangan bertenaga tinggi lainnya.

Oleh karena itu, jalur menuju transaksi yang benar-benar dapat diskalakan, murah, dan aman tidak terletak pada menghindari pembuatan bukti tetapi dalam merevolusinya.

Ini adalah inefisiensi inti: kita membayar premi web2, baik dalam biaya maupun sentralisasi, untuk menghasilkan kepercayaan untuk jaringan terdesentralisasi. Biaya pembuktian bukan hanya pengeluaran; ini adalah jangkar ekonomi yang menahan adopsi ZK. Sampai pembuatan bukti menjadi semurah eksekusi, ZK-rollups akan tetap terjebak dalam sistem di mana kekuatan terbesar mereka, keamanan kriptografi, juga merupakan hambatan paling mahal mereka. Dan biaya itu tidak hanya menggembungkan biaya; itu membangun perangkap terpusat yang sekarang harus kita hindari.

Perangkap sentralisasi

Lebih dari 90% ZK-rollups mengalihdayakan ke segelintir perusahaan "prover-as-a-service". Ini menciptakan titik kegagalan tunggal yang masif. Pada Maret 2025, operator Blast membekukan transaksi penyerang dan 12.000 pengguna tidak bersalah selama 48 jam. Prover terpusat melihat batch plaintext, mengekstrak MEV, dan menolak transaksi. dYdX menggunakan multisig 3-dari-5, yang berarti tiga orang dalam dapat membajak rantai. Ini mencerminkan masalah ketergantungan perangkat keras dalam sistem blockchain lainnya, seperti mekanisme konsensus Solana.

Sentralisasi ini menciptakan kerapuhan. Prover teratas memiliki uptime 99,2%, tetapi satu pemadaman AWS dapat mengalir. Pada Q2 2025, Starknet kehilangan 20% throughput karena satu kegagalan node. Penyedia ini menangkap margin 80%, meninggalkan rollup yang terjepit sewa, sementara L1 Ethereum menyediakan keamanan. Ini adalah kontradiksi arsitektur. Kita memiliki L2 "terdesentralisasi" yang bergantung pada pusat data Web2. Seperti yang dikatakan Vitalik Buterin di Devcon 2024, "Alihdayakan pembuktian, dan Anda tidak menskalakan apa pun, hanya mempercayai oracle baru."

Perbaikannya ada

Untuk menyelesaikan masalah ini, kita memerlukan pukulan satu-dua. Kita memerlukan silikon yang dibangun untuk ZK, dan kita memerlukan pasar untuk mendistribusikannya. Pertama, perangkat kerasnya. GPU seperti mobil balap di jalan raya. Mereka bagus untuk operasi tensor yang digunakan dalam AI, tetapi mereka buruk untuk operasi kurva yang digunakan dalam ZK. Di sinilah ASIC khusus domain masuk.

Pemenang kompetisi ZPrize 2025 dapat mencatat bukti STARK pada 6-8 detik pada FPGA. Itu 10-100 kali lebih cepat per watt daripada GPU, karena mereka memasang kabel keras MSM dan NTT. Cysic sudah mencetak ASIC yang dapat menghasilkan bukti untuk sirkuit miliaran gerbang dalam waktu kurang dari dua detik, dan mereka melakukannya dengan pengurangan konsumsi energi 50x. Ini adalah evolusi yang sama yang kita lihat dengan penambangan Bitcoin (BTC). Kita beralih dari CPU ke ASIC, tetapi kali ini untuk kebenaran, bukan untuk hash.

Kedua, pasarnya. Kita perlu membuang model SaaS dan memperlakukan prover sebagai komoditas. Mainnet Succinct 2025 mencontohkan ini. Rollup memposting pekerjaan ke lelang berbasis Ethereum, dan rig khusus menawar mereka dalam hitungan detik. Brevis ProverNet mencapai kecepatan CPU 20x melalui kluster GPU dengan slashing untuk node malas.

Hasilnya adalah pengurangan biaya 40%, distribusi nilai yang adil, dan resistensi sensor. Siapa pun dapat membuktikan, Ethereum memverifikasi. Agregasi rekursif ZPrize 2025 memverifikasi bukti dalam waktu kurang dari 200 milidetik on-chain. Bot DeFi $10.000 dapat menjalankan ZK-ML pribadi pada L2 dengan seperseribu sen per transaksi.

Membuka pintu air

Pembuktian yang lebih murah akan mengarah pada biaya sub-$0,01 yang dapat diprediksi pada 15.000 TPS, menurut peta jalan zkSync Atlas. Ini membuka NFT bayar-per-piksel, ekonomi permainan real-time, dan agen AI menyelesaikan perdagangan tanpa frontrunning. L2 menjadi infrastruktur netral, bukan wilayah kekuasaan prover. 

Pengembang fokus pada optimasi VM alih-alih mengelola server farm masif. Ini memicu inovasi aplikasi sepuluh kali lipat. ZK TVL tumbuh dari $28 miliar pada 2025 menjadi lebih dari $100 miliar. Peluang nyata adalah sistemik. 

Ketika pembuktian menjadi murah dan terdesentralisasi, seluruh proposisi nilai mengkristal. Pengguna mendapatkan kecepatan dan biaya. Pengembang mendapatkan platform yang tidak memerlukan kepercayaan pada segelintir operator. Ethereum mendapatkan solusi penskalaan yang mempertahankan jaminan keamanan tanpa kompromi.

Pertarungan ada di sini

Hambatan terbesar untuk adopsi ZK bukanlah kripto atau permainan, itu adalah ekonomi teknik. Infrastruktur terpusat mencekik kebenaran yang dapat diskalakan. Perang bukan tentang konsensus. Ini ada di perangkat keras dan pasar untuk komputasi yang dapat diverifikasi. Kirimkan prover terdesentralisasi yang dipercepat, dan kami memberikan transaksi tanpa kepercayaan yang murah untuk miliaran orang. 

Kita tidak memerlukan penguasa prover. Kita memerlukan bazar global untuk bukti, di mana siapa pun berkontribusi, semua orang memverifikasi, dan web terbuka aman.