Javni blockchaini poput Ethereuma imaju fundamentalan paradoks: transparentnost je njihova prednost i nedostatak istovremeno. Sve transakcije su vidljive svima, što je odlično za reviziju, ali problematično za privatnost. Zero Knowledge Proofs (ZKP) rješavaju ovaj problem na elegantan matematički način.

Što su Zero Knowledge Proofs?

Zero Knowledge Proof je kriptografski protokol koji omogućuje jednoj strani (prover) da dokaže drugoj strani (verifier) da neka tvrdnja istinita — bez otkrivanja ikakvih dodatnih informacija osim same istinitosti tvrdnje.

Klasični primjer: Zamislite da želite dokazati da znate lozinku za sef, ali ne želite reći lozinku. ZKP vam to omogućuje matematički — verifier je siguran da znate lozinku, ali ne zna koja je.

Primjene u blockchainu

ZK-Rollups (Skalabilnost)

ZK-rollups poput zkSync, StarkNet i Polygon zkEVM koriste ZKP za komprimiranje tisuća transakcija u jedan dokaz koji se verificira na Ethereum mainnetu. Rezultat: transakcije su brže i jeftinije, a sigurnost ostaje na razini Ethereuma.

Privatne transakcije

Protokoli poput Aztec mreže koriste ZKP za privatne transakcije na Ethereumu. Možete slati tokene, interagirati s DeFi protokolima i obavljati financijske operacije bez da itko vidi detalje vaših transakcija.

Digitalni identitet

ZKP omogućuju selektivno otkrivanje informacija. Primjer: Možete dokazati da ste stariji od 18 godina bez otkrivanja datuma rođenja. Ili dokazati da je vaš kreditni rejting iznad određenog praga bez otkrivanja točnog iznosa.

Tipovi ZK-Proofs

  • zk-SNARKs: Succinct Non-interactive Arguments of Knowledge. Mali dokazi, brza verifikacija, ali zahtijevaju "trusted setup".
  • zk-STARKs: Scalable Transparent Arguments of Knowledge. Veći dokazi, ali bez trusted setupa i otporni na kvantne računala.
  • PLONK: Univerzalni setup koji se može koristiti za različite programe. Koristi ga Polygon zkEVM.

Razvoj ZKP aplikacija

Razvojni alati za ZKP brzo sazrijevaju. Circom (za zk-SNARK-e), Cairo (za StarkNet), Noir (od Azteca) i Halo2 (od Zcasha) čine razvoj ZKP aplikacija sve pristupačnijim. U web3.hr timu, aktivno istražujemo i implementiramo ZKP rješenja za klijente koji trebaju privatnost bez kompromisa.

Budućnost

ZK-proofs su jedna od najvažnijih tehnologija u blockchain prostoru. Vitalik Buterin ih je nazvao "jednom od najvažnijih tehnologija sljedećeg desetljeća". Očekujemo da će do 2027. većina ozbiljnih blockchain aplikacija koristiti neki oblik ZKP-a.