A16z Crypto nag-update sa Jolt zkVM, hinamon ang maluwag na paggamit ng ‘ZK’ na label

Ang A16z Crypto, ang web3 na sangay ng pangunahing venture capital firm na Andreessen Horowitz, ay tumutok sa kolokyal na paggamit ng “ZK” sa ilang developer setups sa isang kamakailang blog post tungkol sa Jolt zkVM nito. 

“Karamihan sa mga zkVM ay hindi talaga zero knowledge — maliban na lang kung may inilapat na magastos na ‘wrapping’ na proseso,” ayon sa blog. “Ang wrapping na ito ay karaniwang may kasamang recursive na pagpapatunay ng zkVM proof verification sa loob ng isa pang proof system na

Napansin din ng mga awtor na kadalasan, ang “zk” ay naging uri na lamang ng daglat para sa “ang katangian ng pagiging maikli,” na ang ibig sabihin ay mga proof na “maiksi at mabilis beripikahin,” at hindi nangangahulugang tunay na zero-knowledge privacy. 

“Habang dumarami ang pokus ng komunidad sa privacy — na nangangailangan ng tunay na zero knowledge na tumutukoy sa privacy ng sensitibong datos ng prover — nagiging totoong problema ang maling paggamit ng terminolohiya,” dagdag pa ng a16z. 

Ano ang ZK proofs?

Ang ZK proofs ay isang cryptographic na teknik na nagpapahintulot sa isang partido (prover) na kumbinsihin ang isa pang partido (verifier) na isang pahayag ay totoo nang hindi isiniwalat ang anumang iba pang impormasyon maliban sa katotohanang ito ay tama.

Unang binuo sa loob ng akademya, ang unang malakihang komersyal na aplikasyon ng ZK proofs ay maaaring masabing nagsimula sa industriya ng crypto, lalo na sa paglulunsad ng Zcash, na gumamit ng uri ng maikling proof na tinatawag na zk-SNARKs upang magbigay ng onchain privacy sa pamamagitan ng pagtatago ng transaction data.  

Gayunpaman, mula noon ay inilapat na ang zero-knowledge cryptography sa iba’t ibang makabagong use case sa blockchain, partikular bilang scaling solution para sa Ethereum Layer 2 blockchains at iba pang zk-Rollups. 

Ang privacy mismo ay muling naging mahalagang usapin sa mga crypto developer at investor, na nagsasabing ang pagiging transparent ng karamihan sa mga blockchain ngayon ay maglilimita ng adoption, lalo na sa mga institusyon.

Ayon nga kay Digital Currency Group CEO Barry Silbert, inaasahan niyang magkakaroon ng malaking daloy ng pananalapi patungo sa mga privacy chains. 

Solusyon ng Jolt

Sa bahagi nito, inilunsad ng open-source Jolt zkVM ng a16z ang isang mahalagang bagong update upang native na suportahan ang zero-knowledge proofs nitong Martes.

Ang tinatawag na Zero-Knowledge Virtual Machines ay ginagamit upang patakbuhin ang mga programa at bumuo ng proof na ilang bahagi ng code ang naisagawa nang hindi ibinubunyag ang kanilang mga input.

Gaya ng mga application na nabanggit sa blog, unang ginamit ng Jolt ang ZK proofs para sa pagiging maikli at hindi para sa ganap na privacy, isang isyung tinugunan ng mga developer sa pamamagitan ng paggamit ng folding scheme na “nagmula pa noong dekada 90.”

Partikular, ginamit ng Jolt ang NovaBlindFold folding scheme upang lumikha ng blinded proofs na pumipigil sa leak ng impormasyon, “ginagawang angkop ito para sa privacy applications.”

“Ang kalalabasan ay isang ZK proof na halos 3 KB lang ang laki kaysa orihinal na non-ZK Jolt proof,” ayon sa blog.