Ano ang SNARKs? Bakit naniniwala si Vitalik Buterin na maaaring bumaba ang gastos sa ZK Proof sa ilalim ng 10x

2026/09/08 11:12:00

Nakikita ni Vitalik Buterin na ang kriptograpiya ay malapit nang sa near-zero overhead

Ang co-founder ng ethereum, Vitalik Buterin, ay nag-publish ng isang pagsusuri noong Setyembre 6, 2026, na nagtatakda ng mga konkretong probabilidad sa pangmatagalang praktikalidad ng tatlong advanced cryptographic primitives. Ibinigay niya ang 60% na probabilidad na ang SNARKs, fully homomorphic encryption, at indistinguishability obfuscation ay magtatrabaho sa mas mababa sa 10 beses ang gastos ng karaniwang computation kapag sinusukat sa kabuuang paggamit ng enerhiya plus amortized computing expenses. Ipinagtataglay niya ang 33% na posibilidad na ang mga kasangkapan na ito ay maaaring makamit ang 1+ε overhead sa sapat na sukat, ibig sabihin ang karagdagang cryptographic cost ay magiging arbitrariyong maliit kumpara sa underlying work. Ang SNARKs ay nakikilala bilang pinakamature sa tatlo at pinakamalaking posibilidad na makamit ang single-digit overhead sa huli ng dekada. Ang mga espesyalisadong hash functions at ilang large-language-model inference workloads ay napatunayan na ang katumbas na antas ng efficiency.

Ang mga proyeksyon na ito ay dumating habang mabilis na nagpapababa ang gastos sa pagpapatotoo ng zero-knowledge, kung saan ang mga pampublikong benchmark ay nagpapakita ng pagbaba ng mga patotoo ng Ethereum block mula sa dolyar patungo sa mga fraksyon ng isang sentimo sa loob ng halos isang taon. Mas mababang overhead ay magpapalawak sa makabuluhang paggamit ng mga pribadong patotoo, magpapahintulot sa mas mataas na gas limits nang hindi kasama ang proporsyonal na paglago ng hardware ng validator, at magtutulungan sa mas malawak na pagtanggap ng mga aplikasyon na nagpapanatili ng privacy sa mga blockchain system. Ang pagtataya ay nananatiling isang personal, hindi konsensong pananaw kaysa isang komitment sa protocol roadmap. Ang SNARKs ay nagdadala na ng production value ngayon at nasa pinakamalapit na posisyon sa mga advanced na kriptograpikong kasangkapan upang makamit ang overhead na sapat na mababa para sa karaniwan at malawakang pag-deploy, ayon sa mga probabilidad ni Buterin noong Setyembre 2026 at ang kasabay na empirikal na pag-unlad sa mga sistema ng pagpapatotoo.

Paano ang SNARKs na nagdadala ng kompaktong patunay ng tamang komputasyon nang hindi ipinapakita ang mga input

Ang Succinct Non-interactive Arguments of Knowledge, o SNARKs, ay nagpapahintulot sa isang partido na lumikha ng maikling kriptograpikong patunay na tama ang isang komputasyon. Sinusuri ng verifier ang patunay nang hindi muling pagsisimulan ang buong kalkulasyon o pagkatuto ng mga pribadong input. Ang katangiang “succinct” ay nagpapanatili ng maliit na laki ng patunay at mabilis na pag-verify, kahit na ang pagsasalaysay ay komplikado. Ang disenyo na non-interactive ay nangangahulugan na ang prover ay naglalabas ng isang mensahe na maaaring suriin ng anumang verifier nang hiwalay. Ang mga bersyon na zero-knowledge ay karagdagang tinatago ang witness data, na nagpapahintulot sa mga aplikasyon sa privacy tulad ng shielded transactions o confidential smart-contract logic. Sa praktika, ang modernong mga konstruksyon ng SNARK ay nakabatay sa pairing-based cryptography o mga alternatibong hash-based, kasama ang circuits na nagpapahayag ng komputasyon bilang arithmetic constraints. Ang proving time at memory ay nananatiling pangunahing gastos, habang ang verification ay karaniwang sapat na mura para sa on-chain gamit. Ang mga bagong espesyalisadong sistema ay nabawasan ang overhead para sa structured workloads tulad ng paulit-ulit na hash evaluations sa antas na mas mababa kaysa sa mga nakaraang general-purpose implementation.

Ang pagkakaiba sa efisensiya sa pagitan ng mga espesyalisado at pangkalahatang kaso ang nagpapaliwanag kung bakit binanggit ni Buterin ang SNARKs bilang pinakamalapit na kandidato para sa malawakang single-digit overhead. Ang mga production deployment ay nakabatay na sa SNARKs para sa rollup validity proofs at privacy protocols, na nagpapakita na ang core mechanism ay gumagana sa malaking saklaw kahit pa ang mga inaasahang pagbaba sa gastos ay hindi pa buong naganap. Ang patuloy na pag-unlad sa circuit optimization, hardware acceleration, at recursive composition ay patuloy na pinipigil ang natitirang performance gap sa pagitan ng native execution at proven execution. Ang praktikal na halaga ng SNARKs ay nakabatay sa asimetrinya sa pagitan ng pagpapatotoo at pag-verify. Ang paggawa ng proof ay maaaring kailanganin pa rin ng malaking yaman kumpara sa simpleng pagpapatakbo ng orihinal na programa, ngunit ang resultang object ay nananatiling maliit at mabilis na i-verify. Ang katangiang ito ang nagpapabatid sa mga Layer-2 scaling designs na nagpapost ng kompakto na proof sa base layer kaysa sa buong transaction data. Ito rin ay sumusuporta sa mga aplikasyon kung де nangangailangan ng isang partido na ipakita ang kaalaman sa isang lihim o tamang pagpapatakbo ng isang pribadong computation nang hindi ipinapakita ang lihim mismo.

Ang empirikal na mga benchmark mula 2025 hanggang 2026 ay nagpapakita na ang mga gastos sa pagpapatotoo para sa mga bloke na may sukat ng Ethereum ay bumaba ng halos 45 beses sa isang taon sa mga publikong tracker, nakakamit ang antas na mas mababa sa isang sentimo para sa mga kinabibilangang konfigurasyon sa pinapabuti multi-GPU setups. Ang ganitong mga pag-unlad ay nagpapatotoo sa direksyon patungo sa mga layunin sa overhead na ilarawan ni Buterin. Ang mga trend sa hardware, kabilang ang consumer-grade GPU at espesyalisadong disenyo ng prover, ay dagdag pa ring bawas ang absolute na enerhiya at kapital na gastos na kaugnay ng pagbuo ng patotoo. Kapag ang mga espesyalisadong hash functions ay nasa malapit na single-digit multiples ng native cost, ang natitirang hamon sa engineering ay nakatuon sa pagpapalawak ng mga efficiency na ito sa mas pangkalahatang circuits nang hindi nagdudulot ng bagong bottlenecks. Kaya ang kombinasyon ng mga pag-unlad sa algorithm at pagkakamit ng hardware ay nagbibigay ng batayang katotohanan para sa optimistiko na posibilidad na isinasaad sa SNARKs na makakamit ang mga antas ng overhead na magiging malawakang kapaki-pakinabang sa dekada na ito.

Vitalik Buterin’s September 2026 Probability Framework for Cryptographic Overhead

Noong Setyembre 6, 2026, sinukat ni Buterin ang matagal nang mga tanong tungkol sa pagiging praktikal ng advanced cryptography sa pamamagitan ng pagbigay ng eksplisitong mga probabilidad. Ipinaghambing niya ang 60% na posibilidad na ang SNARKs, fully homomorphic encryption, at indistinguishability obfuscation ay magtatagumpay sa pagkamit ng mas mababa sa 10 beses ang kabuuang enerhiya at amortized compute cost ng karaniwang computation. Magkakaroon ng hiwalay na 33% na probabilidad sa mas malakas na pahayag na lahat ng tatlo ay maaaring makapag-approach sa 1+ε overhead para sa average real-world workloads kapag ang scale ay sapat na malaki. Ang pagsukat ay maylaking pagtanggap sa paggastos ng enerhiya kaysa sa panahon lamang, upang isaalang-alang ang tunay na ekonomikong burden ng pagpapatakbo ng teknolohiya sa malaking sukat. Ipinahayag ni Buterin na ang pangkalahatang pananaw ay optimistic at non-consensus. Binanggit niya na kahit isa sa tatlong primitives, malamang ang SNARKs, ay may magandang pagkakataon na makamit ang single-digit overhead bago magwakas ang dekada. Ang mga espesyalisadong kaso ay nagpapakita na ang katanggap-tanggap na antas na ito ay maaaring maabot para sa ilang hash functions at language-model inference tasks. Ang mga paunang pagtataya ay walang kasamang protocol deadlines o engineering commitments; ito ay isang personal na pagtataya sa teknikal na posibilidad kaysa isang takdang-panahon para sa mga upgrade ng Ethereum.

Ang pagkakapareho ng mga coverage sa iba’t ibang midyum noong Setyembre 6 at 7 ay nagpatibay sa mga parehong numerikal na saklaw at ang pagtekno sa SNARKs bilang pinakamalapit na kandidato. Ang mga numero na ito ay nagbibigay ng konkretong puntos ng pagsusuri kung saan maaaring masukat ang pag-unlad ng susunod na panel. Mahalaga ang pagkakaiba sa pagitan ng 60% na probabilidad na mas mababa sa 10x at ang mas makitid na panahon para sa single-digit overhead. Hindi sinabi ni Buterin na lahat ng tatlong teknolohiya ay lalampas sa 10x threshold bago ang 2030. Ang mas limitadong pahayag ay tumutukoy sa posibilidad na kahit isang isa, na inaasahang SNARKs, ay makakamit ng single-digit multiples sa loob ng dekada. Ang pagsasalaysay na ito ay nag-iwas sa sobrang pangako sa mga mas malayo pang primitibo habang patuloy na ipinapakita ang masukat na malapit na potensyal. Ang energy-plus-amortized-cost accounting ay nagpapatibay pa sa pagtataya sa tunay na ekonomiya kaysa sa purong asymptotic complexity.

Kapag bumababa ang mga gastos, ang parehong computational budget ay maaaring suportahan ang mas mataas na throughput o mas kumplikadong pahayag nang walang proporsyonal na pagtaas sa mga pangangailangan sa hardware para sa mga validator o gumagamit. Ang pampublikong pagrereport ng pagsusuri noong Setyembre 6 ay patuloy na binanggit ang parehong 60% at 33% na mga numero kasama ang obserbasyon na ang mga espesyalisadong workload ay nasa pagkakalapit na sa target range. Kaya ang framework ay nagbibigay ng parehong kuantitatibong palagay at kwalitatibong pagrereporma ng relatif na kasiguraduhan sa pagitan ng tatlong teknolohiya. Ang patuloy na empirikal na pagpapabuti sa SNARK proving systems ay nagbibigay ng independiyenteng suporta sa pagrereporma na naglalagay ng SNARKs bilang unang sa pagkakasunod-sunod ng inaasahang pagbaba ng gastos.

Ang mga espesyalisadong hash function ay nasa pagkakaroon na ng single-digit SNARK overhead

Tinitiklan ni Buterin na ang mga espesyalisadong hash function ay nasa antas ng efficiency na katumbas ng single-digit overhead kumpara sa native execution. Ang mga bagong konstruksyon tulad ng Flock, isang hash-based SNARK na optimal para sa mga batch ng Boolean computations, ay nagpapakita ng punto gamit ang konkretong numero ng throughput. Sa consumer hardware, ang Apple M4 Max ay kayang patunayan ang mga hundreds of thousands ng BLAKE3 compressions, SHA-256 compressions, o Keccak permutations bawat segundo, na kumakatawan sa isang order-of-magnitude improvement kumpara sa mga dating state-of-the-art systems para sa parehong mga workload. Ang laki ng proof ay nananatiling mas mababa sa 450 KB, at ang verification ay natatapos sa mas mababa sa apat na milisegundo. Mahalaga ang mga resultang ito dahil ang hash evaluations ay dominante sa maraming cryptographic circuits, kabilang ang Merkle path openings, hash chains, at ang mga inner layers ng recursive proofs.

Kapag naging mura na ang pagpapatotoo sa mga pangunahing operasyon, bumababa ang kabuuang overhead ng mga mas malalaking pahayag, kahit nananatili ang mas maliwanag na lohika. Ang parehong prinsipyo ay umuugnay sa ilang mga gawain sa pag-infer ng malalaking modelo ng wika kung saan ang mga pagpaparami ng matrix at kaugnay na structured operations ay nagpapahintulot sa napakaepektibong mga estratehiya sa pagpapatotoo. Ang pampublikong dokumentasyon ng mga espesyalisadong sistema ay nagpapatotoo na ang single-digit multiples ay hindi na purong teorya para sa mga nararapat ngunit madalas na mangyayaring computational patterns. Ang pagpapalawak ng parehong epektibidad sa mga general-purpose circuits ay isang hamon sa inhinyeriya, ngunit ang mga espesyalisadong resulta ay nagtataguyod ng malinaw na pagpapatotoo ng pagkakaroon. Ang hardware acceleration ay nagpapalakas pa ng mga nakuha: ang mga multi-core at multi-GPU configurations ay nagpapataas pa ng throughput, habang nananatiling praktikal ang memory footprint para sa mga target batch sizes. Ang disenyo ng Flock ay nagkakaisa ang mga optimized na lincheck at zerocheck protocols kasama ang agresibong mga teknik sa implementasyon, nagpapakita na ang co-design ng mga algoritmo at software ay maaaring magdulot ng malaking pagtaas sa bilis.

Kumikita ang mga espesyalisadong module na katulad sa iba pang modernong SNARK systems na nag-iisolate sa mga mahal na operasyon tulad ng mga hash o signature at nagpapatotoo sa pamamagitan ng mga dedikadong, napakadaliin na mga sub-protocol. Kapag ang karamihan ng isang computation ay binubuo ng ganitong structured na trabaho, naging mas maliit na bahagi ng kabuuang gastos ang residual na pangkalahatang overhead. Ang pagbanggit ni Buterin sa mga umiiral na kaso ay batay sa measurable na performance at hindi lamang sa propesyonal na paghula. Habang mas maraming workload ay isinusulat o ina-compile upang bigyang-pansin ang SNARK-friendly na primitives, lumalawak ang bahagi ng real-world computation na maaaring magtrabaho malapit sa single-digit overhead. Ang patuloy na pagpapaspesyal na ito ay nagbibigay ng isa sa mga konkretong landas na sumusuporta sa mas malawak na posibilidad na makakamit ng SNARKs ang target range para sa average cases sa dulo ng dekada.

Kamakalabas na Pagbaba sa mga Gastos sa Pagpapatotoo ng Ethereum Block

Ang mga independiyenteng benchmark ay nakatutok sa malaking pagbaba ng gastos sa pagbuo ng zero-knowledge proof para sa mga Ethereum block. Ang publikong data ng ethproofs ay nagsalaysay ng pagbaba ng average gastos mula sa halos 1.69 dolyar noong simula ng 2025 patungo sa mas mababa sa apat na sentimo sa dulo ng taon, isang pagbaba ng halos 45 beses. Noong simula ng Setyembre 2026, ang ilang konpigurasyon ay nagsalaysay ng gastos na malapit sa kalahating sentimo para sa mga kwalipikadong block, bagaman ang mga rate ng tagumpay para sa mga proof na mas mababa sa 10 segundo sa lahat ng pinag-aralan na slot ay nanatiling bahagya dahil ang offline at di-kwalipikadong pagpapatakbo ay kabilang. Ang Ethereum Foundation ay nakakatukoy na mga layunin para sa real-time proving: mas mababa sa 10 segundo para sa 99 porsyento ng mga mainnet block sa hardware na nagkakahalaga ng hindi hihigit sa 100,000 dolyar, gumagamit ng hindi hihigit sa 10 kilowatt, ang mga proof ay mas mababa sa 300 KiB, at walang trusted setup. Maraming koponan ang nakamit o malapit sa mga layuning ito noong huli ng 2025.

Ang mga numero na ito ay nakatuon sa mga buong block proof kaysa sa mga hiwalay na application circuit, ngunit ipinapakita nito na patuloy na bumababa ang absolute na gastos sa SNARK generation sa ilalim ng realistiko mga workload at hardware constraints. Ang verification ay patuloy na mas mura kaysa sa proving, na nagpapanatili sa mga on-chain cost na maipapamahala kahit na tumataas ang complexity ng proof. Ang trajectory ng gastos ay may direkta impact sa overhead multiples na pinag-usapan ni Buterin. Kapag bumababa ang absolute na enerhiya at kapital na gastos sa paggawa ng proof, mas nagiging mas mabuti ang ratio kumpara sa native execution kahit nananatili ang algorithmic overhead. Ang mga pagpapabuti sa hardware, kabilang ang mas malalim na GPU deployment at mas epektibong prover software, ay nakakatulong sa mga nakasukat na pagbaba.

Mga espesyalisadong sistema ay dagdag pa ang bilis sa subset ng mga operasyon na dominanteng block proving, tulad ng hashing at pag-check ng signature. Ang kombinasyon ng algorithmic na pag-unlad at mga pag-unlad sa commodity hardware ay nagdudulot ng compound effects na nakikita sa public trackers. Mas mababang gastos sa proving ay nagpapalayas sa mga limitasyon sa gas limits at throughput: hindi na kailangang palawakin ng validators ang hardware nang proporsyonal sa bawat pagtaas ng computational demand kung mas malaking bahagi ng trabaho ay maaaring proving kaysa i-re-execute. Ang September 2026 snapshot ng mga gastos na sub-cent para sa ilang mga konfigurasyon ay nagbibigay ng panahon na empirical na konteksto para sa 60% na probabilidad na ibinigay sa sub-10x overhead. Ang patuloy na pagmamasid sa parehong public benchmarks ay magpapahintulot sa mga obserbador na subukin kung ang nakikita na antas ng pag-unlad ay patuloy na sumusuporta sa trajectory na kailangan upang matugunan ang single-digit target para sa mas malawak na workloads sa loob ng dekada.

Paano Maaaring Itaas ng Mas Mababang Gastos sa SNARK ang Ethereum Gas Limits nang Walang Pagtaas sa Hardware

Ang pagbabawas sa SNARK overhead ay direktang nakakaapekto sa ekonomiks ng pagpapataas ng gas limits. Ang mas mataas na limits ay nagpapataas sa computational work na maaaring sakop ng bawat block, na sa kanyang pagkakataon ay nagpapataas sa mga mapagkukunan na kailangan para sa full validation kung ang bawat node ay magrererun ng bawat transaction. Kapag isang malaking bahagi ng gawaing iyon ay maaaring sakop ng succinct proofs, ang marginal na hardware burden sa mga validator ay tumataas nang mas mabagal. Noon ay link ni Buterin ang mas mura proofs sa pagiging posible ng mas mataas na throughput nang walang proporsyonal na pagtaas sa mga kinakailangang validator. Sa ekstremo, ang recursive proofs ay maaaring i-compress ang malalaking amount ng execution sa mga bagay na ang verification cost ay nananatiling halos konstante. Ang mga espesyalisadong hash at signature modules ay nagpapakita na ang dominanteng operasyon sa loob ng maraming circuits ay maaaring magtrabaho sa modeste multiples ng native cost.

Ang pagpapalawak ng mga efisiyensiya na ito ay nagpapababa ng kabuuang enerhiya at amortisadong gastos na kaakibat ng pagpapatotoo ng mas malalaking bloke. Ang resulta ay isang mas mabuting trade-off sa pagitan ng kapasidad at dekentralisasyon: ang mga network ay maaaring prosesuhin ang higit pang aktibidad habang pinapanatili ang hadlang sa pagpapatakbo ng isang validating node sa loob ng abot ng mas malawak na hanay ng mga kalahok. Ang mga praktikal na halimbawa ay makikita sa mga umiiral na Layer-2 na disenyo na nagpapost na SNARK o STARK proofs kaysa sa buong execution traces. Habang bumababa ang gastos sa pagpapatotoo, ang mga disenyo na ito ay maaaring suportahan ang mas malalim na batches o mas kumplikadong application logic nang walang proporsyonal na pagtaas sa gastos sa prover infrastructure. Sa sariling base layer, ang mga propuesta na nakabatay sa araw-araw o epoch-level na proofs para sa validator state updates ay may parehong benepisyo mula sa mas mababang overhead.

Ang energy-plus-amortized-cost metric na binigyang-diin sa pagsusuri noong Setyembre 2026 ay nakakapokus sa buong ekonomikong epekto ng mga pagbabagong ito. Kapag bumababa ang karagdagang gastos sa kriptograpiya patungo sa mga maramihang single-digit, bumabawas ang pagsisikap na panatilihin ang mga patunay sa labas ng critical path, at maaaring lumawak ang kanilang paggamit sa mas karaniwang mga punsiyon ng protokolo. Kaya maaaring iinterpret ng mga tagapag-observa sa merkado na sinusubaybayan ang mga metrikang kapasidad ng Ethereum ang pagbaba ng gastos sa pagpapatunay bilang indikasyon ng hinaharap na headroom para sa pagtaas ng gas-limit na nagpapanatili ng malawakang pagkaka-partisipasyon. Ang ugnayan sa pagitan ng kriptograpikong epihayos at pag-scalla ng protokolo ay nananatiling isa sa pinakamalinaw na aplikasyon sa malapit na panahon ng mga pagbaba sa gastos na kinwenta ni Buterin.

Mas malayo ang FHE at Indistinguishability Obfuscation mula sa mga layunin sa praktikal na overhead

Ang fully homomorphic encryption ay nagpapahintulot sa arbitrary computation sa encrypted data nang walang decryption, habang ang indistinguishability obfuscation ay naglalayong itago ang lohika ng isang programa nang ganap na kaya't ang tanging nakikita ay ang input-output behavior nito. Ang parehong primitives ay nagpapalawak sa design space para sa private shared-state applications at software protection, ngunit ang kasalukuyang overhead nito ay mas malaki kaysa sa SNARKs. Nailarawan na ni Buterin ang iO bilang ang “final boss” ng cryptography dahil ang mga konstruksyon ay nagtataglay ng maraming advanced primitives at nananatili pa ring may galactic runtimes sa ilalim ng conservative assumptions. Kahit ang pinakamaliwanag na lattice-based approaches ay nananatiling may runtimes na isinukat sa araw sa mabigat na hardware para sa mga simpleng programa. Ang mga implementasyon ng FHE ay nag-improve na, ngunit patuloy pa ring gumagawa ng multi-gigabyte artifacts at multi-hour runtimes para sa relatibong maliit na machine-learning tasks sa 2026 benchmarks.

Kaya ang pagsusuri ng Setyembre ay nagrurank ng parehong teknolohiya sa likod ng SNARKs sa inaasahang oras para sa single-digit overhead. Ang 60% na probabilidad ay tumutukoy sa pagkamit ng sub-10x na gastos para sa lahat ng tatlo; ang mas tiyak na pahayag sa dulo ng dekada ay nagtatangi ng SNARKs bilang pinakamalaking posibilidad na unang gumalaw. Ang relatibong distansya ay hindi nangangahulugan ng pagkakapigil. Patuloy ang pananaliksik sa mas agresibong aksiyoma, bagong non-lattice na pamamaraan tulad ng local mixing, at progresibong pagpapabuti ng umiiral na mga tower ng mga konstruksyon. Ang pagpapabuti sa mga komponenteng primitive tulad ng functional encryption o epektibong FHE ay maaaring magdulot ng mas mababang kabuuang gastos para sa iO. Para sa FHE, ang daan ay kasama ang mas mabuting mga teknik ng pagpapack, hardware acceleration, at circuit-friendly na encoding na nagpapabawas sa paglaki ng ingay.

Gayunpaman, ang empirikal na pagkakaiba ay patuloy na malaki upang ang pagkakaroon ni Buterin ay ilagay ang praktikal na single-digit overhead para sa mga kasangkapan na ito ay huli kaysa sa SNARKs. Ang mga aplikasyon na nangangailangan ng computation sa encrypted shared state o hidden program logic ay magpapatuloy na magtatagpo sa alternatibong teknik o hybrid designs hanggang sa matupad ang overhead targets. Ang probability framework ay tumutukoy sa tatlong teknolohiya bilang isang portfolio: ang tagumpay sa pinakamalapit na miyembro (SNARKs) ay nagbubukas na ng malaking halaga, habang ang pag-unlad sa mga mas malayong miyembro ay lalawak sa set ng feasible privacy at integrity guarantees. Ang pagsubaybay sa mga espesyalisadong SNARK results ay patuloy na ang pinakamalapit na indikador kung ang kabuuang 60% assessment ay nasa tamang landas.

Ang Recursive Proof Composition ay nagpapalawak sa mga pagpapabuti ng kahusayan sa mas malalaking pahayag

Ang recursive composition ay nagpapahintulot sa isang SNARK na i-verify ang isa pang SNARK, na nagpapahintulot sa hierarchical compression ng malalaking komputasyon sa isang iisang kompakto na patunay. Ang teknik na ito ay nasa sentro na ng maraming production systems na nag-aagregate ng maraming transaksyon o block. Kapag mas mura na ang pagbuo ng mga panloob na patunay, ang panlabas na recursive layer ay nagsasamantala sa mga savings na iyon at maaaring mag-operate sa mas mataas na throughput o mas mababang latency. Ang mga espesyalisadong module para sa mga hash at iba pang madalas na operasyon ay karagdagang pinapabilis ang recursive path dahil ang pag-verify ng isang panloob na patunay ay madalas ay nababawasan sa structured checks na nagpapahintulot sa epektibong pagtrato.

Ang mga pampublikong benchmark na nagpapakita ng mga gastos na mas mababa sa isang sentimo para sa mga buong patunay ng ethereum block ay naglalaman na ng recursive techniques sa ilan sa mga pangunahing prover stacks. Habang patuloy na bumababa ang mga gastos sa pagpapatunay, bumababa rin ang marginal na gastos ng karagdagang mga layer ng recursion, na sumusuporta sa mas malalim na pag-nest nang hindi kasabay ang pagdami ng mga mapagkukunan. Ang parehong katangian ng komposisyon ay sumusuporta sa mga “napakapalakas” na disenyo ng consensus na nagpapalit ng paulit-ulit na on-chain balance updates gamit ang araw-araw o epoch-level na zero-knowledge proof. Ang mga validator ay nakakasunod sa kanilang sariling estado at sumusumite ng maikling patunay na kumakalupit sa pagkakasali at mga reward; ang base layer ay veripikado ang aggregate kaysa sa pag-iimbak at pag-update ng bawat balance. Mas mababang overhead ay gumagawa ng mga patunay na maaaring gamitin sa simpleng hardware at sa praktikal na mga oras.

Ang recursive aggregation ay maaaring dagdag pang i-compress ang mga proof mula sa maraming validator sa isang solong objekto kung saan ang gastos sa pag-verify ay nananatiling halos konstante. Ipapakita ng mga pattern sa arkitekturang ito kung paano ang pagbawas ng gastos sa antas ng primitive ay nakakatulong sa sistemikong epiisyo. Kapag ang enerhiya at amortized na gastos ng bawat layer ng proof ay malapit sa single-digit na maramihan ng pinagmulang gawa, ang kabuuang overhead ng mga multi-level na sistema ay nananatiling maipapamahala. Ang empirikal na pag-unlad sa parehong espesyalisadong prover at full-block benchmarks ay nagbibigay ng suportang ebidensya para sa pagkakaroon ng posibilidad ng mga recursive na disenyo na nakadepende sa murang SNARKs.

Hardware Acceleration at at Consumer-Grade Provers Narrow the Cost Gap

Ang modernong SNARK provers ay lalong nagpapakita ng paggamit ng karaniwang GPU at multi-core CPU resources kaysa sa pagtitiyak lamang sa mga espesyalisadong ASIC. Ang mga konfigurasyon na gumagamit ng 16 consumer GPUs ay nagpakita ng real-time proving ng Ethereum blocks sa ilalim ng latency at power targets ng Foundation. Ang mga resulta sa isang GPU at kahit sa laptop-class para sa mas maliit na workloads, tulad ng Flock hash batches o on-device identity proofs, ay nagpapakita na patuloy na bumababa ang mga absolute hardware barriers. Ang memory footprints para sa ilang mobile at desktop provers ay nananatili sa saklaw ng karaniwang consumer devices.

Ang mga pag-unlad na ito ay nagpapababa ng kapital na gastos sa infrastruktura ng prover at ang enerhiyang komponente ng metrikang overhead na binanggit ni Buterin. Kapag maaaring gawin ang parehong kompyutasyonal na trabaho sa malawak na available na hardware, bumababa ang amortized na gastos at naging accessible ang teknolohiya sa mas malawak na hanay ng mga operator. Ang trend ay tumutugon din sa algorithmic na pagkakaiba-iba. Ang hardware na nagpapabilis sa matrix multiplication o parallel hash evaluation ay nagpapalakas sa mga nakuha nang mga pagpapabuti para sa language-model inference at structured Boolean circuits. Ang prover software na nagmamapa ng circuits sa mga hardware primitive na ito ay dagdag pa na nagpapabuti sa paggamit.

Ang mga public tracker na nagrereport ng mga estadistika sa gastos at rate ng tagumpay sa iba’t ibang independiyenteng konfigurasyon ay nagbibigay ng patuloy na pagkakita sa pinagsamang epekto ng hardware at software. Habang mas maraming koponan ang nagpapalabas ng mga reproducible na benchmark sa katumbas na hardware, ang komunidad ay makakadistingguho sa tunay na pagpapabuti ng epiisensiya mula sa mga artifact na specific sa konfigurasyon. Ang pagmamasid sa September 2026 ng halaga ng kalahating sentimo para sa mga karapat-dapat na block proofs, kahit na may hindi kumpletong rate ng tagumpay sa lahat ng slots, ay nagpapakita na ang hardware path ay patuloy na produktibo. Ang patuloy na pagpapabuti sa aspetong ito ay suporta sa posibilidad na ang single-digit overhead ay maging maabot para sa mas malawak na hanay ng workloads bago magwakas ang dekada.

Maaaring unang makinabang ang mga aplikasyon sa privacy mula sa mas mura na SNARKs

Mas mababang gastos sa SNARK ay nagpapalawak sa hanay ng mga aplikasyon na nagpapanatili ng privacy na maaaring magtrabaho nang ekonomiko sa public chains. Ang shielded transactions, private smart-contract state, at selective disclosure ng credentials ay lahat ay nakasalalay sa zero-knowledge proofs kung saan ang gastos sa pagbuo ay dapat manatiling praktikal para sa mga end users o service operators. Kapag bumaba ang proving overhead patungo sa single-digit multiples, bumababa ang friction sa pagbuo at pagsumite ng mga proof na ito, na sumusuporta sa mas mataas na adoption. Ang mga umiiral na sistema ay nagpapakita na ng pattern: ang mga privacy protocols na dating nangangailangan ng malaking off-chain computation o trusted hardware ay maaaring magmigrante patungo sa mas transparent, fully cryptographic na disenyo kapag bumaba ang gastos.

Ang mga toolkits para sa pagpapatotoo sa device na inilabas noong 2026 ay higit pang ipinapakita ang direksyon, nagpapagawa ng mga patotoo ng identidad lokal sa mga consumer phone nang hindi ipinapadala ang mga pribadong dokumento sa mga external server. Mas mabilis at mas mura ang mga patotoo na ginagawa itong mas responsive at mas enerhiya-efisyente. Ang parehong pagbaba sa gastos ay suporta sa mga disenyo ng private shared-state na nagkakaisa ang SNARKs kasama ang iba pang primitives. Ang mga confidential automated market makers, sealed-bid auctions, at private lending pools ay naging mas posible kapag ang cryptographic overhead ay hindi na dominanteng bahagi ng ekonomikong kalkulasyon. Ang mas malawak na pag-uusap ni Buterin tungkol sa privacy roadmaps, kabilang ang private reads, writes, at proving, ay tumutugma sa inaasahang mababang gastos na SNARKs ay magiging foundational layer.

Nakikita na ang pagbaba ng empirical cost sa mga pampublikong benchmark, kaya naman ito ay maaaring magtranslate sa konkretong puwang para sa mga tampok ng privacy na dati ay nakakaranas ng mga ekonomikong paghihigpit. Ang mga tagapag-observa sa merkado na nagmomonitor sa pagtanggap ng mga protokolo na nagpapanatili ng privacy ay maaaring ituring ang pagbaba ng proving cost bilang isang leading indicator ng expanded design space. Ang ugnayan ay patuloy na batay sa ebidensya: ang masusukat na pagbaba sa enerhiya at kapital na gastos ay diretso na nagpapabuti sa kakayahang gamitin ang mga aplikasyon na ang kawastuhan at privacy ay nakabatay sa SNARK proofs.

Market at Industry Context para sa Pagsisikap na Pabilisin ang SNARK Efficiency

Patuloy na ipinapakita ng mas malawak na zero-knowledge ecosystem ang aktibong pag-unlad kahit na magkakaiba-iba ang mga metrik ng bawat proyekto. Ang mga publikong repository at mga tagapagsubaybay sa aktibidad ng mga developer noong 2026 ay nakarekord ng libu-libong nakaraang kontribyutor at isang mas maliit ngunit patuloy na malaking bilang ng kasalukuyang aktibong mga developer sa iba’t ibang sistema ng proof at virtual machine. Ang mga zkVM sa produksyon ay nagrereport ng real-time o halos real-time na pagpapatotoo sa mga workload na may sukat ng Ethereum sa multi-GPU hardware, na may ilang sistema na nakakamit na ang audited na katayuan sa produksyon. Ang mga espesyalisadong prover para sa mga hash batch at on-device identity ay dagdag pa sa pagkakaiba-iba ng mga available na kasangkapan.

Ang mga paralel na pagsisikap na ito ay nagtataguyod ng kompetitibong presyur na nagpapabilis sa pagpapabuti sa lahat ng aspeto. Kapag naglalabas ang maraming independiyenteng koponan ng mga numerong nagpapabuti sa gastos at latency, mas matibay ang pangkalahatang direksyon kaysa sa anumang isang implementasyon. Ang pagtanggap ng industriya ay lumalawak pahalang sa simpleng pagpapalawig ng blockchain. Ang mga pilot project sa pagtokenisasyon ng mga aset sa iba’t ibang hukuman, mga prototipo ng digital na pera, at mga framework para sa pag-verify ng data sa kalusugan ay nagsisimulang maglalapat ng mga patunay batay sa SNARK. Ang karaniwang pangangailangan ay ang kakayahang ipakita ang tamang komputasyon o wastong mga kredensyal nang hindi ipinapakita ang nakatagong data.

Ang pagbaba ng mga gastos sa pagpapatotoo ay nagpapababa rin sa hadlang para sa mga hindi kripto na paggamit, na nagpapalawak sa kabuuang demand na maabot para sa epektibong teknolohiya ng SNARK. Ang pampublikong pagrereport ng pagbaba ng gastos sa mga patotoo ng Ethereum block ay kaya nang maging makita at proxy para sa pag-unlad na nakakatulong sa mas malawak na hanay ng mga aplikasyon. Ang kombinasyon ng bukas na mga benchmark, nakikipagkumpetensya mga implementasyon, at lumalawak na mga paggamit ay nagbibigay ng konteksto ng merkado kung saan maaaring masuri ang mga probabilidad na inilahad ni Buterin sa mga darating na taon. Ang patuloy na pagpapabuti sa mga dimensyong ito ay magpapataas ng tiwala na ang 60% na pagtataya para sa mas mababa sa 10x na overhead ay makakamit.

Mga PRACTICAL NA LANDAS NG INHINYERIYA PATUNGO SA MAS MALAWAK NA SINGLE-DIGIT OVERHEAD

Maraming konkretong direksyon sa inhenyeriya ang nagtatapos sa target na single-digit overhead para sa mga pangkalahatang workload. Ang mga circuit compiler na nagmamapa ng mataas-antas na code sa SNARK-friendly intermediate representations ay nagpapababa ng bilang ng constraint para sa karaniwang operasyon. Ang mga domain-specific languages at library na nagpapakita ng mga naka-optimizadong hash, signature, at arithmetic modules ay nagpapahintulot sa mga developer na istrukturan ang mga programa sa paligid ng mga nangangailangan ng maliit na gastos na primitives. Ang recursive aggregation at proof-carrying data techniques ay nag-aamortis ng gastos sa pag-verify sa malalaking batch. Ang hardware-software co-design ay karagdagang nagmamapa ng natitirang general-purpose na trabaho sa mga parallel accelerator.

Bawat isa sa mga landas na ito ay nagdulot ng masukat na pag-unlad sa panahon ng 2025–2026. Kapag ang mga espesyalisadong module ay nasa malapit na posisyon sa target, ang natitirang bahagi ng pangkalahatang layunin ang naging sentro ng patuloy na pagpapabuti. Ang mga sunod-sunod na pagbawas sa natitirang bahaging ito ay nagdadala ng average overhead para sa mga realistiko programa patungo sa single-digit range. Ang mga gastos sa pag-verify ay nananatiling mababa kumpara sa pagpapatotoo, kaya ang pangunahing inhinyeriyang pagsisikap ay nakatuon sa prover. Ang mga pampublikong tracker na nagrereport ng parehong absolute cost at success-rate statistics sa iba’t ibang hardware configurations ay nagbibigay ng independiyenteng scoreboard.

Ang mga koponan na nagpapalabas ng maaaring muling isulat na mga resulta sa katumbas na mga setup ay nagpapahintulot sa komunidad na matukoy kung anong mga kombinasyon ng algoritmo, disenyo ng sirkuito, at hardware ang nagbibigay ng pinakamalaking kikitil. Ang pagkakaroon ng maraming zkVM na handa na para sa produksyon at espesyalisadong prover ay nagpapakita na ang teknolohiya ay nasa labas na ng mga prototipo sa laboratorio. Ang pagpapalawak ng epekto na ipinakita sa mga hash at pag-infer ng language model sa buong saklaw ng aplikasyon na lohika ay ang natitirang praktikal na hamon. Ang pag-unlad sa mga landas na ito ng inhenyeriya ay nagbibigay ng batayang katotohanan para sa pag-asa na makakamit ng SNARKs ang malawak na kapaki-pakinabang na single-digit overhead sa loob ng dekada.

🔥 Sa Labas ng Mga Balita: Ano ang Kahulugan ng KuCoin 5.0 para sa Iyo

Mabilis ang paggalaw ng mga balita sa merkado — ngunit mahalaga rin kung saan mo ito ginagamit. Sa buwan ng Oktubre, ipinapakilala ng KuCoin ang KuCoin 5.0, na nagpapalit sa KuCoin sa isang bagong binuo na platform. Narito ang mga bagay na talagang nagbabago para sa iyo:

Isang account para sa lahat. Ang mga lumang platform ay naghihiwalay ng iyong pera sa mga hiwalay na “spot,” “margin,” at “futures” account at inaasahan na maintindihan mo kung bakit. Ang unified account ng KuCoin 5.0 ay alisin ang lahat ng iyon — mag-deposit ng isang beses, at lahat ay direktang naroon.
Mga stocks, indeks, at komodidad. Ang KuCoin 5.0 ay lumalawak sa labas ng crypto patungo sa mga global na merkado. Kapag nagpapahinga ang crypto at tumataas ang equities (o kaya naman ang kabaligtaran), maaari kang mag-rotate sa minuto, hindi kailangang buksan ang isang brokerage account at maghintay ng ilang araw para sa fiat rails.
Mga tunay na ari-arian (RWA). Tokenized na eksposur sa tradisyonal na ari-arian tulad ng mga komodidad, direkta sa iyong crypto account. Isa sa mga pinakamabilis na umuunlad na sektor sa pandaigdigang finansya ay hindi na eksklusibo para sa mga institusyon — ikaw ay makakapag-access dito mula sa parehong balanse na ginagamit mo para mag-trade.
Kita habang natututo. Hindi pa handa mag-trade? KCUSD ay nagpapakita ng araw-araw na kita na auto-compound sa iyong stablecoin. Ang pinakamaliit na stress na paraan upang gawing produktibo ang iyong idle deposit para sa 4% yield.
Isang AI assistant na nasa simpleng wika. Magtanong, makakuha ng konteksto ng merkado, maintindihan kung ano ang pinag-uusapan — nakabuilt sa platform, walang kailangang jargon.
Isang app na hindi nagdudulot ng pagkakalito. Mas mabilis, mas malinis, at mas magkakasundo — intuwitibo agad mula sa unang pag-tap, hindi pagkatapos ng tutorial.
Safety na maaari mong i-check, hindi lang paniwalaan. Isang MiCAR-licensed na EU na entidad, Proof of Reserves na maaari mong i-verify mismo, at internasyonal na sertipikadong seguridad (SOC 2 Type II, ISO 27001:2022).

Lumikha ng iyong account sa ilang minuto — at magsimula sa platform na gawa para sa kinabukasan ng crypto, hindi sa nakaraan nito.

Mas mahabang pananaw para sa mga pribadong sistemang may shared-state at mga papel ng mga intermediate

Kung matutupad ang mga proyektadong pagbawas sa gastos, mas praktikal ang mga aplikasyon ng pribadong shared-state. Ang fully homomorphic encryption ay magpapahintulot sa maraming partido na kalkulahin ang encrypted data nang hindi ipapakita ang mga input, habang ang SNARKs ay maghahatid ng kompakto mga patunay na sumunod sa komon na patakaran ang computation. Ang indistinguishability obfuscation ay maaaring dagdagan pa ang pagprotekta sa proprietary na lohika. Ang mas mura mga bersyon ng mga kasangkapan na ito ay magbabawas sa pagkakasalalay sa mga pinagkakatiwalaang custodians, auditor, o sentralisadong matching engines para sa ilang financial at computational workflows. Ang pagsusuri noong Setyembre 2026 ay direktang kumonekta sa mas mababang cryptographic overhead sa posibilidad ng pagpapahina sa tradisyonal na mga papel ng mga intermediary kapag ang privacy at verifiability ay naging default kaysa sa espesyalisadong tampok.

Mananatili ang mahabang timeline para sa buong set ng mga primitive, ngunit ang mga paunang pag-unlad sa efficiency ng SNARK ay nagsisiguro na lumalawak ang design space para sa mga hybrid system na nagpapagsasama ng kasalukuyang mga production proof kasama ang iba pang mga teknik ng privacy. Ipinapakita ng sariling roadmap sa privacy at scaling ng ethereum ang daan sa malapit na kinabukasan. Ang mga propuesta para sa private reads, writes, at proving, kasama ang frame transactions at keyed nonces, ay maaaring maglalapat ng mas agresibong paggamit ng SNARKs habang bumababa ang gastos. Parehong nakikinabang ang mga lean consensus designs na nagpapalit ng paulit-ulit na state updates gamit ang succinct proofs.

Sa labas ng mga blockchain system, ang parehong pagtaas ng efisensiya ay sumusuporta sa mga reguladong kapaligiran na nangangailangan ng kahintutan at kakayahang ma-audit. Ang 33% na probabilidad na ibinigay sa halos walang overhead sa sukat ay isang posibilidad na may mas mahabang paningin kung saan ang karagdagang gastos ng kriptograpikong pagprotekta ay magiging maliliit na halaga para sa karaniwang workload. Kahit ang mas konservatibong 60% na probabilidad para sa sub-10x overhead ay magiging malaking pagbabago kumpara sa nakaraang performance. Ang pagsunod sa empirical na landas ng gastos ng SNARKs ay nananatiling pinakadirektang paraan upang masukat kung ang mga mas mahabang paningin na epekto ay malapit nang maging praktikal.

Mga Karaniwang Tanong

Ano ang tumpak na sinabi ni Vitalik Buterin tungkol sa mga gastos ng SNARK noong Setyembre 2026?

Noong Setyembre 6, 2026, isinaklaw ni Buterin ang 60% na posibilidad na ang SNARKs, fully homomorphic encryption, at indistinguishability obfuscation ay magtatrabaho sa huli sa mas mababa sa 10 beses ang kabuuang enerhiya at amortized compute cost ng karaniwang computation. Ibinigay niya nang hiwalay ang 33% na posibilidad na lahat ng tatlo ay maaaring makamit ang 1+ε overhead sa sapat na sukat.

Gaano kalapit ang kasalukuyang gastos sa pagpapatotoo ng SNARK sa layuning overhead na single-digit?

Ang mga espesyalisadong workload tulad ng batch hash evaluations ay nasa malapit o loob ng single-digit multiples ng native execution sa consumer hardware. Ang mga buong Ethereum block proofs ay nakakita ng pagbaba ng absolute na gastos mula sa halos 1.69 dolyar noong unang bahagi ng 2025 patungo sa mas mababa sa apat na sentimo noong huling bahagi ng 2025 at malapit sa kalahating sentimo para sa ilang konfigurasyon noong unang bahagi ng Setyembre 2026. Ang mga pagbaba sa absolute na ito ay nagpapabuti sa epektibong overhead ratio kahit pa walang karagdagang algorithmic na pag-unlad.

Bakit mas mahalaga ang enerhiya plus amortized cost kaysa sa pure runtime?

Ang runtime lamang ay maaaring mabawasan ang ekonomikong bigat ng kriptograpiya dahil ang pagkonsyumo ng enerhiya at pagbaba ng halaga ng kagamitan ay naglalayong maging totoong gastos sa malaking iskala. Ang pagsukat ng overhead sa pamamagitan ng kabuuan ng pagkonsyumo ng enerhiya at amortisadong gastos sa kompyutasyon ay nagbibigay ng mas kumpletong imahe kung ang isang teknolohiya ay praktikal para sa karaniwang pag-deploy.

Maaari ba ng mas mura ang SNARKs na direktang palakasin ang Ethereum gas limit?

Mas mababang overhead sa pagpapatotoo ay nagbabawas sa marginal na kagamitan na kailangan upang patotohanan ang mas malalaking mga block kapag isang malaking bahagi ng pagpapatupad ay sakop ng mga maikling patotoo kaysa sa pagpapakita muli. Kaya makakasuporta ang mga validator sa mas mataas na gas limits nang hindi nagkakaroon ng proporsyonal na pagtaas sa kapasidad ng kompyutasyon. Dagdag pa, ang recursive at aggregated proofs ay karagdagang pinapababa ang gastos sa pagpapatotoo.

Ano ang papel ng mga espesyalisadong hash function sa pagbawas ng gastos?

Ang mga pagtataya ng hash ay dominanteng bahagi ng maraming kriptograpikong circuit. Kapag ang mga dedikadong SNARK module ay nagpapatotoo sa mga batch ng standard na hash na may mataas na throughput at mababang relatibong overhead, bumababa ang kabuuang gastos ng mas malalaking pahayag, kahit na ang panlabas na lohika ay hindi pa lubos na pinapabuti. Ang mga sistema tulad ng Flock ay naglabas ng konkretong mga figure sa throughput na hihigit sa mga sandaang libo ng kompresyon bawat segundo sa mga laptop para sa konsyumer, habang nananatiling praktikal ang laki ng proof at oras ng pag-verify.

Paano ihahambing ang FHE at indistinguishability obfuscation sa antas ng kasaganaan?

Parehong mas mahal pa rin kaysa sa SNARKs. Ang mga kasalukuyang implementasyon ng FHE ay nagbibigay pa rin ng malalaking artifact at maraming oras na runtime para sa mga simpleng gawain. Kahit sa ilalim ng mga pinakamaliwanag na aksiyoma, ang mga konstruksyon ng indistinguishability obfuscation ay may runtime na “galaktiko” o ilang araw sa makapal na hardware.

Disclaimer: Ang nilalaman na ito ay para sa mga layuning impormasyonal lamang at hindi nagtataglay ng abiso sa pag-invest. Ang pag-invest sa cryptocurrency ay may panganib. Mangyaring gawin ang inyong sariling pag-aaral (DYOR).

Disclaimer: AI technology ang ginamit sa pag-translate ng page na ito para sa convenience mo. Para sa pinaka-accurate na impormasyon, mag-refer sa original na English version.