Ano ang Zero-Knowledge Proofs?
Ang mga zero-knowledge proofs (ZKPs) ay nagbibigay-daan sa mga gumagamit ng Crypto network na i-verify ang validity ng isang transaksyon nang hindi inilalantad ang mga detalye ng transaksyon.
:format(webp)/cloudfront-us-east-1.images.arcpublishing.com/coindesk/OXA6WS2AEZCD7M7OD5WFGRY6IM.jpg)
Nakakatulong ang mga zero-knowledge proofs upang matiyak na ang Privacy ng transaksyon ay hindi darating sa kapinsalaan ng tiwala. Magbasa para Learn kung ano ang mga zero-knowledge proof, kung paano gumagana ang mga ito, at kung bakit kailangan namin ang mga ito sa Web3.
Ito ay nilalaman ng kasosyo na nagmula sa Unchained ni Laura Shin at inilathala ng CoinDesk.
Ano ang Zero-Knowledge Proofs?
Ang Zero-Knowledge Proofs (ZKPs) ay mga protocol na tumutulong na patunayan ang validity ng mga statement sa blockchain nang hindi nag-aalok ng impormasyon na maaaring makakompromiso sa Privacy. Pinapayagan nila ang mga user na i-verify ang bisa ng isang transaksyon nang hindi inilalantad ang mga detalye ng transaksyon.
Sa Zero-Knowledge Proofs, ang prover ang may pananagutan sa pagpapatunay ng claim, at ang tungkulin ng verifier ay patunayan ito. Ang mga protocol ay nagpapakita ng on-chain na ang nakatagong impormasyon ay wasto, at alam ito ng prover nang may mataas na katiyakan.
Sa kamay ng mga malisyosong aktor, ang personal na pagkakakilanlan ng impormasyon (PII) ay maaaring magpakita ng ilang partikular na panganib, gaya ng pagnanakaw ng pagkakakilanlan, pinsala sa reputasyon, at diskriminasyon. Tinitiyak ng mga zero-knowledge proof na mananatiling protektado ang iyong PII.
Isaalang-alang ang isang senaryo kung saan dapat mong patunayan ang iyong pagkakakilanlan upang makumpleto ang isang transaksyon. Kakailanganin mong magbigay ng ebidensya tulad ng iyong lisensya sa pagmamaneho at iba pang PII.
Gayunpaman, wala kang kontrol sa kaligtasan ng impormasyong iyon kapag nasa kamay na ito ng isang third party. Maaaring i-target ng mga hacker ang central database ng third party, o maaaring ibahagi ng third party ang iyong impormasyon sa iba para sa mga target na layunin ng advertising at iba pang dahilan.
Sa mga patunay na walang kaalaman, maiiwasan mong ibahagi ang impormasyong ito at manatili sa pagpapatunay ng bisa nito.
Paano Gumagana ang Zero-Knowledge Proofs?
Gumagamit ang mga zero-knowledge proof ng mga algorithm na nagpoproseso ng data ng input at nagkukumpirma ng katotohanan nito. Ang mga proyekto tulad ng StarkNet sa Ethereum, Polygon Zero, Zk Sync, at higit pa ay kasalukuyang gumagamit ng mga protocol sa kanilang functionality.
Para gumana nang mahusay ang mga zero-knowledge proof, mayroong tatlong pamantayan na kailangan nilang matugunan:
- Zero-knowledge : Hindi ma-access ng verifier ang orihinal na input. Ang tanging impormasyon na magagamit sa kanila ay ang bisa ng pahayag.
- Kahusayan : Hindi mapapatunayan ng protocol ang di-wastong input bilang totoo. Ang protocol ay dapat may mga pananggalang upang matiyak na ang prover ay walang puwang upang manipulahin ang verifier sa pag-iisip na ang kanilang pahayag ay totoo.
- Completeness : Kung valid ang input, palaging pinapatunayan ng protocol ang statement. Tinatanggap ng protocol ang patunay kung ang parehong partido ay kumilos nang tapat at ang pinagbabatayan na impormasyon ay totoo.
Ang isang pangunahing patunay ng zero-knowledge ay binubuo ng tatlong elemento.
- Una, mayroon kaming saksi , na siyang Secret na impormasyon. Ang prover ay nagbibigay ng mga katanungan na tanging isang partido ang nakakaalam ng impormasyon ang makakaalam.
- Ang pangalawang elemento ay ang hamon , kung saan pipili ang verifier ng tanong mula sa set para sagutin ng prover.
- Ang ikatlo at huling elemento ay ang tugon , kung saan sinasagot ng prover ang tanong. Sa tugon, kinukumpirma ng verifier na maaaring ma-access ng prover ang saksi. Pagkatapos ay magpapatuloy ang verifier upang pumili ng higit pang mga tanong mula sa hanay. Nililimitahan ng maraming tanong ang posibilidad ng pekeng kaalaman ng prover sa impormasyon.
Mga Uri ng Zero-Knowledge Proofs
Mayroong dalawang uri ng zero-knowledge proofs: interactive at non-interactive.
- Ang mga interactive na zero-knowledge proofs ay nagbibigay-daan sa pabalik-balik na komunikasyon sa pagitan ng dalawang partido. Pinapayagan ng komunikasyon ang pag-verify ng validity ng pahayag sa kasiyahan ng verifier.
- Non-interactive na zero-knowledge proofs : Dito, dalawang partido ang nakikibahagi sa ONE round ng komunikasyon. Ibinahagi ng prover ang impormasyon sa isang algorithm na kumukwenta ng zero-knowledge proof. Natatanggap ng verifier ang patunay at gumagamit ng isa pang algorithm upang kumpirmahin ang kaalaman ng prover.
Dahil sa kaginhawahan ng mga hindi interactive na ZKP, maraming kasalukuyang available na protocol ang nasa ilalim ng kategoryang hindi interactive na mga ZKP. Tingnan natin ang ilan sa kanila.
- ZK-SNARKs: Kilala nang buo bilang Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, ginagawang madali ng kanilang maliit na sukat ang proseso ng pag-verify. Gumagamit ang mga protocol na ito ng mga elliptical curve upang makabuo ng cryptographic na patunay, isang proseso na itinuturing na mahusay sa Gas .
- ZK-STARKs: Kilala sila bilang Zero-Knowledge Scalable Transparent Argument of Knowledge. Mabilis ang mga ito dahil sa minimal na pakikipag-ugnayan sa pagitan ng dalawang partido.
- Mga Bulletproof: Hindi ito nangangailangan ng pinagkakatiwalaang setup. Ang maikling non-interactive na zero-knowledge proofs ay nagbibigay-daan sa mga pribadong transaksyon sa Cryptocurrency .
- PLONK: Ang mga ito ay kilala bilang Permutations over Lagrange base para sa Oecumenical Non-interactive na argumento ng Kaalaman. Pinapayagan ng mga PLONK ang isang malaking bilang ng mga kalahok sa pamamagitan ng paggamit ng isang unibersal na pinagkakatiwalaang setup.
Bakit Kailangan Namin ang Zero-Knowledge Proofs?
Ipinapaliwanag ng iba't ibang kaso ng paggamit kung bakit kailangan namin ng mga patunay na walang kaalaman. Tingnan natin ang ilan sa pinakamahalaga.
- Seguridad at Privacy: Nabigo ang pseudonymity ng Web3 na ginagarantiyahan ang kumpletong Privacy dahil available ang history ng transaksyon sa mga pampublikong blockchain. Sa mga ZKP, posible ang pag-verify ng impormasyon nang hindi inilalantad ang PII, kaya pinapanatili ang hindi pagkakilala.
- Pag-verify ng pagkakakilanlan: Ang pagpapatunay ng pagkakakilanlan ng isang tao ay hindi kailangang magsama ng pagbabahagi ng sensitibong impormasyon. Nag-aalok ang mga ZKP ng paraan upang maisagawa ang proseso ng pag-verify ng pagkakakilanlan nang pribado at secure.
- Scalability: Sa mga ZKP, maaaring i-verify ng mga blockchain network ang mga transaksyon nang hindi inilalantad ang pinagbabatayan ng data. Ang kahusayan ng network ay bumubuti dahil ang impormasyong nakaimbak sa blockchain ay makabuluhang nababawasan.
- Pagsunod: Maaaring sumunod ang mga organisasyon sa mga kinakailangan sa regulasyon tungkol sa money laundering, KYC, at iba pang nauugnay na batas. Pinapayagan ng mga ZKP ang mga organisasyon na sumunod nang hindi nag-iimbak ng personal na impormasyon ng mga user sa mga sentralisadong database.
Ang mga patunay ng zero-knowledge ay isang pangunahing tool sa cryptography na nag-aalok ng pagpapatunay ng impormasyon sa mga hindi nakikilala o hindi pinagkakatiwalaang mga partido. Ang pseudonymous na katangian ng Web3 space ay nagpapakita ng hamon sa usapin ng pagpapatunay ng impormasyon. Tinutugunan ng mga ZKP ang sakit na ito sa pamamagitan ng mga rebolusyonaryong protocol na nangangako na tiyakin ang mabilis at secure na mga transaksyon.
