📚 Syy, miksi opiskelen ZK #1:tä: Rakenteelliset muutokset kompromisseissa Olen BQ-kehittäjä. @BQ_Developer Nykyään olen syvästi uppoutunut ZK:hon (Zero-Knowledge Proofs). Aluksi ajattelin, että se oli vain yksinkertainen salaustekniikka, mutta kun ymmärsin sen, näkökulmani itse ongelmaan muuttui. Seuraavissa artikkeleissa teen yhteenvedon siitä, miksi aloin opiskella ZK:ta, ja miksi sillä on merkitystä teknisen oppimisen lisäksi. Ensimmäinen kohta koskee sitä, miten ZK ratkaisee olemassa olevat tekniset kompromissit. 🔍 Kompromisseja on kaikissa järjestelmissä Yksi ohjelmistokehityksen yleisimmin kuulluista termeistä on "kompromissi". - Tietoturvan vahvistaminen → Käytettävyyden heikkeneminen - Nopeuden lisääminen → nostaa kustannuksia - Hajauttaminen → Vähentää tehokkuutta Erityisesti yksityisyyttä ja todennettavuutta on pidetty selkeimpinä kompromisseina. Oli yleisesti tiedossa, että jonkin todistamiseksi oli paljastettava tietoa, ja jos piilotti tietoja, sitä ei voitu vahvistaa. 💭 Nykyisten varmennusmenetelmien rakenne Todentaminen toimi yksinkertaisesti: 1. A esittää vaatimuksen 2. B pyytää todisteita 3. A näyttää todisteet 4. B vahvistaa sen Tässä prosessissa B oppii väistämättä tietoa. Käytännössä kompromissit olivat siis aina välttämättömiä: - Auditointia varten sinun on luovutettava kirjanpitosi - Pätevyyden todistamiseksi sinun on esitettävä henkilöllisyystodistus - Vaatimustenmukaisuuden varmistamiseksi sinun on jaettava sisäiset tiedot 🔓 Mitä ZK muuttaa ZK muuttaa todentamisen rakennetta. Vanha: Näytä tiedot → Verifier-tarkistukset suoraan ZK: Piilota tiedot → Todista vain, että tietyt ehdot täyttyvät Esimerkiksi lainojen arvioinnissa: - Vanha: Ilmoita pankkisaldo 1 234 567 wonia - ZK: Todista vain "saldo on yli miljoona wonia" Se saattaa tuntua pieneltä erolta, mutta se muuttaa perusteellisesti todentamisen olemuksen. Todentaja voi vain vahvistaa tarvittavat tosiasiat eikä voi tietää sen enempää. ✏️ Mikä oikeastaan muuttuu Tämän muutoksen aiheuttamat erityiset erot: Tarkastusskenaario: - Ennen: Koko tapahtumahistorian lähettäminen → arkaluonteisten asiakastietojen paljastaminen - Jälkeen: Todista vain, että "kaikki tapahtumat olivat säännösten mukaisia" → Suojaa asiakastiedot Lohkoketjussa: - Ennen: Kaikki tapahtumat julkistetaan läpinäkyvästi → Luovu yksityisyydestä - Jälkeen: Todista vain tapahtuman oikeellisuus → Säilytä yksityisyys Tekoälymallin todentaminen: - Ennen: Paljasta malli → Luovu immateriaalioikeuksista - Jälkeen: Todista vain "harha on kynnyksen alapuolella" → Suojaa malli Yhdistelmät, jotka olivat aiemmin mahdottomia, ovat nyt mahdollisia. Voit säilyttää salassapidon varmennuksen aikana. Tämä käsite resonoi minussa syvemmällä tasolla. Se on uusi ehdotus, joka irtautuu rajoitteesta "on valittava jompikumpi kahdesta" ja "molemmat ovat mahdollisia". Tulkitsen tämän uuden tasapainopisteen luomiseksi jonnekin 0:n ja 1:n välille. Uskon, että useimmat teknologiset edistysaskeleet ovat olleet tällaisia. Ei ole monia maagisia ratkaisuja, jotka ratkaisevat kaikki ongelmat kerralla. Mutta ZK osoittaa mahdollisuuden "muuttaa kompromissin astetta". Ja uskon, että vain ne, jotka ymmärtävät tämän mahdollisuuden, voivat luoda seuraavan tason parannuksia. Siksi opiskelen ZK:ta. Seuraavassa artikkelissa puhun toisesta ZK:n tuomasta muutoksesta. --- Tykkäyksesi ja jakautesi ovat rakkautta 🥰 #BQDeveloper #ZK #ZeroKnowledgeProof #TurningImpossibilitiesIntoPossibilities