Sa tinuud nga kinabuhi ug sa digital nga kalibutan, kanunay namon gusto nga pamatud-an ang mga butang sa uban. Sa dili pa mosulod sa usa ka bilding sa opisina, ang mga empleyado kasagarang maghatag usa ka matang sa ID sa dili pa mosulod.
Kung ang mga tiggamit mosulay sa pag-log in sa usa ka app sama sa Facebook o Twitter, kini nga mga serbisyo kinahanglan una nga hangyoon ang tiggamit nga mag-log in gamit ang usa ka password ug usahay usa ka higayon nga passcode (OTP) ipadala sa ilang mobile device.
Ang usa ka downside sa paghatag og pruweba mao ang kanunay nga paghatag sa ubang mga matang sa impormasyon. Ang paghatag ug password sa usa ka website nagpasabot gihapon nga ang website mismo nagtipig ug kopya sa hashed nga password sa mga server niini. Kung adunay mag-hack sa empleyado sa ID scanner sa opisina, mahimo nilang makuha ang mga pribadong yawe sa tanan.
Ang zero-knowledge proofs o ZKPs naghatag og paagi sa pag-validate sa usa ka identidad o transaksyon nga dili na kinahanglang maghatag ug dugang impormasyon. Tungod sa mga aplikasyon niini sa cryptography, ang mga ZKP gipahiangay sa mga blockchain sa paghimo sa luwas ug scalable validation protocol.
Unsa ang Zero-Knowledge Proofs?
Ang mga pruweba sa zero-knowledge unang gisugyot sa mga tigdukiduki sa MIT nga si Silvio Micali, Charles Rackoff, ug Shafi Goldwasser niadtong 1985 sa ilang papel. "Ang Kakomplikado sa Kahibalo sa Interactive Proof-Systems"
Kini nga papel nagpaila sa konsepto sa pagkakomplikado sa kahibalo. Kini nagtumong sa gidaghanon sa kahibalo mahitungod sa usa ka pruweba nga gibalhin gikan sa prover ngadto sa verifier. Ang mga pruweba sa zero-knowledge nagtumong sa pagtugot sa usa ka partido nga pamatud-an nga ang usa ka piho nga pahayag tinuod sa laing partido nga dili kinahanglan nga ibutyag ang bisan unsang ubang impormasyon.
Ang mga ZKP mahimong gamiton isip luwas nga alternatibo sa kasamtangang mga sistema sa pag-authenticate ug mahimo usab nga idugang sa mga protocol sa blockchain aron mapabilin nga pribado ang mga transaksyon.
Giunsa Pagtrabaho ang mga ZKP?
Tinuod-Kalibutan nga Ehemplo
Aron mailustrar kung giunsa pagtrabaho ang mga pruweba sa zero-knowledge, atong tan-awon ang usa ka abstract nga pananglitan sa usa ka ZKP.
Ingnon ta nga duna kay higala nga red-green colorblind. Naa kay duha ka parehas nga bola nga lahi ra sa kolor: usa nga pula, ug usa nga berde. Para sa imong higala, pareha silag tan-awon, pero isip usa ka tawo nga walay colorblindness, dali ra nimo silang mailhan.
Posible ba nga mapamatud-an nimo sa imong higala nga lahi sila nga kolor nga wala ipadayag kung unsang bola ang pula o berde?
Adunay, sa tinuud, usa ka paagi aron mapamatud-an kini nga wala ipadayag ang mga kolor sa mga bola. Una, kinahanglan nimong tugotan ang imong higala nga ibutang ang duha ka bola sa iyang likod ug sultihan siya nga ipakita ang bisan unsang bola ug itago kini pag-usab. Sunod, sultihan nimo ang imong higala nga siya adunay kapilian nga ipakita pag-usab ang parehas nga bola o ibalhin kini sa lain.
Matag higayon nga adunay usa ka bag-ong bola nga gipakita, mahimo nimong isulti kaniya kung gibalhin ba niya ang bola o wala. Kon magpadayon ka sa pagtag-an sa husto nga tawag, kini mahimong mas ug mas lagmit nga ang mga bola lain-laing mga kolor. Ang imong higala kinahanglan nga makumbinser na nga ang mga bola lainlain ang kolor nga dili kinahanglan nga isulti kaniya kung unsang mga bola ang adunay kolor.
Praktikal nga mga Aplikasyon
Kadaghanan sa praktikal nga mga pananglitan sa zero-knowledge nga mga pruweba nahulog sa duha ka matang.
Una, ang mga ZKP mahimong magamit sa pagdesinyo sa mga protocol. Atong masiguro nga ang lain-laing mga partido dili makalimbong o makapahimulos sa protocol. Ikaduha, ang mga ZKP mahimong gamiton para sa pag-ila.
Pananglitan, mahimo natong gamiton ang mga ZKP aron maka-log in sa usa ka web application nga luwas nga dili kinahanglan nga ibutyag ang password mismo.
Atong tan-awon ang pipila ka mga pananglitan kung giunsa naton magamit ang mga pruweba sa zero-knowledge.
E-Pagboto
Usa ka sagad nga gihisgutan nga aplikasyon sa mga ZKP mao ang ilang posible nga papel sa online nga pagboto. Ingnon ta nga kita adunay umaabot nga reperendum diin ang mga tiggamit makabotar sa usa ka gisugyot nga palisiya. Ang matag angayan nga botante gitugotan sa pagbotar bisan 1 o 0 sa balota.
Gamit ang mga ZKP, mapamatud-an sa mga botante ang ilang katungod sa pagboto nga dili ibutyag ang ilang pagkatawo. Kini nagsiguro nga ang matag boto mahimong tinuod nga dili mailhan. Gamiton usab ang dugang nga ZKP aron pamatud-an nga ang boto sa usa ka partikular nga user kabahin sa katapusang tally sa mga boto.
Mahitungod sa mga sulod mismo sa mga balota, ang sistema sa pagboto mahimo usab nga makamugna og zero-knowledge nga pruweba nga ang matag balota adunay 1 o 0. Kini matuman nga dili kinahanglan nga mahibal-an ang sulod sa balota mismo.
Pagkapribado sa Blockchain
Ang mga blockchain sama sa Bitcoin ug Ethereum dili lumad nga nagsuporta sa pribadong mga transaksyon. Hangtud nga publiko ang imong pitaka sa Bitcoin, bisan kinsa mahimong moadto sa usa ka block explorer sama sa Blockstream aron makita ang tanan nga mga transaksyon nga bahin ang pitaka.
Samtang, ang paggamit sa usa ka serbisyo sama sa usa ka bangko o mga serbisyo sa pagbayad sama sa Cash App o Venmo naghatag kanimo ug katakus sa pag-transaksyon nga pribado. Kini nga kasayon, bisan pa, moabut sa gasto sa pagpadayag sa imong kasayuran sa sentralisadong serbisyo.
Mahimo natong ikombinar ang anonymity uban ang desentralisasyon pinaagi sa pagdugang sa mga ZKP sa blockchain protocol. Ang mga Cryptocurrencies sama sa ZCash naggamit sa mga ZKP aron makamugna og mga pribadong transaksyon nga nagtugot sa mga naghupot sa sensilyo sa pagpadayon sa ilang pagka-anonymity. Daghan niini nga mga cryptocurrencies naggamit sa usa ka matang sa ZKP nga nailhan nga zk-SNARK.
Kini nga mga ZKP wala magkinahanglan og interaksyon tali sa prover ug sa verifier.
Zero-Knowledge Rollups
Ang ZK-rollups usa ka solusyon sa scalability nga nagtugot sa mga off-chain nga transaksyon nga mapamatud-an dayon ug adunay gamay nga bayad sa gas. Kini usa ka paagi sa paghiusa sa daghang mga transaksyon sa Layer 2 ug isumite kini sa Layer 1 protocol.
Gawas sa paghatag og pribasiya, gitugotan sa mga ZKP ang pag-scale sa mga komplikadong sistema. Ang mga protocol sa Blockchain mahimong mogamit sa mga ZKP aron pamatud-an nga ang mga tiggamit nakahusay sa husto nga mga transaksyon, adunay angay nga balanse, ug uban pa. Kining mga luwas apan scalable nga mga solusyon posible lamang pinaagi sa matematikal nga mga pruweba nga gihimo sa gawas sa kadena sa mga ZKP.
Ang mga protocol sama sa Loopring naggamit sa zero-knowledge proofs aron makatabang sa pagproseso sa mga off-chain nga mga transaksyon nga dili kinahanglan nga ikompromiso ang seguridad.
Mga Kaayohan sa Zero-Knowledge Proofs
- Gipulihan sa mga ZKP ang dili kaayo kasaligan nga mga porma sa pag-authenticate sama sa mga PIN o mga kard sa pagkilala
- Ang ZKPS nagdugang sa scalability sa mga blockchain
- Ang pagpatuman sa ZKP nanginahanglan yano nga mga pamaagi sa pag-encrypt
- Ang paggamit sa ZKPS makahimo sa mga sistema nga mas luwas pinaagi sa dili pagkinahanglan sa wala kinahanglana nga impormasyon nga tipigan sa sistema.
Panapos
Ang pagkapribado sa datos usa na ka dakong isyu sa sentralisado ug desentralisadong sistema. Ang mga pruweba sa zero-knowledge naghatag usa ka paagi alang sa lainlaing mga partido nga pamatud-an o balido ang mga transaksyon ug mga identidad nga dili kinahanglan nga ibutyag ang giingon nga mga transaksyon o identidad.
Samtang ang teknolohiya sa blockchain mas kaylap nga gigamit, ang pagsagop sa mga ZKP aron luwas ang pagdumala sa pag-verify mahimong yawe sa mga kabalaka sa scalability.
Leave sa usa ka Reply