Apa Itu SNARKs? Mengapa Vitalik Buterin Percaya Biaya Bukti ZK Bisa Turun di Bawah 10x

2026/09/08 11:12:00

Vitalik Buterin Melihat Kriptografi Mendekati Beban Hampir Nol

Co-founder Ethereum Vitalik Buterin menerbitkan analisis pada 6 September 2026, yang memberikan probabilitas konkret terhadap kepraktisan jangka panjang dari tiga primitif kriptografi canggih. Ia memberikan probabilitas 60% bahwa SNARKs, enkripsi sepenuhnya homomorfik, dan obfuskasi ketidakdapatdibedakan pada akhirnya akan beroperasi dengan biaya kurang dari 10 kali biaya komputasi biasa saat diukur berdasarkan total penggunaan energi ditambah biaya komputasi yang diamortisasi. Ia juga memperkirakan peluang 33% bahwa alat-alat yang sama dapat mendekati overhead 1+ε pada skala yang cukup besar, artinya biaya kriptografi tambahan menjadi semakin kecil secara arbitrer dibandingkan dengan pekerjaan dasarnya. SNARKs merupakan yang paling matang di antara ketiganya dan paling mungkin mencapai overhead satu digit pada akhir dekade ini. Fungsi hash khusus dan sejumlah beban kerja inferensi model bahasa besar telah terlebih dahulu menunjukkan tingkat efisiensi yang sebanding.

Proyeksi ini muncul di tengah peningkatan cepat dalam biaya pembuktian zero-knowledge, di mana tolok ukur publik menunjukkan biaya pembuktian blok Ethereum turun dari dolar menjadi pecahan sen dalam waktu sekitar satu tahun. Overhead yang lebih rendah akan memperluas penerapan praktis pembuktian pribadi, memungkinkan batas gas lebih tinggi tanpa pertumbuhan proporsional pada perangkat keras validator, serta mendukung adopsi luas aplikasi yang melindungi privasi di seluruh sistem blockchain. Penilaian ini tetap merupakan pandangan pribadi, bukan konsensus, dan bukan komitmen terhadap peta jalan protokol. SNARKs sudah memberikan nilai produksi saat ini dan berada paling dekat di antara alat kriptografi canggih lainnya dalam mencapai overhead yang cukup rendah untuk penerapan rutin dan berskala besar, menurut perkiraan probabilitas Buterin pada September 2026 dan kemajuan empiris bersamaan dalam sistem pembuktian.

Bagaimana SNARKs Memberikan Bukti Ringkas tentang Kebenaran Komputasi Tanpa Mengungkapkan Input

Succinct Non-interactive Arguments of Knowledge, atau SNARKs, memungkinkan satu pihak menghasilkan bukti kriptografi singkat bahwa suatu komputasi telah dijalankan dengan benar. Pemeriksa memverifikasi bukti tanpa menjalankan ulang perhitungan penuh atau mempelajari input pribadi. Sifat “ringkas” menjaga ukuran bukti tetap kecil dan verifikasi cepat, bahkan ketika pernyataan yang mendasarinya kompleks. Desain non-interaktif berarti pembukti menghasilkan satu pesan yang dapat diperiksa secara independen oleh siapa pun. Varian zero-knowledge lebih lanjut menyembunyikan data saksi, mendukung aplikasi privasi seperti transaksi terlindungi atau logika kontrak pintar rahasia. Secara praktis, konstruksi SNARK modern bergantung pada kriptografi berbasis pairing atau alternatif berbasis hash, dengan sirkuit yang menyatakan komputasi sebagai batasan aritmetika. Waktu dan memori pembuktian tetap menjadi biaya utama, sementara verifikasi biasanya cukup murah untuk digunakan di rantai. Sistem khusus terbaru telah mengurangi overhead untuk beban kerja terstruktur seperti evaluasi hash berulang hingga level jauh di bawah implementasi generik sebelumnya.

Kesenjangan efisiensi antara kasus spesialis dan umum menjelaskan mengapa Buterin menyoroti SNARKs sebagai kandidat terdekat untuk overhead tunggal satu digit yang luas. Implementasi produksi sudah mengandalkan SNARKs untuk bukti validitas rollup dan protokol privasi, menunjukkan bahwa mekanisme intinya berfungsi dalam skala besar bahkan sebelum pengurangan biaya yang diproyeksikan sepenuhnya terwujud. Kemajuan berkelanjutan dalam optimasi sirkuit, akselerasi perangkat keras, dan komposisi rekursif terus mempersempit kesenjangan kinerja yang tersisa antara eksekusi asli dan eksekusi yang dibuktikan. Nilai praktis SNARKs didasarkan pada asimetri antara pembuktian dan verifikasi. Menghasilkan bukti mungkin masih memerlukan sumber daya yang signifikan dibandingkan hanya menjalankan program aslinya, namun objek yang dihasilkan tetap kecil dan cepat untuk diperiksa. Sifat ini menjadi dasar desain penskalaan Layer-2 yang mengirim bukti ringkas ke lapisan dasar daripada data transaksi penuh. Ini juga mendukung aplikasi di mana pihak harus menunjukkan pengetahuan atas rahasia atau eksekusi yang benar dari komputasi pribadi tanpa mengungkapkan rahasia itu sendiri.

Benchmak empiris dari 2025 hingga 2026 menunjukkan biaya pembuktian untuk blok berskala Ethereum turun sekitar 45 kali dalam satu tahun di pelacak publik, mencapai level di bawah satu sen untuk konfigurasi yang memenuhi syarat di bawah pengaturan multi-GPU yang dioptimalkan. Peningkatan semacam ini memvalidasi arah menuju target overhead yang dijelaskan Buterin. Tren perangkat keras, termasuk GPU kelas konsumen dan desain prover khusus, lebih lanjut mengurangi biaya energi dan modal absolut yang terkait dengan generasi bukti. Ketika fungsi hash khusus sudah beroperasi mendekati kelipatan satu digit dari biaya aslinya, tantangan rekayasa yang tersisa berfokus pada memperluas efisiensi tersebut ke sirkuit yang lebih umum tanpa memperkenalkan hambatan baru. Kombinasi kemajuan algoritmik dan pematangan perangkat keras oleh karena itu menyediakan dasar fakta untuk probabilitas optimis yang diberikan pada SNARKs mencapai tingkat overhead yang secara luas berguna dalam dekade ini.

Kerangka Kerja Probabilitas Vitalik Buterin untuk Overhead Kriptografi September 2026

Pada 6 September 2026, Buterin mengkuantifikasi pertanyaan-pertanyaan lama mengenai kepraktisan kriptografi canggih dengan memberikan probabilitas eksplisit. Ia memperkirakan peluang 60% bahwa SNARKs, enkripsi sepenuhnya homomorfik, dan obfuskasi ketidakdapatdibedakan pada akhirnya akan mencapai biaya energi dan komputasi amortisasi kurang dari 10 kali lipat dari komputasi biasa. Probabilitas terpisah sebesar 33% berlaku untuk klaim yang lebih kuat bahwa ketiga hal tersebut dapat mendekati overhead 1+ε untuk beban kerja dunia nyata rata-rata setelah skala cukup besar. Pengukuran ini sengaja memasukkan konsumsi energi daripada hanya waktu jam dinding, mencerminkan beban ekonomi sejati dari menjalankan teknologi ini dalam volume besar. Buterin menggambarkan prospek keseluruhan sebagai optimis dan tidak konsensus. Ia mencatat bahwa setidaknya salah satu dari ketiga primitif tersebut, kemungkinan besar SNARKs, memiliki peluang baik untuk mencapai overhead satu digit pada akhir dekade ini. Kasus-kasus khusus sudah menunjukkan kelayakan tingkat semacam itu untuk fungsi hash tertentu dan tugas inferensi model bahasa. Perkiraan ini tidak dilengkapi dengan tenggat waktu protokol atau komitmen teknis; mereka mewakili penilaian pribadi mengenai kemungkinan teknis, bukan jadwal untuk peningkatan ethereum.

Cakupan di berbagai media pada 6 dan 7 September mengonfirmasi rentang numerik yang sama serta penekanan pada SNARKs sebagai kandidat jangka terdekat. Angka-angka ini memberikan titik acuan konkret untuk mengukur kemajuan penelitian selanjutnya. Perbedaan antara probabilitas sub-10x sebesar 60% dan jangka waktu yang lebih sempit untuk overhead single-digit adalah penting. Buterin tidak menyatakan bahwa ketiga teknologi tersebut akan melewati ambang 10x pada tahun 2030. Pernyataan yang lebih terbatas berkaitan dengan kemungkinan bahwa setidaknya satu, yang diharapkan adalah SNARKs, mencapai kelipatan single-digit dalam dekade ini. Kerangka ini menghindari janji berlebihan terhadap primitif yang lebih jauh sambil tetap menyoroti potensi jangka pendek yang dapat diukur. Akuntansi energi-ditambah-biaya-amortisasi semakin mendasarkan perkiraan ini pada realitas ekonomi, bukan hanya kompleksitas asimtotik murni.

Ketika membuktikan biaya turun, anggaran komputasi yang sama dapat mendukung throughput yang lebih tinggi atau pernyataan yang lebih kompleks tanpa peningkatan proporsional dalam kebutuhan perangkat keras untuk validator atau pengguna. Pelaporan publik terhadap analisis 6 September secara konsisten mengutip angka 60% dan 33% yang sama, bersama dengan pengamatan bahwa beban kerja khusus telah mendekati rentang target. Oleh karena itu, kerangka kerja ini menyediakan both ramalan kuantitatif dan peringkat kualitatif terhadap tingkat kedewasaan relatif di antara ketiga teknologi tersebut. Peningkatan empiris berkelanjutan dalam sistem pembuktian SNARK memberikan dukungan independen terhadap peringkat yang menempatkan SNARKs sebagai yang pertama dalam urutan pengurangan biaya yang diharapkan.

Fungsi Hash Spesialis Sudah Mendekati Overhead SNARK Satu Angka

Buterin secara eksplisit mencatat bahwa fungsi hash khusus telah mencapai tingkat efisiensi yang sebanding dengan overhead satu digit dibandingkan eksekusi asli. Konstruksi terbaru seperti Flock, sebuah SNARK berbasis hash yang dioptimalkan untuk batch komputasi Boolean, menggambarkan poin ini dengan angka throughput konkret. Pada perangkat konsumen, Apple M4 Max dapat membuktikan ratusan ribu kompresi BLAKE3, kompresi SHA-256, atau permutasi Keccak per detik, yang mewakili peningkatan sekitar satu orde besar dibandingkan sistem terkini sebelumnya untuk beban kerja yang sama. Ukuran bukti tetap di bawah 450 KB, dan verifikasi selesai dalam waktu kurang dari empat milidetik. Hasil-hasil ini penting karena evaluasi hash mendominasi banyak sirkuit kriptografi, termasuk pembukaan jalur Merkle, rantai hash, dan lapisan-lapisan dalam dari bukti rekursif.

Ketika operasi dominan menjadi murah untuk dibuktikan, overhead keseluruhan dari pernyataan yang lebih besar menurun, bahkan jika logika sekitarnya tetap kurang dioptimalkan. Prinsip yang sama berlaku untuk tugas inferensi model bahasa besar tertentu di mana perkalian matriks dan operasi terstruktur terkait mengizinkan strategi pembuktian yang sangat efisien. Dokumentasi publik dari sistem-sistem khusus ini mengonfirmasi bahwa kelipatan satu digit tidak lagi murni teoretis untuk pola komputasi sempit namun sering terjadi. Memperluas efisiensi yang sama ke sirkuit umum tetap menjadi tantangan teknik, namun hasil khusus ini menetapkan bukti eksistensi yang jelas. Akselerasi perangkat keras semakin memperbesar keuntungan: konfigurasi multi-core dan multi-GPU mendorong throughput lebih tinggi lagi, sementara jejak memori tetap praktis untuk ukuran batch yang ditargetkan. Desain Flock menggabungkan protokol lincheck dan zerocheck yang dioptimalkan dengan teknik implementasi agresif, menunjukkan bahwa kodesain algoritma dan perangkat lunak dapat menghasilkan percepatan signifikan.

Modul khusus serupa muncul dalam sistem SNARK modern lainnya yang mengisolasi operasi mahal seperti hash atau tanda tangan dan membuktikannya dengan sub-protokol khusus yang sangat dioptimalkan. Ketika sebagian besar komputasi terdiri dari pekerjaan terstruktur semacam ini, overhead umum sisa menjadi bagian yang lebih kecil dari total biaya. Referensi Buterin terhadap kasus-kasus yang sudah ada oleh karena itu didasarkan pada kinerja yang dapat diukur, bukan hanya proyeksi semata. Seiring lebih banyak beban kerja ditulis ulang atau dikompilasi untuk menekankan primitif yang ramah SNARK, fraksi komputasi dunia nyata yang dapat beroperasi mendekati overhead satu digit terus membesar. Spesialisasi progresif ini menyediakan salah satu jalur konkret yang mendukung probabilitas luas bahwa SNARK akan mencapai rentang target untuk kasus rata-rata pada akhir dekade ini.

Penurunan Empiris Terbaru dalam Biaya Pembuktian Blok Ethereum

Benchmak independen mencatat penurunan tajam dalam biaya menghasilkan zero-knowledge proof untuk blok ethereum. Data ethproofs publik mencatat rata-rata biaya turun dari sekitar 1,69 dolar pada awal 2025 menjadi di bawah empat sen pada akhir tahun tersebut, penurunan sekitar 45 kali. Pada awal September 2026, konfigurasi terpilih melaporkan biaya mendekati setengah sen untuk blok yang memenuhi syarat, meskipun tingkat keberhasilan untuk proof di bawah 10 detik di semua slot yang dievaluasi tetap sebagian karena run offline dan tidak memenuhi syarat ikut dihitung. Ethereum Foundation sebelumnya telah menetapkan target konkret untuk proving real-time: di bawah 10 detik untuk 99 persen blok mainnet pada perangkat keras dengan biaya paling banyak 100.000 dolar, mengonsumsi paling banyak 10 kilowatt, dengan proof di bawah 300 KiB dan tanpa trusted setup. Beberapa tim telah memenuhi atau mendekati target tersebut pada akhir 2025.

Angka-angka ini berlaku untuk bukti blok penuh daripada sirkuit aplikasi terisolasi, namun menunjukkan bahwa biaya absolut generasi SNARK terus menurun di bawah beban kerja dan batasan perangkat keras yang realistis. Verifikasi tetap jauh lebih murah daripada pembuktian, menjaga biaya on-chain tetap terkendali meskipun kompleksitas bukti meningkat. Jalur biaya ini memiliki implikasi langsung terhadap kelipatan overhead yang dibahas oleh Buterin. Ketika biaya energi dan modal absolut untuk menghasilkan bukti menurun, rasio relatif terhadap eksekusi asli meningkat bahkan jika overhead algoritmik tetap konstan. Peningkatan perangkat keras, termasuk penempatan GPU yang lebih padat dan perangkat lunak prover yang lebih efisien, berkontribusi terhadap penurunan yang terukur.

Sistem khusus mempercepat lebih lanjut sebagian operasi yang mendominasi pembuktian blok, seperti hashing dan pemeriksaan tanda tangan. Kombinasi kemajuan algoritmik dan peningkatan perangkat keras komoditas menghasilkan efek berlipat yang terlihat pada pelacak publik. Biaya pembuktian yang lebih rendah juga melemahkan batasan pada batas gas dan throughput: validator tidak lagi perlu memperluas perangkat keras secara proporsional terhadap setiap peningkatan permintaan komputasi jika sebagian besar pekerjaan dapat dibuktikan daripada dieksekusi ulang. Snapshot September 2026 untuk biaya di bawah satu sen untuk konfigurasi tertentu oleh karena itu menyediakan konteks empiris yang tepat waktu untuk probabilitas 60% yang diberikan terhadap overhead di bawah 10x. Pemantauan berkelanjutan terhadap benchmark publik yang sama akan memungkinkan pengamat menguji apakah laju perbaikan yang diamati mampu mempertahankan trajektori yang diperlukan untuk mencapai target satu digit bagi beban kerja yang lebih luas dalam dekade ini.

Bagaimana Biaya SNARK yang Lebih Rendah Dapat Menaikkan Batas Gas Ethereum Tanpa Lonjakan Perangkat Keras

Mengurangi overhead SNARK secara langsung memengaruhi ekonomi peningkatan batas gas. Batas yang lebih tinggi meningkatkan beban komputasi yang dapat ditampung setiap blok, yang pada gilirannya meningkatkan sumber daya yang dibutuhkan untuk validasi penuh jika setiap node mengeksekusi ulang setiap transaksi. Ketika sebagian besar pekerjaan tersebut dapat digantikan oleh bukti ringkas, beban perangkat keras marginal pada validator tumbuh lebih lambat. Buterin sebelumnya telah menghubungkan bukti yang lebih murah dengan kelayakan throughput yang lebih tinggi tanpa peningkatan proporsional dalam persyaratan validator. Dalam skenario ekstrem, bukti rekursif dapat memampatkan sejumlah besar eksekusi menjadi objek-objek yang biaya verifikasinya tetap hampir konstan. Modul hash dan tanda tangan khusus sudah menunjukkan bahwa operasi dominan di dalam banyak sirkuit dapat beroperasi pada kelipatan rendah dari biaya asli.

Memanfaatkan efisiensi tersebut mengurangi total energi dan biaya teramortisasi yang terkait dengan membuktikan blok yang lebih besar. Hasilnya adalah trade-off yang lebih menguntungkan antara kapasitas dan desentralisasi: jaringan dapat memproses lebih banyak aktivitas sambil tetap menjaga hambatan untuk menjalankan node validasi tetap terjangkau oleh lebih banyak peserta. Ilustrasi praktis muncul dalam desain Layer-2 yang sudah memposting bukti SNARK atau STARK daripada jejak eksekusi penuh. Saat biaya pembuktian turun, desain yang sama dapat mendukung batch yang lebih padat atau logika aplikasi yang lebih kompleks tanpa peningkatan proporsional dalam biaya infrastruktur pembuktian. Pada lapisan dasar itu sendiri, proposal yang bergantung pada bukti harian atau berbasis epoch untuk pembaruan status validator juga mendapat manfaat dari overhead yang lebih rendah.

Metrik energi-plus-biaya-amortisasi yang ditekankan dalam analisis September 2026 menangkap dampak ekonomi penuh dari perubahan-perubahan ini. Ketika biaya tambahan kriptografi menyusut mendekati kelipatan satu digit, insentif untuk menjaga bukti di luar jalur kritis berkurang, dan penggunaannya dapat meluas ke fungsi protokol yang lebih rutin. Peserta pasar yang memantau metrik kapasitas Ethereum karenanya dapat menginterpretasikan penurunan biaya pembuktian sebagai indikator ruang masa depan untuk peningkatan batas gas yang mempertahankan partisipasi luas. Keterkaitan antara efisiensi kriptografi dan penskalaan protokol tetap menjadi salah satu aplikasi jangka pendek paling jelas dari pengurangan biaya yang diukur Buterin.

FHE dan Indistinguishability Obfuscation Masih Jauh dari Target Overhead Praktis

Enkripsi homomorfik penuh memungkinkan komputasi sewenang-wenang pada data terenkripsi tanpa dekripsi, sementara obfuskasi ketidakdapatdibedakan bertujuan untuk menyembunyikan logika internal suatu program sedemikian rupa sehingga hanya perilaku input-outputnya yang tetap teramati. Kedua primitif ini memperluas ruang desain untuk aplikasi berbasis status bersama pribadi dan perlindungan perangkat lunak, namun overhead saat ini jauh melebihi SNARKs. Buterin sebelumnya menggambarkan iO sebagai “bos akhir” kriptografi karena konstruksinya menumpuk beberapa primitif canggih dan tetap menghasilkan waktu eksekusi galaksi di bawah asumsi konservatif. Pendekatan berbasis kisi yang optimis sekalipun meninggalkan waktu eksekusi yang diukur dalam hari pada perangkat keras berat untuk program sederhana. Implementasi FHE telah meningkat, tetapi tetap menghasilkan artefak multi-gigabyte dan waktu eksekusi multi-jam untuk tugas pembelajaran mesin relatif kecil dalam benchmark tahun 2026.

Analisis September karena itu menempatkan kedua teknologi ini di belakang SNARKs dalam perkiraan waktu menuju overhead satu digit. Probabilitas 60% berlaku untuk pencapaian akhir biaya di bawah 10x untuk ketiganya; pernyataan akhir dekade yang lebih sempit secara khusus menunjukkan SNARKs sebagai yang paling mungkin menjadi pelopor pertama. Jarak relatif tidak menyiratkan stagnasi. Penelitian terus berlanjut dengan asumsi yang lebih agresif, pendekatan non-rangka baru seperti local mixing, dan optimasi progresif terhadap menara konstruksi yang ada. Peningkatan pada primitif komponen seperti functional encryption atau FHE yang efisien dapat berdampak berantai pada penurunan biaya iO secara keseluruhan. Untuk FHE, jalurnya mencakup teknik packing yang lebih baik, akselerasi perangkat keras, dan encoding yang ramah sirkuit yang mengurangi pertumbuhan noise.

Meskipun demikian, kesenjangan empiris tetap cukup besar sehingga peringkat Buterin menempatkan overhead tunggal satu digit praktis untuk alat-alat ini lebih lambat daripada untuk SNARKs. Aplikasi yang memerlukan komputasi pada keadaan bersama yang terenkripsi atau logika program yang tersembunyi oleh karena itu akan terus mengandalkan teknik alternatif atau desain hibrida sampai target overhead terpenuhi. Kerangka kerja probabilitas memperlakukan ketiga teknologi ini sebagai portofolio: keberhasilan pada anggota terdekat (SNARKs) sudah membuka nilai yang signifikan, sementara kemajuan akhir pada anggota yang lebih jauh memperluas himpunan jaminan privasi dan integritas yang layak. Melacak hasil SNARK khusus dengan demikian tetap menjadi indikator paling segera apakah penilaian keseluruhan 60% berada di jalur yang tepat.

Komposisi Bukti Rekursif Memperluas Keuntungan Efisiensi pada Pernyataan yang Lebih Besar

Komposisi rekursif memungkinkan SNARK untuk memverifikasi SNARK lain, memungkinkan kompresi hierarkis dari komputasi besar menjadi satu bukti ringkas. Teknik ini sudah menjadi inti dari banyak sistem produksi yang menggabungkan beberapa transaksi atau blok. Ketika bukti-bukti internal menjadi lebih murah untuk dihasilkan, lapisan rekursif luar mewarisi penghematan tersebut dan dapat beroperasi dengan throughput lebih tinggi atau latensi lebih rendah. Modul-modul khusus untuk hash dan operasi-operasi sering lainnya semakin mempercepat jalur rekursif karena verifikasi bukti internal sering kali mengurangi menjadi pemeriksaan terstruktur yang memungkinkan penanganan efisien.

Benchmarks publik yang menunjukkan biaya di bawah satu sen untuk bukti blok Ethereum penuh sudah mengintegrasikan teknik rekursif dalam beberapa stack prover terkemuka. Seiring biaya pembuktian dasar terus menurun, biaya marjinal dari lapisan rekursi tambahan juga menurun, mendukung nesting yang lebih dalam tanpa pertumbuhan sumber daya yang proporsional. Sifat komposisi yang sama mendukung desain konsensus “sangat ramping” yang menggantikan pembaruan saldo on-chain berulang dengan bukti zero-knowledge harian atau berbasis epoch. Validator melacak status mereka sendiri dan mengirimkan bukti ringkas yang mencakup partisipasi dan hadiah; lapisan dasar memverifikasi agregat daripada menyimpan dan memperbarui setiap saldo. Overhead yang lebih rendah membuat bukti semacam ini layak di perangkat keras sederhana dan dalam jendela waktu yang praktis.

Agregasi rekursif dapat lebih memampatkan bukti dari banyak validator menjadi satu objek tunggal yang biaya verifikasinya tetap hampir konstan. Pola arsitektural ini menggambarkan bagaimana pengurangan biaya pada tingkat primitif diterjemahkan menjadi efisiensi sistemik. Ketika energi dan biaya amortisasi setiap lapisan bukti mendekati kelipatan satu digit dari pekerjaan dasarnya, overhead kumulatif dari sistem multi-level tetap terkendali. Kemajuan empiris baik pada prover khusus maupun benchmark blok penuh oleh karena itu menyediakan bukti pendukung untuk kelayakan desain rekursif yang bergantung pada SNARK yang terjangkau.

Akselerasi Perangkat Keras dan Prover Tingkat Konsumen Menyempitkan Kesenaan Biaya

Prover SNARK modern semakin memanfaatkan sumber daya GPU komoditas dan CPU multi-core daripada mengandalkan ASIC khusus saja. Konfigurasi yang menggunakan 16 GPU konsumen telah menunjukkan pembuktian real-time untuk blok ethereum di bawah target latensi dan daya Foundation. Hasil satu-GPU dan bahkan kelas laptop untuk beban kerja yang lebih sempit, seperti batch hash Flock atau bukti identitas di perangkat, menunjukkan bahwa hambatan perangkat keras absolut terus menurun. Jejak memori untuk beberapa prover seluler dan desktop tetap berada dalam rentang perangkat konsumen biasa.

Perkembangan ini mengurangi biaya modal infrastruktur prover dan komponen energi dari metrik overhead yang ditekankan Buterin. Ketika pekerjaan komputasi yang sama dapat dilakukan pada perangkat keras yang tersedia luas, biaya teramortisasi turun dan teknologi menjadi dapat diakses oleh lebih banyak operator. Tren ini juga berinteraksi dengan spesialisasi algoritmik. Perangkat keras yang mempercepat perkalian matriks atau evaluasi hash paralel memperkuat keuntungan yang sudah dicapai untuk inferensi model bahasa dan sirkuit Boolean terstruktur. Perangkat lunak prover yang memetakan sirkuit ke primitif perangkat keras ini lebih meningkatkan pemanfaatan.

Pelacak publik yang melaporkan statistik biaya dan tingkat keberhasilan di berbagai konfigurasi independen memberikan visibilitas berkelanjutan terhadap efek gabungan dari kemajuan perangkat keras dan perangkat lunak. Seiring lebih banyak tim yang mempublikasikan benchmark yang dapat direproduksi pada perangkat keras yang sebanding, komunitas dapat membedakan peningkatan efisiensi nyata dari artefak spesifik konfigurasi. Observasi September 2026 terhadap biaya setengah sen untuk bukti blok yang memenuhi syarat, bahkan dengan tingkat keberhasilan yang belum lengkap di semua slot, menunjukkan bahwa jalur perangkat keras tetap produktif. Peningkatan berkelanjutan pada aspek ini mendukung kemungkinan bahwa overhead satu digit akan menjadi tercapai untuk berbagai beban kerja yang semakin luas sebelum akhir dekade ini.

Aplikasi privasi berpotensi mendapat manfaat terlebih dahulu dari SNARKs yang lebih murah

Penurunan biaya SNARK memperluas rangkaian aplikasi yang menjaga privasi yang dapat beroperasi secara ekonomis di chain publik. Transaksi terlindungi, keadaan smart-contract pribadi, dan pengungkapan selektif kredensial semuanya bergantung pada zero-knowledge proof yang biaya generasinya harus tetap praktis bagi pengguna akhir atau operator layanan. Ketika beban pembuktian turun mendekati kelipatan satu digit, hambatan dalam menghasilkan dan mengirimkan bukti semacam itu berkurang, mendukung adopsi yang lebih tinggi. Sistem yang ada sudah menunjukkan pola ini: protokol privasi yang dulunya memerlukan komputasi besar di luar rantai atau perangkat tepercaya dapat bermigrasi ke desain yang lebih transparan dan sepenuhnya kriptografis setelah biaya meningkat.

Toolkit pembuktian di perangkat yang dirilis pada 2026 semakin menggambarkan arah ini, menghasilkan bukti identitas secara lokal di ponsel konsumen tanpa mengirimkan dokumen dasar ke server eksternal. Bukti yang lebih cepat dan lebih murah membuat alur kerja lokal ini lebih responsif dan hemat energi. Pengurangan biaya yang sama mendukung desain keadaan bersama pribadi yang menggabungkan SNARKs dengan primitif lainnya. Maker pasar otomatis rahasia, lelang penawaran tertutup, dan kolam pinjaman pribadi menjadi lebih mungkin dilakukan ketika beban kriptografi tidak lagi mendominasi perhitungan ekonomi. Diskusi luas Buterin tentang peta jalan privasi, termasuk pembacaan, penulisan, dan pembuktian pribadi, selaras dengan harapan bahwa SNARKs yang terjangkau akan membentuk lapisan dasar.

Penurunan biaya empiris sudah terlihat dalam benchmark publik, sehingga menerjemahkan ke ruang yang konkret untuk fitur privasi yang sebelumnya menghadapi kendala ekonomi. Peserta pasar yang memantau adopsi protokol pelestarian privasi dapat memperlakukan penurunan biaya pembuktian sebagai indikator terdepan dari perluasan ruang desain. Hubungan ini tetap berbasis bukti: pengurangan terukur dalam energi dan biaya modal secara langsung meningkatkan kelayakan aplikasi yang kebenaran dan privasinya bergantung pada bukti SNARK.

Konteks Pasar dan Industri untuk Mempercepat Efisiensi SNARK

Ekosistem zero-knowledge yang lebih luas terus menunjukkan pengembangan aktif meskipun metrik proyek individu berfluktuasi. Repositori publik dan pelacak aktivitas pengembang pada 2026 mencatat ribuan kontributor historis dan sejumlah kecil namun tetap signifikan pengembang aktif saat ini di berbagai sistem bukti dan mesin virtual. zkVM produksi melaporkan pembuktian beban kerja skala ethereum secara real-time atau hampir real-time pada perangkat keras multi-GPU, dengan beberapa sistem mencapai status produksi yang diaudit. Prover khusus untuk batch hash dan identitas perangkat semakin memperkaya alat yang tersedia.

Upaya paralel ini menciptakan tekanan kompetitif yang mempercepat optimasi secara menyeluruh. Ketika beberapa tim independen mempublikasikan angka biaya dan latensi yang terus membaik, arah keseluruhan menjadi lebih kuat daripada satu implementasi tunggal. Adopsi industri meluas jauh melampaui skalabilitas blockchain murni. Proyek percontohan tokenisasi aset lintas yurisdiksi, prototipe mata uang digital, dan kerangka verifikasi data kesehatan telah mulai mengintegrasikan bukti berbasis SNARK. Persyaratan umumnya adalah kemampuan untuk menunjukkan komputasi yang benar atau kredensial yang valid tanpa mengungkapkan data dasarnya.

Penurunan biaya pembuktian juga menurunkan hambatan bagi kasus penggunaan non-kripto ini, memperluas permintaan keseluruhan yang dapat ditargetkan untuk teknologi SNARK yang efisien. Pelaporan publik terhadap penurunan biaya pada bukti blok Ethereum karena itu berfungsi sebagai proxy yang terlihat untuk kemajuan yang menguntungkan sejumlah aplikasi yang lebih luas. Kombinasi benchmark terbuka, implementasi yang bersaing, dan kasus penggunaan yang berkembang menyediakan konteks pasar di mana perkiraan probabilitas Buterin dapat dievaluasi selama tahun-tahun mendatang. Peningkatan berkelanjutan di seluruh dimensi ini akan meningkatkan kepercayaan bahwa penilaian 60% untuk overhead kurang dari 10x dapat dicapai.

Jalur Teknik Praktis Menuju Overhead Satu Angka yang Lebih Luas

Beberapa arah teknik konkret menyatu pada target overhead satu digit untuk beban kerja umum. Kompilator sirkuit yang memetakan kode tingkat tinggi ke representasi menengah yang ramah SNARK mengurangi jumlah kendala untuk operasi umum. Bahasa dan perpustakaan khusus domain yang menyediakan modul hash, tanda tangan, dan aritmetika yang dioptimalkan memungkinkan pengembang untuk menyusun program di sekitar primitif yang sudah efisien. Teknik agregasi rekursif dan data yang membawa bukti mendistribusikan biaya verifikasi di sepanjang batch besar. Desain perangkat keras-perangkat lunak yang terpadu lebih lanjut memetakan sisa pekerjaan umum ke akselerator paralel.

Setiap jalur ini telah menghasilkan peningkatan yang terukur pada periode 2025–2026. Ketika modul-modul khusus sudah beroperasi mendekati target, fraksi umum yang tersisa menjadi fokus optimasi berkelanjutan. Pengurangan berturut-turut pada fraksi sisa tersebut mendorong overhead rata-rata untuk program realistis mendekati rentang angka satu digit. Biaya verifikasi tetap rendah dibandingkan dengan pembuktian, sehingga upaya rekayasa utama berfokus pada prover. Pelacak publik yang melaporkan statistik biaya absolut dan tingkat keberhasilan di berbagai konfigurasi perangkat keras menyediakan papan peringkat independen.

Tim-tim yang mempublikasikan hasil yang dapat direproduksi pada setup yang sebanding memungkinkan komunitas untuk mengidentifikasi kombinasi algoritma, desain sirkuit, dan perangkat keras mana yang menghasilkan keuntungan terbesar. Keberadaan beberapa zkVM siap produksi dan prover khusus sudah menunjukkan bahwa teknologi ini telah melampaui prototipe laboratorium. Memperluas efisiensi yang ditunjukkan pada hash dan inferensi model bahasa ke seluruh rentang logika aplikasi merupakan tantangan praktis yang tersisa. Kemajuan di sepanjang jalur teknik ini memberikan dasar fakta bagi harapan bahwa SNARKs dapat mencapai overhead single-digit yang secara luas bermanfaat dalam dekade ini.

🔥 Di Luar Headline: Apa yang Dimaksud KuCoin 5.0 Bagi Anda

Berita pasar bergerak cepat — tetapi di mana Anda bertindak atasnya sama pentingnya. Pada bulan Oktober ini, KuCoin meluncurkan KuCoin 5.0, mengubah KuCoin menjadi platform yang dibangun ulang. Inilah yang benar-benar berubah untuk Anda:

Satu akun untuk semuanya. Platform lama memisahkan uang Anda ke dalam akun "spot," "margin," dan "futures" yang terpisah dan mengharapkan Anda memahami alasannya. Akun Terpadu KuCoin 5.0 menghilangkan hal itu sepenuhnya — setor sekali, dan semuanya langsung tersedia.
Saham, indeks, dan komoditas. KuCoin 5.0 memperluas jangkauan selain kripto ke pasar global. Ketika kripto bergerak datar dan ekuitas naik (atau sebaliknya), Anda dapat berpindah dalam hitungan menit tanpa perlu membuka akun broker dan menunggu berhari-hari untuk transfer fiat.
Aset dunia nyata (RWA). Paparan terhadap aset tradisional seperti komoditas yang ditokenisasi, langsung di akun kripto Anda. Salah satu segmen dengan pertumbuhan tercepat di keuangan global kini tidak lagi eksklusif untuk institusi — Anda dapat mengaksesnya dari saldo yang sama yang Anda gunakan untuk perdagangan.
Dapatkan penghasilan sambil belajar. Belum siap untuk berdagang? KCUSD memungkinkan stablecoin Anda menghasilkan bunga harian dengan majemuk otomatis. Cara paling tenang untuk memanfaatkan setoran Anda yang menganggur dengan imbal hasil 4%.
Asisten AI dengan bahasa sederhana. Ajukan pertanyaan, dapatkan konteks pasar, pahami apa yang sedang Anda lihat — terintegrasi langsung di platform, tanpa memerlukan jargon.
Aplikasi yang tidak membebani. Lebih cepat, lebih bersih, dan konsisten — intuitif sejak pertama kali disentuh, bukan setelah tutorial.
Keamanan yang bisa Anda periksa, bukan hanya percaya. Entitas UE berlisensi MiCAR, Proof of Reserves yang dapat Anda verifikasi sendiri, dan keamanan bersertifikasi internasional (SOC 2 Type II, ISO 27001:2022).

Buat akun Anda dalam hitungan menit — dan mulailah di platform yang dibangun untuk masa depan kripto, bukan masa lalunya.

Prospek Jangka Panjang untuk Sistem State Bersama Pribadi dan Peran Perantara

Jika pengurangan biaya yang diproyeksikan terwujud, aplikasi berbasis status bersama pribadi menjadi lebih praktis. Enkripsi sepenuhnya homomorfik akan memungkinkan beberapa pihak untuk melakukan komputasi pada data terenkripsi tanpa mengungkapkan input, sementara SNARKs akan menyediakan bukti ringkas bahwa komputasi mengikuti aturan yang disepakati. Obfuskasi ketidakdapatdibedakan dapat lebih melindungi logika propietaris. Versi yang lebih murah dari alat-alat ini akan mengurangi ketergantungan pada penjaga terpercaya, auditor, atau mesin pencocokan terpusat untuk beberapa alur kerja keuangan dan komputasi. Analisis September 2026 secara eksplisit menghubungkan beban kriptografi yang lebih rendah dengan kemungkinan melemahkan peran perantara tradisional ketika privasi dan verifiabilitas menjadi fitur default daripada fitur khusus.

Timeline tetap panjang untuk seluruh himpunan primitif, namun peningkatan bertahap dalam efisiensi SNARK sudah memperluas ruang desain untuk sistem hibrida yang menggabungkan bukti produksi saat ini dengan teknik privasi lainnya. Peta jalan privasi dan penskalaan ethereum sendiri menggambarkan jalur jangka pendek. Usulan untuk pembacaan pribadi, penulisan, dan pembuktian, bersama dengan transaksi frame dan nonce berkunci, dapat mengintegrasikan penggunaan SNARK yang lebih agresif seiring penurunan biaya. Desain konsensus ringan yang menggantikan pembaruan status berulang dengan bukti ringkas juga mendapat manfaat.

Di luar sistem blockchain, peningkatan efisiensi yang sama mendukung lingkungan terregulasi yang memerlukan kerahasiaan dan kemampuan audit. Probabilitas 33% yang diberikan terhadap overhead mendekati nol pada skala besar mewakili kemungkinan jangka panjang di mana biaya tambahan perlindungan kriptografi menjadi sepele untuk beban kerja rata-rata. Bahkan probabilitas lebih konservatif sebesar 60% untuk overhead di bawah 10x akan menjadi perubahan signifikan dibandingkan kinerja historis. Melacak trajektori biaya empiris SNARKs dengan demikian tetap menjadi cara paling langsung untuk menilai apakah implikasi jangka panjang ini semakin mendekati kelayakan praktis.

FAQ

Apa sebenarnya yang dikatakan Vitalik Buterin tentang biaya SNARK pada September 2026?

Pada 6 September 2026, Buterin memberikan probabilitas 60% bahwa SNARKs, enkripsi sepenuhnya homomorfik, dan obfuskasi ketidakdapatdibedakan pada akhirnya akan beroperasi dengan biaya energi dan komputasi teramortisasi kurang dari 10 kali lipat dari komputasi biasa. Ia secara terpisah memperkirakan peluang 33% bahwa ketiganya dapat mendekati overhead 1+ε pada skala yang cukup besar.

Seberapa dekat biaya pembuktian SNARK saat ini dengan target overhead satu digit?

Beban kerja khusus seperti evaluasi hash batch sudah beroperasi di dekat atau dalam kelipatan satu digit dari eksekusi asli pada perangkat konsumen. Bukti blok Ethereum penuh telah melihat biaya absolut turun dari sekitar 1,69 dolar pada awal 2025 menjadi di bawah empat sen pada akhir 2025 dan mendekati setengah sen untuk konfigurasi tertentu pada awal September 2026. Pengurangan absolut ini meningkatkan rasio overhead efektif bahkan sebelum adanya peningkatan algoritmik lebih lanjut.

Mengapa energi ditambah biaya teramortisasi lebih penting daripada waktu eksekusi murni?

Runtime saja dapat meremehkan beban ekonomi kriptografi karena konsumsi energi dan penyusutan modal perangkat keras merupakan biaya nyata dalam skala besar. Mengukur overhead dengan menjumlahkan pengeluaran energi dan biaya komputasi yang diamortisasi memberikan gambaran yang lebih lengkap tentang apakah suatu teknologi praktis untuk penerapan rutin.

Dapatkah SNARKs yang lebih murah secara langsung meningkatkan batas gas Ethereum?

Overhead pembuktian yang lebih rendah mengurangi perangkat keras marjinal yang diperlukan untuk memvalidasi blok yang lebih besar ketika sebagian besar eksekusi dicakup oleh bukti ringkas daripada re-eksekusi. Validator因此 dapat mendukung batas gas yang lebih tinggi tanpa peningkatan proporsional dalam kapasitas komputasi. Bukti rekursif dan teragregasi lebih lanjut mengamortisasi biaya verifikasi.

Apa peran fungsi hash khusus dalam pengurangan biaya?

Evaluasi hash mendominasi banyak sirkuit kriptografi. Ketika modul SNARK khusus membuktikan batch hash standar dengan throughput tinggi dan overhead relatif rendah, biaya keseluruhan pernyataan yang lebih besar menurun, bahkan jika logika sekitarnya tetap kurang dioptimalkan. Sistem seperti Flock telah mempublikasikan angka throughput konkret yang melebihi ratusan ribu kompresi per detik pada laptop konsumen, dengan ukuran bukti dan waktu verifikasi yang tetap praktis.

Bagaimana perbandingan kedewasaan FHE dan indistinguishability obfuscation?

Keduanya masih jauh lebih mahal daripada SNARKs. Implementasi FHE saat ini masih menghasilkan artefak besar dan waktu eksekusi berjam-jam untuk tugas-tugas sederhana. Bahkan di bawah asumsi optimis, konstruksi indistinguishability obfuscation memiliki waktu eksekusi yang "galaksi" atau berhari-hari pada perangkat keras berat.

Penafian: Konten ini hanya untuk tujuan informasi dan tidak merupakan saran investasi. Investasi mata uang kripto membawa risiko. Silakan lakukan riset sendiri (DYOR).

Penafian: Halaman ini diterjemahkan menggunakan teknologi AI untuk kenyamanan Anda. Untuk informasi yang paling akurat, lihat versi bahasa Inggris aslinya.