Apa Itu SNARKs? Mengapa Vitalik Buterin Percaya Kos Bukti ZK Boleh Jatuh Di Bawah 10x

2026/09/08 11:12:00

Vitalik Buterin Melihat Kriptografi Mendekati Overhead Hampir Sifar

Pendiri ethereum Vitalik Buterin menerbitkan analisis pada 6 September 2026, menetapkan kebarangkalian konkrit terhadap kepraktisan jangka panjang tiga primitif kriptografi canggih. Beliau menetapkan kebarangkalian 60% bahawa SNARKs, enkripsi sepenuhnya homomorfik, dan pengaburan ketidaktiruan akan akhirnya beroperasi pada kurang daripada 10 kali kos pengiraan biasa apabila diukur berdasarkan jumlah penggunaan tenaga ditambah kos pengiraan yang diamortisasi. Beliau juga menganggarkan kebarangkalian 33% bahawa alat-alat yang sama boleh mendekati overhead 1+ε pada skala yang mencukupi, bermakna kos kriptografi tambahan menjadi sangat kecil berbanding kerja asasnya. SNARKs menonjol sebagai yang paling matang di antara ketiga-tiganya dan paling mungkin mencapai overhead satu digit pada akhir dekad ini. Fungsi hash khas dan beban kerja inferens model bahasa besar tertentu telah menunjukkan tahap kecekapan yang sebanding.

Proyeksi ini muncul seiring peningkatan pantas dalam kos pembuktian tanpa pengetahuan, di mana tolok ukur awam menunjukkan bukti blok ethereum jatuh dari dolar kepada pecahan sepeser dalam tempoh kira-kira setahun. Overhead yang lebih rendah akan memperluaskan penggunaan yang mungkin bagi bukti peribadi, membolehkan had gas yang lebih tinggi tanpa pertumbuhan peralatan validator yang sepadan, dan menyokong pengambilan yang lebih luas bagi aplikasi yang melindungi privasi di seluruh sistem blok rantai. Penilaian ini tetap merupakan pandangan peribadi, bukan pandangan sepakat, dan bukan komitmen peta jalan protokol. SNARKs sudah memberikan nilai pengeluaran hari ini dan berada paling dekat di antara alat kriptografi canggih untuk mencapai overhead yang cukup rendah untuk pelaksanaan rutin dan berskala besar, menurut anggaran kebarangkalian Buterin pada September 2026 dan kemajuan empirikal serentak dalam sistem pembuktian.

Bagaimana SNARKs Menghantar Bukti Ringkas Mengenai Pengiraan yang Betul Tanpa Mengungkap Input

Argumen Pengetahuan Ringkas Tanpa Interaksi, atau SNARKs, membolehkan satu pihak menghasilkan bukti kriptografi ringkas yang menunjukkan bahawa pengiraan telah dilaksanakan dengan betul. Pemeriksa memeriksa bukti tanpa menjalankan semula pengiraan penuh atau mempelajari input peribadi. Sifat “ringkas” menjaga saiz bukti kecil dan pengesahan pantas, walaupun pernyataan asasnya kompleks. Reka bentuk tanpa interaksi bermaksud pemberi menghasilkan satu mesej tunggal yang mana mana-mana pemeriksa boleh semak secara berasingan. Varian tanpa pengetahuan pula menyembunyikan data saksi, menyokong aplikasi privasi seperti transaksi terlindung atau logik kontrak pintar rahsia. Dalam amalan, pembinaan SNARK moden bergantung kepada kriptografi berasaskan pasangan atau alternatif berasaskan hash, dengan litar yang mengungkapkan pengiraan sebagai sekatan aritmetik. Masa dan memori membuktikan tetap menjadi kos utama, manakala pengesahan biasanya cukup murah untuk digunakan di atas rantai. Sistem khas terkini telah mengurangkan beban untuk beban kerja terstruktur seperti penilaian hash berulang kepada tahap jauh lebih rendah daripada pelaksanaan generik sebelumnya.

Kesenjangan kecekapan antara kes khas dan kes am menjelaskan mengapa Buterin menonjolkan SNARKs sebagai calon terdekat untuk beban tunggal digit rendah. Pelaksanaan pengeluaran sudah bergantung pada SNARKs untuk bukti kesahihan rollup dan protokol privasi, menunjukkan bahawa mekanisme asas berfungsi pada skala besar walaupun penurunan kos yang dijangka belum sepenuhnya terwujud. Kemajuan berterusan dalam pengoptimuman litar, akselerasi peranti keras, dan komposisi rekursif terus mempersempit kesenjangan prestasi yang tinggal antara pelaksanaan asli dan pelaksanaan yang dibuktikan. Nilai praktikal SNARKs berakar pada asimetri antara pembuktian dan pengesahan. Menghasilkan bukti mungkin masih memerlukan sumber yang besar berbanding sekadar menjalankan program asal, namun objek yang dihasilkan tetap kecil dan pantas untuk disemak. Sifat ini menjadi asas reka bentuk penskalaan Layer-2 yang menghantar bukti ringkas ke lapisan asas berbanding data transaksi penuh. Ia juga menyokong aplikasi di mana pihak tertentu perlu menunjukkan pengetahuan terhadap rahsia atau pelaksanaan yang betul terhadap pengiraan peribadi tanpa mengungkap rahsia itu sendiri.

Pengukuran empirikal dari 2025 hingga 2026 menunjukkan kos pembuktian untuk blok berskala Ethereum menurun sebanyak kira-kira 45 kali dalam satu tahun di pelacak awam, mencapai tahap di bawah sen untuk konfigurasi yang layak di bawah penyelesaian multi-GPU yang dioptimakan. Peningkatan semacam ini mengesahkan arah menuju sasaran beban yang dinyatakan oleh Buterin. Trend peranti keras, termasuk GPU peringkat pengguna dan reka bentuk pembuktian khas, semakin mengurangkan kos tenaga dan modal mutlak yang berkaitan dengan penghasilan bukti. Apabila fungsi hash khas sudah beroperasi hampir pada gandaan digit tunggal kos asli, cabaran rekabentuk yang tinggal berpusat pada memperluaskan kecekapan tersebut kepada litar yang lebih umum tanpa memperkenalkan halangan baru. Kombinasi kemajuan algoritma dan kedewasaan peranti keras oleh itu memberikan asas fakta kepada kebarangkalian optimis yang diberikan kepada SNARKs mencapai tahap beban yang berguna secara meluas dalam dekad ini.

Kerangka Kerja Kebarangkalian Vitalik Buterin untuk Overhead Kriptografi September 2026

Pada 6 September 2026, Buterin mengkuantifikasikan soal-soal lama mengenai kepraktisan kriptografi canggih dengan memberikan probabilitas eksplisit. Beliau memperkirakan peluang 60% bahawa SNARKs, enkripsi sepenuhnya homomorfik, dan pengaburan ketidaktiruan akan akhirnya mencapai kurang daripada 10 kali ganda jumlah tenaga dan kos pengiraan yang diamortisasi berbanding pengiraan biasa. Probabilitas terpisah sebanyak 33% berlaku untuk dakwaan yang lebih kuat bahawa ketiga-tiga elemen tersebut boleh mendekati lebihan 1+ε untuk beban kerja dunia nyata biasa apabila skala mencukupi besar. Pengukuran ini sengaja menggabungkan penggunaan tenaga bukan semata-mata masa jam dinding, mencerminkan beban ekonomi sebenar dalam menjalankan teknologi pada skala besar. Buterin menggambarkan pandangan keseluruhan sebagai optimis dan bukan konsensus. Beliau menunjukkan bahawa sekurang-kurangnya satu daripada tiga primitif tersebut, kemungkinan besar SNARKs, mempunyai peluang baik untuk mencapai lebihan satu digit pada akhir dekad ini. Kes-kes khusus sudah menunjukkan kebolehcapaian tahap tersebut untuk fungsi hash tertentu dan tugas inferens model bahasa. Ramalan ini tidak disertai dengan batas masa protokol atau komitmen kejuruteraan; ia mewakili penilaian peribadi terhadap kemungkinan teknikal, bukan jadual untuk peningkatan ethereum.

Cakupan di pelbagai media pada 6 dan 7 September mengesahkan julat nombor yang sama dan penekanan terhadap SNARKs sebagai calon jangka terdekat. Nombor-nombor ini memberikan titik rujukan konkrit untuk mengukur kemajuan penyelidikan seterusnya. Perbezaan antara kebarangkalian sub-10x sebanyak 60% dan tempoh yang lebih sempit untuk beban single-digit adalah penting. Buterin tidak menyatakan bahawa ketiga-tiga teknologi ini akan melintasi ambang 10x pada 2030. Pernyataan yang lebih terhad berkaitan dengan kebarangkalian bahawa sekurang-kurangnya satu, dijangka menjadi SNARKs, mencapai gandaan single-digit dalam dekad ini. Kerangka ini mengelakkan janji berlebihan terhadap primitif yang lebih jauh sambil tetap menonjolkan potensi jangka pendek yang boleh diukur. Perakaunan tenaga-ditambah-dengan-kos-amortisasi semakin mengekalkan anggaran ini dalam realiti ekonomi bukan semata-mata kompleksiti asimptotik.

Apabila membuktikan kos menurun, anggaran komputasi yang sama boleh menyokong throughput yang lebih tinggi atau pernyataan yang lebih kompleks tanpa peningkatan berkadaran dalam keperluan peranti keras untuk penentusah atau pengguna. Laporan awam mengenai analisis 6 September secara konsisten merujuk kepada angka 60% dan 33% yang sama bersama dengan pemerhatian bahawa beban kerja khas telah pun mendekati julat sasaran. Kerangka kerja ini oleh itu menyediakan ramalan kuantitatif dan peringkat kualitatif terhadap tahap kedewasaan relatif di antara ketiga-tiga teknologi tersebut. Peningkatan empirikal berterusan dalam sistem pembuktian SNARK memberi sokongan bebas terhadap peringkat yang menempatkan SNARK sebagai yang pertama dalam urutan pengurangan kos yang dijangka.

Fungsi Hash Khusus Sudah Mendekati Overhead SNARK Satu Digit

Buterin secara eksplisit menyatakan bahawa fungsi hash khusus telah mencapai tahap kecekapan yang sebanding dengan overhead satu digit berbanding pelaksanaan asli. Konstruksi terkini seperti Flock, sebuah SNARK berdasarkan hash yang dioptimalkan untuk siri pengiraan Boolean, menggambarkan titik ini dengan nombor throughput yang konkrit. Di peranti pengguna, Apple M4 Max mampu membuktikan ratusan ribu kompresi BLAKE3, kompresi SHA-256, atau permutasi Keccak setiap saat, mewakili peningkatan sekitar satu peringkat daripada sistem terkini sebelumnya untuk beban kerja yang sama. Saiz bukti tetap di bawah 450 KB, dan pengesahan selesai dalam masa kurang daripada empat milisaat. Keputusan ini penting kerana penilaian hash mendominasi banyak sirkuit kriptografi, termasuk pembukaan laluan Merkle, rantai hash, dan lapisan dalaman bukti rekursif.

Apabila operasi dominan menjadi murah untuk dibuktikan, keseluruhan beban lebih besar bagi pernyataan menurun, walaupun logik sekelilingnya tetap kurang dioptimumkan. Prinsip yang sama berlaku kepada tugas inferens model bahasa besar tertentu, di mana pendaraban matriks dan operasi berstruktur berkaitan membenarkan strategi pembuktian yang sangat cekap. Dokumentasi awam sistem khusus ini mengesahkan bahawa gandaan satu digit tidak lagi murni teori untuk corak pengiraan yang sempit tetapi sering berlaku. Meluaskan kecekapan yang sama kepada litar tujuan umum masih merupakan cabaran kejuruteraan, namun keputusan khusus ini menetapkan bukti kewujudan yang jelas. Pecutan peranti keras pula memperbesarkan keuntungan: konfigurasi multi-core dan multi-GPU mendorong throughput lebih tinggi lagi, sementara jejak memori kekal praktikal untuk saiz batch yang ditargetkan. Reka bentuk Flock menggabungkan protokol lincheck dan zerocheck yang dioptimumkan dengan teknik pelaksanaan agresif, menunjukkan bahawa reka bentuk bersama algoritma dan perisian boleh menghasilkan peningkatan kelajuan yang ketara.

Modul khusus serupa muncul dalam sistem SNARK moden lain yang mengasingkan operasi mahal seperti hash atau tanda tangan dan membuktikannya dengan sub-protokol khusus yang sangat dioptimakan. Apabila sebahagian besar pengiraan terdiri daripada kerja terstruktur sedemikian, overhed umum yang tinggal menjadi peratusan yang lebih kecil daripada jumlah kos. Rujukan Buterin terhadap kes-kes sedia ada oleh itu berdasarkan prestasi yang boleh diukur, bukan semata-mata projeksi. Semakin banyak beban kerja ditulis semula atau dikompilasi untuk menekankan primitif yang mesra SNARK, peratusan pengiraan dunia nyata yang boleh beroperasi hampir dengan overhed digit tunggal terus membesar. Spesialisasi progresif ini menyediakan salah satu jalan konkrit yang menyokong kebarangkalian luas bahawa SNARK akan mencapai julat sasaran untuk kes purata pada akhir dekad ini.

Penurunan Empirikal Terkini dalam Kos Pembuktian Blok Ethereum

Pengujian bebas memantau penurunan tajam dalam kos penghasilan bukti tanpa pengetahuan untuk blok ethereum. Data ethproofs awam mencatat kos purata menurun daripada kira-kira 1.69 dolar pada awal 2025 kepada kurang daripada empat sen pada akhir tahun tersebut, penurunan kira-kira 45 kali. Pada awal September 2026, konfigurasi terpilih melaporkan kos hampir separuh sen untuk blok yang layak, walaupun kadar kejayaan untuk bukti kurang daripada 10 saat di semua slot yang dinilai masih separuh kerana pilihan luar talian dan tidak layak turut dihitung. Yayasan ethereum sebelum ini telah menetapkan sasaran konkrit untuk pembuktian masa nyata: kurang daripada 10 saat untuk 99 peratus blok rangkaian utama pada peranti yang berharga paling banyak 100,000 dolar, menarik kuasa paling banyak 10 kilowatt, dengan bukti kurang daripada 300 KiB dan tanpa pengaturan tepercaya. Beberapa pasukan telah memenuhi atau mendekati sasaran tersebut pada akhir 2025.

Angka-angka ini berlaku untuk bukti blok penuh bukan sirkuit aplikasi terpisah, namun ia menunjukkan bahawa kos mutlak penghasilan SNARK terus menurun di bawah beban kerja dan batasan peranti keras yang realistik. Pengesahan tetap jauh lebih murah berbanding pembuktian, menjaga kos dalam talian tetap terkawal walaupun kerumitan bukti meningkat. Trajektori kos mempunyai implikasi langsung terhadap gandaan beban yang dibincangkan Buterin. Apabila kos tenaga dan modal mutlak untuk menghasilkan bukti menurun, nisbah berbanding pelaksanaan asli meningkat walaupun beban algoritma kekal sama. Peningkatan peranti keras, termasuk penempatan GPU yang lebih padat dan perisian pembuktian yang lebih cekap, menyumbang kepada penurunan yang diukur.

Sistem khusus mempercepat lagi subset operasi yang mendominasi pembuktian blok, seperti penghujan dan pemeriksaan tanda tangan. Kombinasi kemajuan algoritma dan keuntungan peranti keras komoditi menghasilkan kesan berganda yang kelihatan dalam pelacak awam. Kos pembuktian yang lebih rendah juga melonggarkan batasan pada had gas dan throughput: validator tidak lagi perlu memperluas peranti keras secara sepadan dengan setiap peningkatan permintaan komputasi jika sebahagian yang lebih besar kerja boleh dibuktikan berbanding dieksekusi semula. Gambaran September 2026 bagi kos sub-sent bagi konfigurasi tertentu dengan itu menyediakan konteks empirikal yang tepat waktu bagi kebarangkalian 60% yang diberikan kepada beban lebih rendah daripada 10x. Pemantauan berterusan terhadap tolok awam yang sama akan membolehkan pemerhati menguji sama ada kadar peningkatan yang diperhatikan mengekalkan trajektori yang diperlukan untuk memenuhi sasaran digit tunggal bagi beban yang lebih luas dalam dekad ini.

Bagaimana Kos SNARK yang Lebih Rendah Boleh Menaikkan Had Gas Ethereum Tanpa Lonjakan Perkakasan

Mengurangkan beban SNARK secara langsung mempengaruhi ekonomi peningkatan had gas. Had yang lebih tinggi meningkatkan kerja komputasi yang boleh dimuatkan dalam setiap blok, yang seterusnya meningkatkan sumber yang diperlukan untuk pengesahan penuh jika setiap nod menjalankan semula setiap transaksi. Apabila sebahagian besar kerja itu boleh digantikan oleh bukti ringkas, beban peranti keras marginal terhadap penvalidasi bertambah lebih perlahan. Buterin sebelum ini telah menghubungkan bukti yang lebih murah dengan kelayakan throughput yang lebih tinggi tanpa peningkatan berkadaran dalam keperluan penvalidasi. Dalam kes ekstrem, bukti rekursif boleh mampat jumlah pelaksanaan yang besar ke dalam objek yang kos pengesahannya kekal hampir malar. Modul hash dan tanda tangan khas sudah menunjukkan bahawa operasi utama di dalam banyak litar boleh beroperasi pada gandaan rendah kepada kos asli.

Memanjangkan kecekapan tersebut mengurangkan jumlah tenaga dan perbelanjaan yang diamortisasi yang berkaitan dengan membuktikan blok yang lebih besar. Hasilnya ialah pertukaran yang lebih menguntungkan antara kapasiti dan perpecahan: rangkaian boleh memproses lebih banyak aktiviti sambil mengekalkan halangan untuk menjalankan nod pengesah dalam jangkauan set peserta yang lebih luas. Contoh praktikal muncul dalam reka bentuk Layer-2 sedia ada yang sudah memposting bukti SNARK atau STARK berbanding jejak pelaksanaan penuh. Semasa kos pembuktian menurun, reka bentuk yang sama boleh menyokong kumpulan yang lebih padat atau logik aplikasi yang lebih kompleks tanpa peningkatan sepadan dalam perbelanjaan infrastruktur pembuktian. Pada lapisan asas itu sendiri, cadangan yang bergantung pada bukti harian atau peringkat epoch untuk kemas kini keadaan validator juga mendapat manfaat daripada beban yang lebih rendah.

Metrik tenaga-ditambah-kos-amortisasi yang ditekankan dalam analisis September 2026 menangkap keseluruhan kesan ekonomi perubahan-perubahan ini. Apabila kos tambahan kriptografi mengecil kepada gandaan satu digit, insentif untuk menyimpan bukti di luar laluan kritikal berkurang, dan penggunaannya boleh meluas ke fungsi protokol yang lebih biasa. Peserta pasaran yang memantau metrik kapasiti Ethereum dengan itu boleh mentafsirkan penurunan kos pembuktian sebagai petunjuk ruang masa depan untuk peningkatan had gas yang mengekalkan penyertaan luas. Hubungan antara kecekapan kriptografi dan penskalaan protokol masih merupakan salah satu aplikasi terdekat yang paling jelas terhadap penurunan kos yang diukur oleh Buterin.

FHE dan Obfuskasi Ketidaktahuan Lebih Jauh Daripada Sasaran Overhead Praktikal

Enkripsi homomorfik penuh membenarkan pengiraan sewenang-wenangnya atas data terenkripsi tanpa dekripsi, manakala pengaburan ketidakbezakan bertujuan untuk menyembunyikan logik dalaman suatu program sebegitu rupa sehingga hanya tingkah laku input-outputnya yang masih boleh diperhatikan. Kedua-dua primitif ini memperluaskan ruang reka bentuk untuk aplikasi keadaan bersama peribadi dan perlindungan perisian, namun beban semasa mereka jauh melebihi SNARKs. Buterin sebelum ini menggambarkan iO sebagai “bos akhir” kriptografi kerana konstruksinya menumpuk beberapa primitif canggih dan tetap menghasilkan masa larian galaksi di bawah anggapan konservatif. Pendekatan berdasarkan kisi yang optimistik sekalipun meninggalkan masa larian yang diukur dalam hari pada peranti berat untuk program yang sederhana. Pelaksanaan FHE telah meningkat tetapi terus menghasilkan artefak berukuran berbilang gigabait dan masa larian berbilang jam untuk tugas pembelajaran mesin yang relatif kecil dalam tolok ukur 2026.

Analisis September dengan demikian menempatkan kedua teknologi ini di belakang SNARKs dari segi masa yang dijangka untuk mencapai overhead satu digit. Kebarangkalian 60% berlaku terhadap pencapaian akhir kos di bawah 10x untuk ketiga-tiganya; pernyataan akhir dekad yang lebih sempit secara khusus menunjukkan SNARKs sebagai yang paling mungkin menjadi pelopor pertama. Jarak relatif tidak bermaksud stagnasi. Penyelidikan terus berjalan dengan mengandaikan pendekatan yang lebih agresif, pendekatan baru bukan berdasarkan kisi seperti pencampuran tempatan, dan pengoptimuman progresif terhadap menara konstruksi yang sedia ada. Peningkatan dalam primitif komponen seperti enkripsi fungsional atau FHE yang cekap boleh membawa kepada penurunan kos iO keseluruhan. Bagi FHE, jalan termasuk teknik pengepakan yang lebih baik, akselerasi peranti keras, dan penyandian yang mesra litar yang mengurangkan pertumbuhan bunyi.

Namun, jurang empirikal masih cukup besar sehingga peringkat Buterin menempatkan beban tunggal satu digit bagi alat-alat ini lebih lambat berbanding SNARKs. Aplikasi yang memerlukan pengiraan pada keadaan bersama yang disulitkan atau logik program yang tersembunyi oleh itu akan terus bergantung pada teknik alternatif atau reka bentuk hibrid sehingga sasaran beban tercapai. Kerangka kerja kebarangkalian memperlakukan ketiga-tiga teknologi sebagai satu portofolio: kejayaan pada ahli terdekat (SNARKs) sudah membuka nilai yang besar, sementara kemajuan akhirnya pada ahli yang lebih jauh memperluaskan set jaminan privasi dan integriti yang mungkin. Oleh itu, memantau keputusan SNARK khas masih menjadi petunjuk paling segera sama ada penilaian keseluruhan 60% berada di landasan yang betul.

Komposisi Bukti Berulang Memperluas Keuntungan Kecekapan Merentas Pernyataan yang Lebih Besar

Komposisi berulang membolehkan SNARK mengesahkan SNARK lain, membolehkan kompresi berhierarki pengiraan besar menjadi satu bukti ringkas. Teknik ini sudah menjadi pusat banyak sistem pengeluaran yang menggabungkan pelbagai transaksi atau blok. Apabila bukti dalaman menjadi lebih murah untuk dihasilkan, lapisan berulang luaran mewarisi simpanan tersebut dan boleh beroperasi dengan throughput yang lebih tinggi atau latensi yang lebih rendah. Modul khas untuk hash dan operasi kerap lain mempercepatkan laluan berulang kerana pengesahan bukti dalaman sering kali mengurangkan kepada pemeriksaan terstruktur yang membenarkan perlakuan yang cekap.

Pengujian awam yang menunjukkan kos di bawah se-sent untuk bukti blok ethereum penuh sudah menggabungkan teknik rekursif dalam beberapa tumpukan pembuktian terkemuka. Seiring kos pembuktian asas terus menurun, kos marjinal lapisan rekursif tambahan juga menurun, menyokong penanaman yang lebih dalam tanpa pertumbuhan sumber yang sepadan. Sifat komposisi yang sama menyokong reka bentuk konsensus “sangat ramping” yang menggantikan kemas kini keseimbangan berulang di rantai dengan bukti tanpa pengetahuan harian atau pada setiap epoch. Pembenar melacak keadaan mereka sendiri dan menghantar bukti ringkas yang merangkumi penyertaan dan ganjaran; lapisan asas mengesahkan jumlah tersebut daripada menyimpan dan mengemas kini setiap keseimbangan. Overhead yang lebih rendah menjadikan bukti-bukti ini mungkin dilaksanakan pada peranti sederhana dan dalam jendela masa yang praktikal.

Agregasi berulang boleh memampatkan bukti daripada banyak penentu menjadi satu objek tunggal yang kos pengesahannya kekal hampir malar. Corak arkitektur ini menggambarkan bagaimana pengurangan kos pada aras primitif diterjemahkan kepada kecekapan sistemik. Apabila tenaga dan kos yang diratakan bagi setiap lapisan bukti mendekati gandaan satu digit kepada kerja asasnya, beban berterusan sistem pelbagai aras tetap boleh dikendalikan. Kemajuan empirikal dalam pembuktian khas dan tolok blok penuh dengan itu memberikan bukti sokongan terhadap kelayakan reka bentuk berulang yang bergantung kepada SNARK yang boleh dilaksanakan.

Pemecutan Peranti dan Pembuktian Berperingkat Pengguna Menyempitkan Kesenjangan Kos

Pembuktian SNARK moden semakin memanfaatkan sumber daya GPU komoditi dan CPU multi-core daripada bergantung semata-mata pada ASIC khusus. Konfigurasi yang menggunakan 16 GPU konsumen telah menunjukkan pembuktian blok ethereum secara masa nyata di bawah sasaran latensi dan kuasa Foundation. Hasil satu-GPU dan bahkan kelas laptop untuk beban kerja yang lebih sempit, seperti bancian hash Flock atau bukti identiti di peranti, menunjukkan bahawa halangan peranti keras mutlak terus berkurang. Jejak memori untuk beberapa pembuktian mudah alih dan desktop tetap berada dalam julat peranti konsumen biasa.

Perkembangan ini mengurangkan kos modal infrastruktur pembuktian dan komponen tenaga dalam metrik overheard yang ditekankan oleh Buterin. Apabila kerja pengiraan yang sama boleh dilakukan pada peralatan yang tersedia secara meluas, perbelanjaan yang diamortisasi menurun dan teknologi ini menjadi boleh diakses oleh set operator yang lebih luas. Trend ini juga berinteraksi dengan spesialisasi algoritma. Peralatan yang mempercepatkan pendaraban matriks atau penilaian hash selari memperbesarkan keuntungan yang telah dicapai untuk inferens model bahasa dan litar Boolean terstruktur. Perisian pembuktian yang memetakan litar kepada primitif peralatan ini seterusnya meningkatkan penggunaan.

Pemantau awam yang melaporkan statistik kos dan kadar kejayaan merentas pelbagai konfigurasi bebas memberikan kelihatan berterusan terhadap kesan gabungan kemajuan peranti keras dan perisian. Semakin ramai pasukan menerbitkan tolok boleh diterapkan pada peranti keras yang sebanding, komuniti dapat membezakan keuntungan kecekapan sebenar daripada artefak khas konfigurasi. Pemerhatian September 2026 terhadap kos separuh sen untuk bukti blok yang layak, walaupun dengan kadar kejayaan yang tidak lengkap merentas semua slot, menunjukkan bahawa laluan peranti keras masih berkesan. Peningkatan berterusan pada paksi ini menyokong kebarangkalian bahawa beban lebihan satu digit akan menjadi boleh dicapai untuk pelbagai beban kerja sebelum penghujung dekad ini.

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

Penurunan kos SNARK memperluaskan set aplikasi yang mengekalkan privasi yang boleh beroperasi secara ekonomik di rantaian awam. Transaksi terlindung, keadaan kontrak pintar peribadi, dan pengungkapan pilihan kredensial semuanya bergantung pada bukti tanpa pengetahuan yang kos penghasilannya mesti tetap praktikal untuk pengguna akhir atau operator perkhidmatan. Apabila beban pembuktian menurun kepada gandaan digit tunggal, gesaan dalam penghasilan dan penghantaran bukti-bukti ini berkurang, menyokong peningkatan pengambilan. Sistem-sistem sedia ada sudah menunjukkan corak ini: protokol privasi yang dahulu memerlukan pengiraan luar talian yang besar atau peralatan tepercaya boleh berpindah kepada reka bentuk kriptografi penuh yang lebih telus apabila kos meningkat.

Kit alat bukti di peranti yang dirilis pada 2026 semakin menggambarkan arah ini, menghasilkan bukti identiti secara tempatan pada telefon pengguna tanpa menghantar dokumen asal ke pelayan luar. Bukti yang lebih pantas dan lebih murah menjadikan alur kerja tempatan ini lebih responsif dan berkesan tenaga. Pengurangan kos yang sama menyokong reka bentuk keadaan bersama sulit yang menggabungkan SNARKs dengan primitif lain. Pembuat pasaran automatik sulit, lelong tanpa tawaran terbuka, dan kolam pinjaman sulit menjadi lebih mungkin apabila beban kriptografi tidak lagi mendominasi pengiraan ekonomi. Perbincangan lebih luas Buterin mengenai peta jalan privasi, termasuk bacaan sulit, penulisan sulit, dan pembuktian, selari denganjangkaan bahawa SNARKs yang terjangkau akan membentuk lapisan asas.

Penurunan kos empirik sudah kelihatan dalam tolok ukur awam, oleh itu ia berubah menjadi ruang yang nyata untuk ciri privasi yang sebelumnya menghadapi sekatan ekonomi. Peserta pasaran yang memantau pengambilan protokol yang melindungi privasi boleh memperlakukan penurunan kos pembuktian sebagai petunjuk utama ruang reka bentuk yang diperluaskan. Kaitan ini tetap berasaskan bukti: penurunan yang diukur dalam tenaga dan perbelanjaan modal secara langsung meningkatkan kelayakan aplikasi yang kebenaran dan privasinya bergantung pada bukti SNARK.

Konteks Pasar dan Industri untuk Mempercepat Kecekapan SNARK

Ekosistem zero-knowledge yang lebih luas terus menunjukkan pembangunan aktif walaupun metrik projek individu berfluktuasi. Repositori awam dan pelacak aktiviti pembangun pada 2026 mencatat ribuan penyumbang sejarah dan satu set yang lebih kecil tetapi masih besar pembangun aktif semasa di pelbagai sistem bukti dan mesin maya. zkVM pengeluaran melaporkan pembuktian beban kerja berskala ethereum secara masa nyata atau hampir masa nyata pada peranti multi-GPU, dengan beberapa sistem mencapai status pengeluaran yang diaudit. Prover khas untuk batch hash dan identiti pada peranti seterusnya memperluaskan alat yang tersedia.

Usaha-usaha selari ini mencipta tekanan persaingan yang mempercepatkan pengoptimuman secara keseluruhan. Apabila beberapa pasukan bebas menerbitkan nombor kos dan latensi yang semakin baik, arah keseluruhan menjadi lebih kukuh berbanding sebarang pelaksanaan tunggal. Pengambilan industri meluas melebihi penskalaan blok rantai semata-mata. Uji kaji tokenisasi aset lintas yurisdiksi, prototaip mata wang digital, dan kerangka pengesahan data kesihatan telah mula menggabungkan bukti berdasarkan SNARK. Keperluan umumnya ialah kemampuan untuk menunjukkan pengiraan yang betul atau kredensial yang sah tanpa mengungkapkan data asal.

Penurunan kos pembuktian juga menurunkan halangan bagi kes penggunaan bukan kripto ini, memperluaskan permintaan keseluruhan yang boleh dialamatkan untuk teknologi SNARK yang cekap. Pelaporan awam penurunan kos pada bukti blok Ethereum dengan itu berfungsi sebagai proxy kelihatan bagi kemajuan yang memberi manfaat kepada set aplikasi yang lebih luas. Kombinasi piawaian terbuka, pelaksanaan yang bersaing, dan kes penggunaan yang membesar menyediakan konteks pasaran di mana anggaran kebarangkalian Buterin boleh dievaluasi dalam tahun-tahun akan datang. Peningkatan berterusan di sepanjang dimensi-dimensi ini akan meningkatkan keyakinan bahawa penilaian 60% untuk lebihan kurang daripada 10x adalah boleh dicapai.

Laluan Kejuruteraan Praktikal Menuju Overhead Satu Digit yang Lebih Luas

Beberapa arah kejuruteraan konkrit bertemu pada sasaran overhed satu digit untuk beban kerja umum. Pemalar sirkuit yang memetakan kod peringkat tinggi kepada representasi antara yang mesra SNARK mengurangkan bilangan sekatan untuk operasi biasa. Bahasa dan pustaka khusus domain yang mengekspos modul hash, tanda tangan, dan aritmetik yang dioptimumkan membolehkan pembangun membina program berdasarkan primitif yang sudah cekap. Teknik penggabungan rekursif dan data yang membawa bukti mengagihkan kos pengesahan merentas batch besar. Reka bentuk perisian-peranti keras bersama-sama memetakan baki kerja generik ke atas akselerator selari.

Setiap jalan ini telah menghasilkan keuntungan yang dapat diukur dalam tempoh 2025–2026. Apabila modul khusus sudah beroperasi hampir pada sasaran, bahagian umum yang tinggal menjadi fokus pengoptimuman berterusan. Pengurangan berturut-turut dalam bahagian tinggal itu membawa beban purata untuk program realistik mendekati julat angka tunggal. Kos pengesahan tetap rendah berbanding pembuktian, jadi usaha kejuruteraan utama berpusat pada pembuktian. Pemantau awam yang melaporkan statistik kos mutlak dan kadar kejayaan merentas pelbagai konfigurasi peranti menyediakan papan skor bebas.

Pasukan yang menerbitkan keputusan yang boleh diperoleh semula pada set-up yang sebanding membolehkan komuniti mengenal pasti kombinasi algoritma, rekabentuk litar, dan peranti keras yang menghasilkan keuntungan terbesar. Kewujudan beberapa zkVM tahap pengeluaran dan pembuktian khas sudah menunjukkan bahawa teknologi ini telah bergerak melampaui prototaip makmal. Memperluaskan kecekapan yang ditunjukkan pada hash dan inferens model bahasa kepada keseluruhan logik aplikasi merupakan cabaran praktikal yang tinggal. Kemajuan sepanjang jalan kejuruteraan ini memberikan asas fakta untuk harapan bahawa SNARK boleh mencapai lebihan single-digit yang berguna secara meluas dalam dekad ini.

🔥 Di Luar Berita Utama: Apa yang Dimaksud dengan KuCoin 5.0 untuk Anda

Berita pasaran bergerak pantas — tetapi di mana anda bertindak atasnya sama pentingnya. Pada Oktober ini, KuCoin melancarkan KuCoin 5.0, mengubah KuCoin menjadi platform yang dibina semula. Inilah apa yang benar-benar berubah untuk anda:

Satu akaun untuk segala-galanya. Platform lama memisahkan dana anda ke dalam akaun "spot", "margin", dan "niaga hadapan" yang berasingan dan mengharapkan anda memahami sebabnya. Akaun Bersepadu KuCoin 5.0 menghilangkan semua itu — deposit sekali sahaja, dan semuanya akan tersedia secara langsung.
Saham, indeks, dan komoditi. KuCoin 5.0 mengembangkan diri melampaui kripto ke pasaran global. Apabila kripto bergerak mendatar dan ekuitas naik (atau sebaliknya), anda boleh berpindah dalam beberapa minit tanpa perlu membuka akaun broker dan menunggu berhari-hari untuk saluran fiat.
Aset dunia nyata (RWA). Paparan yang ditokenkan terhadap aset tradisional seperti komoditi, tepat di dalam akaun kripto anda. Salah satu segmen yang tumbuh paling pantas dalam kewangan global kini tidak lagi diperuntukkan hanya untuk institusi — anda boleh mengaksesnya daripada baki yang sama yang anda gunakan untuk dagangan.
Hasilkan sambil belajar. Belum bersedia untuk berdagang? KCUSD membolehkan koin stabil anda menghasilkan faedah harian, auto-kompaun. Cara paling tenang untuk menjadikan deposit tidak aktif anda bekerja untuk pulangan 4%.
Pembantu AI dalam bahasa yang mudah. Tanya soalan, dapatkan konteks pasaran, fahami apa yang anda lihat — terintegrasi ke dalam platform, tiada jargon diperlukan.
Sebuah aplikasi yang tidak membanjiri. Lebih pantas, lebih bersih, dan konsisten — intuitif sejak sentuhan pertama, bukan selepas tutorial.
Keselamatan yang boleh anda semak, bukan sekadar dipercayai. Entiti EU berlesen MiCAR, Proof of Reserves yang boleh anda semak sendiri, dan keselamatan bersijil antarabangsa (SOC 2 Type II, ISO 27001:2022).

Cipta akaun anda dalam beberapa minit — dan mula di platform yang dibina untuk masa depan kripto, bukan tempat ia bermula.

Perspektif Jangka Panjang untuk Sistem Negeri Bersama Peribadi dan Peranan Perantara

Jika pengurangan kos yang diramalkan menjadi kenyataan, aplikasi keadaan bersama swasta menjadi lebih praktikal. Enkripsi sepenuhnya homomorfik akan membolehkan pelbagai pihak mengira data yang disulitkan tanpa mengungkapkan input, sementara SNARKs akan menyediakan bukti ringkas yang menunjukkan pengiraan mengikuti peraturan yang disepakati. Pengaburan ketidaktahuan boleh melindungi logik milik lebih lanjut. Versi yang lebih murah alat-alat ini akan mengurangkan ketergantungan kepada penjaga tepercaya, auditor, atau enjin pemadanan terpusat untuk beberapa aliran kerja kewangan dan pengiraan. Analisis September 2026 secara eksplisit menghubungkan beban kriptografi yang lebih rendah dengan kemungkinan melemahkan peranan perantara tradisional apabila privasi dan kebolehdisahkan menjadi ciri lalai bukan ciri khas.

Jangka masa tetap panjang untuk keseluruhan set primitif, namun keuntungan bertahap dalam kecekapan SNARK sudah memperluas ruang reka bentuk untuk sistem hibrid yang menggabungkan bukti pengeluaran semasa dengan teknik privasi lain. Peta jalan privasi dan penskalaan ethereum sendiri menggambarkan lintasan jangka pendek. Cadangan untuk bacaan, penulisan, dan pembuktian peribadi, bersama dengan transaksi bingkai dan nonce berkunci, boleh menggabungkan penggunaan SNARK yang lebih agresif apabila kos menurun. Reka bentuk konsensus yang ringkas yang menggantikan kemas kini keadaan berulang dengan bukti ringkas juga mendapat manfaat.

Di luar sistem blok rantai, peningkatan kecekapan yang sama menyokong persekitaran yang diatur yang memerlukan kerahsiaan dan kebolehauditan. Kebarangkalian 33% yang diberikan kepada beban hampir sifar pada skala mewakili kemungkinan jangka panjang di mana kos tambahan perlindungan kriptografi menjadi tidak signifikan untuk beban kerja purata. Bahkan kebarangkalian lebih konservatif sebanyak 60% untuk beban kurang daripada 10x akan membawa perubahan besar berbanding prestasi sejarah. Oleh itu, melacak trajektori kos empirikal SNARKs tetap menjadi cara paling langsung untuk menilai sama ada implikasi jangka panjang ini semakin mendekati kelayakan praktikal.

Soalan Lazim

Apa yang sebenarnya dikatakan Vitalik Buterin mengenai kos SNARK pada September 2026?

Pada 6 September 2026, Buterin memberikan kebarangkalian 60% bahawa SNARKs, enkripsi sepenuhnya homomorfik, dan pengaburan ketidaktiruan akan akhirnya beroperasi pada kurang daripada 10 kali jumlah tenaga dan kos pengiraan amortisasi pengiraan biasa. Beliau secara berasingan menganggarkan kebarangkalian 33% bahawa ketiga-tiganya boleh mendekati beban 1+ε pada skala yang mencukupi.

Seberapa dekat kos pembuktian SNARK semasa dengan sasaran lebihan satu digit?

Beban kerja khusus seperti penilaian hash berpokok sudah beroperasi hampir atau di dalam ganda satu digit dari pelaksanaan asli pada peranti pengguna. Bukti blok ethereum penuh telah melihat kos mutlak turun daripada kira-kira 1.69 dolar pada awal 2025 kepada kurang daripada empat sen pada akhir 2025 dan hampir separuh sen untuk konfigurasi tertentu pada awal September 2026. Penurunan mutlak ini meningkatkan nisbah beban berkesan walaupun sebelum peningkatan algoritma lanjutan.

Mengapa tenaga ditambah kos teragih lebih penting daripada masa ejekan tulen?

Masa operasi sahaja boleh meremehkan beban ekonomi kriptografi kerana penggunaan tenaga dan susut nilai modal peralatan membentuk kos sebenar pada skala besar. Mengukur beban tambahan dengan jumlah perbelanjaan tenaga dan kos pengkomputeran yang diangsurkan memberikan gambaran yang lebih lengkap tentang sama ada teknologi tersebut praktikal untuk pelaksanaan rutin.

Bolehkah SNARKs yang lebih murah meningkatkan had gas Ethereum secara langsung?

Kurangnya beban pembuktian mengurangkan peralatan marjinal yang diperlukan untuk mengesahkan blok yang lebih besar apabila sebahagian besar pelaksanaan dicakup oleh bukti ringkas daripada pelaksanaan semula. Pembenar oleh itu boleh menyokong had gas yang lebih tinggi tanpa peningkatan sepadan dalam kapasiti pengkomputeran. Bukti rekursif dan teragregasi seterusnya mengurangkan kos pengesahan.

Apakah peranan fungsi hash khusus dalam pengurangan kos?

Penilaian hash mendominasi banyak sirkuit kriptografi. Apabila modul SNARK khusus membuktikan siri hash standard dengan throughput tinggi dan overhed relatif rendah, kos keseluruhan pernyataan yang lebih besar berkurang, walaupun logik sekelilingnya masih kurang dioptimumkan. Sistem seperti Flock telah menerbitkan angka throughput konkrit yang melebihi ratusan ribu kompresi per saat pada laptop pengguna, dengan saiz bukti dan masa pengesahan yang masih praktikal.

Bagaimanakah perbandingan kedewasaan FHE dan obfuscation ketidakterbezakan?

Kedua-duanya masih jauh lebih mahal daripada SNARKs. Pelaksanaan FHE semasa masih menghasilkan artefak besar dan masa ejekan berjam-jam untuk tugas-tugas sederhana. Walaupun di bawah andaian optimis, pembinaan obfuscation ketidaktahuan mempunyai masa ejekan yang “galaksi” atau berhari-hari pada peranti berat.

Penafian: Kandungan ini hanya untuk tujuan maklumat dan tidak merupakan nasihat pelaburan. Pelaburan mata wang kripto membawa risiko. Sila lakukan penyelidikan anda sendiri (DYOR).

Penafian: Halaman ini telah diterjemahkan dengan menggunakan teknologi AI untuk keselesaan anda. Untuk mendapatkan maklumat yang paling tepat, rujuk kepada versi bahasa Inggeris asal.