Ang Problema ng Saradong Envelope: Pag-verify nang Walang Pagpapakita Ang Problema ng Byzantine Generals ay tumatanong kung paano makakapag-isa ang mga tao na hindi makakatiwala sa isa’t isa sa isang bukas na kasaysayan: Paano tayo makakarating sa pagkakasundo nang walang tiwala? Katabi nito ay isang kaparehong, kabaligtarang dilema: Paano makapagpapatupad ng mga patakaran ng isang transaksyon ang isang hindi tiwalaan na network kung ang lahat ng miyembro nito ay hindi pinapahintulutan na makita ito? Ito ang Problema ng Saradong Envelope—ang konseptuwal na paradoksong nalutas ng zero-knowledge money. Dalawang Dimensyon ng Distributed Trust Ang Bitcoin at Zcash ay nagtataglay ng dalawang hiwalay na layer ng distributed systems: * Ang Problema ng Byzantine Generals ay nagpapamahala sa pagkakasunod-sunod: Paano magkakasundo ang mga node na hindi tiwalaan kung aling mga transaksyon ang nangyari, at sa anong pagkakasunod-sunod? * Ang Problema ng Saradong Envelope ay nagpapamahala sa pagkakatotoo: Paano nila i-verify ang mga node na ang isang nakatagong transaksyon ay legal, solbente, at hindi inflasyonaryo nang walang pag-inspect sa nilalaman nito? Nalutas ng Bitcoin ang open consensus sa pamamagitan ng paggawa ng buong kasaysayan nito na transparent. Bawat node ay nag-audits nang hiwalay: pinaglalayanan ang mga output, kinokompyuta ang mga publikong balanse, at sinusuri ang mga signature. Nagtatrabaho ang Bitcoin dahil bawat miyembro ay bumabasa sa parehong pahina: * Bitcoin: Paano tayo makakasundo sa isang bukas na ledger na maaaring i-audit ng lahat? $BTC * Zcash: Paano natin i-prove na balanse ang ledger kung ang mga entry nito ay nakatago? Ang consensus ay nagpapasiya kung aling envelope ang unang dumating; ang Problema ng Saradong Envelope ay tumatanong kung paano ipapatotohan ng isang mapanlinlang na grupo na hindi ito counterfeit. $ZEC Ang Bazaar ng Samarkand Isipin ang isang sinaunang krusada sa Silk Road Mga merchant mula sa mga kaaway na imperyo ay nagkikita ilalim ng mga arkong takip: mga Sogdian na manggagawa ng silk, mga Persian na manggagawa ng pera, at mga manlalakbay mula sa Venice. Walang karaniwang soberano, naglalayong magkakaibang wika, at mayroong mutual na pagdududa. Dalawang nakapalupit na estranhero ay nagkikita sa gitna ng plasa. Sa bukas na paningin ng sambayanan at ng mga alagad ng lungsod, ibinigay ng isa sa isa ang isang saradong siraan. Walang sinoman ang pinapahintulutan na buksan ito. Walang sinoman ang pinapahintulutan na malaman kung sino ang nagpadala, sino ang natanggap, aling dating coin ito ay kumakatawan, o ang kanyang denominasyon. Walang tiwalaan na grand vizier o imperial assayer na tahimik na sinusuri ang nilalaman. Gayunpaman, kailangan ng mapanlinlang na sambayanan na matematikal na magkaroon ng kakayahang tanggihan ang palitan kung: * Ang coin sa loob ay hindi umiiral. * Ang sender ay walang wastong karapatan na gastusin ito. * Ang coin ay nagsagawa na sa ibang caravanserai kahapon. * Ang pag-transfer ay nagpapalaki ng suplay ng pera sa pamamagitan ng pagbuo ng bagong coin mula sa hangin. Ang siraan ay nananatiling hindi nasira. Ang nilalaman ay nananatiling nakatago. Gayunpaman, bawat merchant sa bazaar ay nag-iisa pang i-verify na sumunod sa mga batas ng pera ng rehiyon. Sa kasaysayan, ang pisikal na kalakalan ay nagkakaisa sa dalawang magkakaibang katangian: kaalaman tungkol sa transaksyon & kaalaman na tama ang transaksyon. Ang karaniwang audit ay nakakakuha ng pangalawa sa pamamagitan ng pagkuha ng una: binabalewala mo ang ginto, binibilang mo ang mga coin, inaudits mo ang pribadong libro ng merchant, o naniniwala ka sa isang imperial mint na gumawa nito. Ang zero-knowledge cryptography ay naghihiwalay sa ugnayang ito. Ang verifier ay hindi kailangan ng mga pundamental na katotohanan. Kailangan lamang nito ng isang maikling matematikal na patotoo na ang mga nakatagong katotohanan ay sumusunod sa mga limitasyon ng protokolo. Pagkakasundo at Pagpapakita Ang pangalan ay naglalarawan sa limitasyon kaysa sa teknolohiya. Ang karaniwang encryption ay nagtatago lamang ng mensahe, ginagawa itong opaque para sa pag-verify. Mas mahirap ang monetary na problema ay pahintulutan ang isang hindi tiwalaan, mapanlinlang na grupo na i-audit ang nakatagong estado. Ang dalawang pundamental na haligi ng decentralized currency ay nakaayos side by side: * Byzantine Generals: Pagkakasundo nang walang tiwala. * Saradong Envelope: Pag-verify nang walang pagpapakita. Ang Byzantine fault tolerance ay nagbibigay ng immutable public timeline, habang ang zero-knowledge proofs ay pinapatupad ang pribadong pagkakatotoo. Napatotohanan ng Bitcoin na maaaring magpanatili ng monetary history ang mga estranhero nang walang pagtitiwala sa sentral na awtoridad. Napatotohanan ng Zcash na maaaring ipatupad nito ang monetary conservation nang hindi hingin na gawing publikong ari-arian ang bawat pribadong buhay. Nagturo ang Bitcoin sa bazaar kung paano magkakasundo sa isang bukas na libro. Napatotohanan ng Zcash na balanse ang libro nang hindi binubuksan ang mga pahina.