20.500.12556/RUL-187391 Sistem za anonimno preverjanje starosti z uporabo dokazov brez razkritja A System for Anonymous Age Verification Using Zero-Knowledge Proofs Digitalne storitve za dostop do vsebin, neprimernih za mladoletne osebe, vse pogosteje zahtevajo preverjanje starosti uporabnikov. Obstoječe rešitve, kot so samoizjave, biometrično ocenjevanje in nalaganje slik osebnih dokumentov, so bodisi trivialno zaobidljive bodisi izpostavljajo uporabnike tveganju zlorabe osebnih podatkov. V diplomskem delu smo zato zasnovali in implementirali sistem za anonimno preverjanje starosti, ki temelji na dokazih brez razkritja (zk-SNARK, sistem Groth16). Sistem sestoji iz izdajatelja preverljivih poverilnic, denarnice v obliki razširitve za brskalnik Firefox in preverljivca v obliki spletne strani. Za zgoščevanje podatkov in podpisovanje smo uporabili kriptografske gradnike, prilagojene za delo znotraj vezij Circom (funkcijo Poseidon in krivuljo Baby JubJub). Naše vezje AgeCheckV2 vsebuje 4480 omejitev, generacija dokaza v povprečju traja 418 ms, njegovo preverjanje pa 1022 ms. Analiza je pokazala, da preverljivec iz dokaza ne more razbrati ničesar razen izpolnjenosti pogoja, kar sistem loči od obstoječih pristopov, kot je selektivno razkrivanje. Sistem trenutno ne rešuje preklica poverilnic in temelji na simulirani zaupanja vredni namestitvi, kar sta glavni oviri pred morebitno produkcijsko uporabo. Digital services offering content unsuitable for minors increasingly require user age verification. Existing solutions, such as self-attestation, biometric estimation, and document upload, are either trivially bypassable or expose users to the risk of personal data misuse. In this thesis, we therefore designed and implemented a system for anonymous age verification, based on zero-knowledge proofs (zk-SNARK, the Groth16 system). The system consists of a verifiable credential issuer, a wallet implemented as a Firefox browser extension, and a verifier in the form of a website. For hashing and signing, we used cryptographic primitives adapted for use within Circom circuits – the Poseidon hash function and the Baby JubJub curve. Our AgeCheckV2 circuit contains 4480 constraints; proof generation takes 418 ms on average, while verification takes 1022 ms. The analysis showed that the verifier cannot infer anything from the proof beyond whether the condition is satisfied, distinguishing the system from existing approaches such as selective disclosure. The system currently does not address credential revocation and relies on a simulated trusted setup, which remain the main obstacles to potential production use. dokazi brez razkritja zk-SNARK preverljive poverilnice preverjanje starosti digitalna identiteta zero-knowledge proofs zk-SNARK verifiable credentials age verification digital identity true false false Slovenski jezik Angleški jezik Diplomsko delo/naloga 2026-09-10 16:00:27 2026-09-10 16:00:35 2026-09-24 11:31:51 0000-00-00 00:00:00 2026 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 38790 292346883 Kosir_Lej_edvard_-_Sistem_za_anonimno_preverjanje_starosti_z_uporabo_dokazov_brez_razkritja.pdf Kosir_Lej_edvard_-_Sistem_za_anonimno_preverjanje_starosti_z_uporabo_dokazov_brez_razkritja.pdf 1 DD8D0F50AABB46EADB44E9FFCAD8880F 0d7641b9414bb53041ea2efdaacc82609c5b73304b01e8e61a76ab7568af79c3 f82db0d3-ad1f-11f1-8bc5-0050569b8976 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=247018 Fakulteta za računalništvo in informatiko 0 0 0