ZK-SNARK vs ZK-STARK
Dve vrste zero-knowledge proof sistema — razlike u sigurnosti i efikasnosti.
Zero-knowledge proof sistemi omogućavaju dokazivanje tvrdnje bez otkrivanja informacija — dve dominantne implementacije su ZK-SNARK i ZK-STARK.
ZK-SNARK (Succinct Non-interactive ARgument of Knowledge):
•Kratak proof size (< 1KB)
•Brza verifikacija
•Zahteva trusted setup (potencijalni backdoor)
•Groth16 najčešće korišćen SNARK
Gde se koristi:
•Zcash — privatne transakcije
•zkSync Era
•Polygon Hermez
•Tornado Cash (mikser)
ZK-STARK (Scalable Transparent ARgument of Knowledge):
•Nema trusted setup (transparentna kriptografija)
•Quantum resistant (post-quantum sigurnost)
•Veći proof size od SNARK
•Brži za generisanje (proving)
Gde se koristi:
•StarkEx / Starknet
•dYdX v3 (StarkEx)
•ImmutableX (NFT gaming)
Plonk i Recursive proofs:
•PLONK — novi SNARK standard bez per-circuit trusted setup
•Recursive proof: proof koji verifikuje drugi proof
•Omogućava: batching tisuća transakcija u jedan proof
Praktična primena:
•L2 rollup verifikacija na L1
•Privacy coins
•Identity proof (zkKYC)
•Machine learning inference proof
Trend:
•"ZK everything" — sve više primena izvan finansija
•EVM equivalent ZK (Polygon, zkSync, Scroll)
•Proof generation hardware (FPGA/ASIC za ZK)
Spreman da počneš?
Affiliate linkovi · Besplatna registracija