📚 Důvod, proč studuji ZK #1: Strukturální změny v kompromisech Jsem BQ vývojář. @BQ_Developer V současné době jsem hluboce ponořen do ZK (Zero-Knowledge Proofs). Nejprve jsem si myslel, že je to jen jednoduchá šifrovací technika, ale jakmile jsem to pochopil, můj pohled na samotný problém se změnil. V následujících několika článcích shrnu, proč jsem začal studovat ZK, a proč má význam nad rámec pouhého technického učení. První bod se týká toho, jak ZK řeší stávající technické kompromisy. 🔍 Kompromisy existují ve všech systémech Jedním z nejčastěji slýchaných termínů při vývoji softwaru je "kompromis". - Posílení bezpečnostních → Snižuje použitelnost - Zvýšení rychlosti → zvyšuje náklady - Decentralizace → Snižuje efektivitu Zejména soukromí a ověřitelnost byly považovány za nejvýraznější kompromisy. Bylo všeobecně známo, že abyste něco dokázali, museli jste zveřejnit informace, a pokud jste informace skrývali, nešlo je ověřit. 💭 Struktura stávajících metod ověřování Způsob ověření byl jednoduchý: 1. Osoba A uplatňuje nárok 2. B požaduje důkazy 3. A ukazuje důkazy 4. B to potvrzuje V tomto procesu se B nevyhnutelně učí informace. V praxi byly tedy kompromisy vždy nezbytné: - Abyste mohli být auditováni, musíte zveřejnit své účetnictví - K prokázání kvalifikace je nutné předložit průkaz totožnosti - Pro potvrzení shody musíte sdílet interní data 🔓 Co mění ZK ZK mění strukturu ověřování. Starý: Zobrazit informace → Verifier kontroluje přímo ZK: Skrýt informace → Prokazovat pouze splnění určitých podmínek Například při hodnocení úvěrů: - Starý: Zveřejněte bankovní zůstatek ve výši 1 234 567 wonů - ZK: Dokažte pouze to, že "zůstatek je vyšší než 1 milion wonů" Může se to zdát jako malý rozdíl, ale zásadně mění podstatu verifikace. Ověřovatel může potvrdit pouze nezbytná fakta a nemůže vědět více. ✏️ Co se vlastně mění Konkrétní rozdíly způsobené touto změnou: Scénář auditu: - Před: Odeslat celou historii transakcí → Zveřejnit citlivé informace o klientovi - Po: Prokázat pouze "všechny transakce byly v souladu s předpisy" → chránit informace o klientech V blockchainu: - Před: Všechny transakce transparentně zveřejněny → Vzdát se soukromí - Po: Prokázat pouze platnost transakce → Zachovat soukromí Ověření modelu AI: - Předtím: Zveřejnění modelu → Vzdát se duševního vlastnictví - Po: Prokázat pouze "zkreslení je pod prahovou hodnotou" → Chránit model Kombinace, které byly dříve nemožné, se nyní stávají možnými. Během ověřování můžete zachovat tajemství. Tento koncept se mnou rezonuje na hlubší úrovni. Je to nová teze, která se osvobozuje od omezení "musíte si vybrat jednu ze dvou" na "obojí je možné". Interpretuji to jako vytvoření nového rovnovážného bodu někde mezi 0 a 1. Věřím, že většina technologických pokroků byla taková. Není mnoho magických řešení, která vyřeší všechny problémy najednou. Ale to, co ZK ukazuje, je možnost "změny míry kompromisu". A já věřím, že pouze ti, kteří chápou tuto možnost, mohou vytvořit další úroveň zlepšení. To je důvod, proč studuji ZK. V příštím článku budu mluvit o další změně, kterou přináší ZK. --- Vaše lajky a sdílení jsou láska 🥰 #BQDeveloper #ZK #ZeroKnowledgeProof #TurningImpossibilitiesIntoPossibilities