# Kako tehnički radi glasanje javnosti

Ovaj dokument korak po korak opisuje što se događa od trenutka kad netko otvori stranicu maksimir.domovina.ai/glasanje do trenutka kad bilo tko, bez povjerenja u nas, može provjeriti da nitko nije promijenio nijedan glas.

Glasanje je neslužbeno i nema utjecaja na odluku ocjenjivačkog suda. Pravila su jednostavna:

glasati može svaka osoba koja se prijavi eOsobnom ili Certilia mobile.ID-jem;
jedna osoba ima jedan glas od 100 bodova koje raspoređuje po 88 natječajnih radova kako želi (svih 100 jednom radu ili npr. 50/30/20);
listić se smije mijenjati ili povući do 31. 12. 2027. u 23:59 (po zagrebačkom vremenu), a broji se zadnja verzija;
rezultati su javni uživo;
svoj glas glasač može podijeliti javno (s imenom iz eOsobne) ili anonimno (sa ZK dokazom).

Sve u fazi 1 radi offchain: bez pametnih ugovora i bez novčanika, ali s istim kriptografskim alatima koji se koriste i na blockchainu (SHA-256 lanci, OpenTimestamps u Bitcoinu, Semaphore ZK dokazi). Što bi u sljedećim fazama trebalo preseliti na blockchain opisano je u poglavlju Sljedeće faze.

# Sadržaj

# 1. Pregled sustava

Sustav ima sedam dijelova. Nijedan od njih ne treba tajni ključ koji bi bio u pregledniku ni u javnom repozitoriju. Jedina tajna u pregledniku je glasačev vlastiti ZK ključ, koji nikad ne izlazi iz njega.

flowchart LR
  subgraph K["Glasač"]
    B["Preglednik<br/>maksimir.domovina.ai"]
    ZK["Semaphore u pregledniku<br/>ZK ključ + Groth16 dokaz"]
  end

  subgraph P["Cloudflare Pages"]
    PF["Worker /g/id<br/>OG kartica za dijeljenje"]
  end

  subgraph S["PSE (javna ceremonija)"]
    ART["snark-artifacts.pse.dev<br/>.wasm + .zkey"]
  end

  subgraph C["Certilia (AKD)"]
    IDP["idp.certilia.com<br/>eOsobna / mobile.ID"]
  end

  subgraph D["domovina.ai poslužitelji"]
    PX["Certilia proxy<br/>certilia.domovina.ai<br/>(čuva client secret, PKCE)"]
    EF["Edge funkcija certilia<br/>(provjera id_tokena)"]
    DB[("Postgres<br/>api.domovina.ai<br/>tablice maksimir_*")]
  end

  subgraph G["GitHub (javno)"]
    GA["GitHub Action<br/>svaki sat"]
    REPO["glasanje/checkpoints/<br/>snapshotovi + .ots"]
  end

  subgraph O["Javni sidreni sloj"]
    OTS["OpenTimestamps<br/>kalendari"]
    BTC["Bitcoin<br/>blockchain"]
  end

  B -- "1. prijava" --> PX
  PX <--> IDP
  B -- "2. id_token" --> EF
  EF --> DB
  B -- "3. listić (RPC)" --> DB
  GA -- "4. maksimir_snapshot()" --> DB
  GA -- "5. ots stamp" --> OTS
  OTS -- "sidrenje" --> BTC
  GA -- "commit" --> REPO
  B -. "čita index.json" .-> REPO
  B --- ZK
  ZK -. "parametri kruga" .-> ART
  ZK -- "6. commitment, dokaz" --> DB
  PF -- "maksimir_share()" --> DB

Dio	Uloga
Preglednik	Prikazuje radove, drži nacrt listića u `localStorage` dok se ne preda, zove RPC-eve baze. Izrađuje i provjerava ZK dokaze.
Certilia proxy	Posreduje u OIDC prijavi prema Certiliji. Jedini zna client secret.
Edge funkcija `certilia`	Provjerava potpis `id_tokena`, pretvara identitet u sesiju u bazi.
Postgres	Čuva glasače, listiće i lanac hasheva. Sva pravila glasanja provode se u bazi, ne u pregledniku.
GitHub Action	Svaki sat uzima snapshot stanja (lanac listića i ZK grupa) i žigoše ga u Bitcoinu preko OpenTimestampsa.
Worker, put `/g/<id>`	Za poveznice za dijeljenje daje društvenim mrežama naslov, opis i sliku, a posjetitelja preusmjerava na objavu.
PSE artefakti	Parametri Semaphore kruga iz javne ceremonije (trusted setup). Preglednik ih preuzima samo pri izradi dokaza (oko 2 MB).

# Kriptografski algoritmi na jednom mjestu

Algoritam	Gdje	Čemu služi
Provjera potpisa JWT-a (JWKS, biblioteka `jose`)	edge funkcija `certilia`	Certilijin `id_token` je stvaran; provjeravaju se i `iss` i `aud`
HMAC-SHA256	`oib_hash`, e-mail računa bez pravog e-maila	jedna osoba = jedan račun, bez čuvanja OIB-a u čitljivom obliku
`pgp_sym_encrypt` (pgcrypto, simetrična enkripcija)	`identity_verifications.oib_ciphertext`	OIB je šifriran; ključ je samo u edge funkciji
SHA-256	pseudonim glasača, lanac listića, zapisnik ZK grupe	pseudonim ne otkriva osobu; svaki red lanca veže se na prethodni
OpenTimestamps → Bitcoin	satni snapshot	dokaz da je stanje postojalo najkasnije u trenutku Bitcoin bloka
EdDSA na krivulji Baby Jubjub	Semaphore identitet u pregledniku	glasačev tajni ZK ključ
Poseidon hash	commitment, nullifier, Merkleovo stablo	hash prilagođen ZK krugovima
LeanIMT (Merkleovo stablo)	ZK grupa	korijen stabla sažima sve članove; dokaz članstva ne otkriva koji je list
Groth16 nad BN254	Semaphore dokaz	ZK dokaz „jedan sam od N” koji se provjerava za nekoliko milisekundi

# Korak 1: prijava eOsobnom

Prijava se odvija u skočnom prozoru. Stranica ne čeka da se prozor zatvori, nego svake dvije sekunde pita proxy je li prijava gotova (polling). Razlog je taj što Certilijin tok zna presjeći vezu između prozora (COOP), pa bi stranica pogrešno zaključila da je korisnik odustao.

sequenceDiagram
  autonumber
  actor U as Glasač
  participant W as Preglednik
  participant P as Certilia proxy
  participant I as idp.certilia.com

  U->>W: klik na „Prijavi se eOsobnom”
  W->>W: odmah otvori prazan skočni prozor
  Note over W: Prozor mora nastati prije prvog await-a,<br/>inače ga preglednik blokira.
  W->>P: GET /api/auth/initialize
  P-->>W: authorization_url, state, session_id
  W->>P: POST /api/auth/polling/start
  P-->>W: polling_id
  W->>I: skočni prozor otvara authorization_url
  U->>I: eOsobna (čitač kartice) ili mobile.ID
  I->>P: preusmjeravanje na /api/auth/callback s kodom
  loop svake 2 s, najviše 5 minuta
    W->>P: GET /api/auth/polling/{id}/status
    P-->>W: pending ili completed + code
  end
  W->>P: POST /api/auth/exchange (code, state, session_id)
  P->>I: zamjena koda za tokene (client secret + PKCE)
  I-->>P: id_token
  P-->>W: id_token
  W->>W: zatvori skočni prozor

Na kraju ovog koraka preglednik ima Certilijin id_token: potpisani JWT koji potvrđuje identitet osobe. U njemu je OIB (kao sub).

# Korak 2: od identiteta do glasača

Preglednik šalje id_token edge funkciji. Funkcija ne vjeruje pregledniku: sama provjerava potpis tokena prema Certilijinim javnim ključevima (JWKS), izdavatelja (iss) i primatelja (aud).

sequenceDiagram
  autonumber
  participant W as Preglednik
  participant F as Edge funkcija certilia
  participant I as idp.certilia.com (JWKS)
  participant DB as Postgres

  W->>F: POST { idToken }
  F->>I: dohvat javnih ključeva (JWKS)
  F->>F: provjera potpisa, iss i aud
  alt token nije valjan
    F-->>W: 401 invalid_token
  else token je valjan
    F->>F: OIB iz tokena
    F->>F: e-mail računa: pravi e-mail ili certilia-HMAC(OIB)@users.domovina.ai
    F->>DB: createUser ili postojeći korisnik
    F->>DB: upsert_identity_verification<br/>(OIB šifriran, oib_hash = HMAC-SHA256)
    F->>DB: generateLink → jednokratni kôd
    F-->>W: email + email_otp
    W->>DB: verifyOtp → sesija
  end

Važno o identitetu:

OIB se ne sprema u čitljivom obliku. U tablici identity_verifications nalazi se šifriran, a za usporedbu se koristi oib_hash = HMAC-SHA256(OIB, tajni ključ). Ključ je samo u edge funkciji, nikad u bazi.
Jedan OIB znači jednog glasača. oib_hash je jedinstven, pa ista osoba ne može dobiti dva računa.
Glasač je trajni pseudonim. Prvom predajom nastaje red u maksimir_voters s nasumičnim voter_id. Veza na račun je on delete set null, pa brisanje računa i ponovna prijava vraćaju isti listić, a ne novi.

Prije prvog glasa glasač mora prihvatiti uvjete (maksimir_accept_terms), što se bilježi kao consented_at.

# Korak 3: predaja listića

Dok glasač raspoređuje bodove, nacrt listića živi samo u njegovu pregledniku. Tek klikom na „Predaj” preglednik šalje cijeli listić jednim pozivom maksimir_cast_ballot(p_items), npr. {"6TVJ3MUHR": 50, "GY0F1A9OM": 30, "W3YS5VJBZ": 20}.

Sva pravila provjerava baza, unutar jedne transakcije. Ako bilo koja provjera padne, ništa se ne zapisuje.

flowchart TD
  A(["maksimir_cast_ballot(p_items)"]) --> B{"Ima li račun<br/>oib_hash?"}
  B -- ne --> E1["not_verified"]
  B -- da --> C{"Je li glasanje<br/>otvoreno?"}
  C -- ne --> E2["voting_closed"]
  C -- da --> D{"Je li svaka vrijednost<br/>cijeli broj 1–100?"}
  D -- ne --> E3["invalid_ballot"]
  D -- da --> F{"Postoji li svaka<br/>šifra rada?"}
  F -- ne --> E4["unknown_entry"]
  F -- da --> G{"Je li listić prazan<br/>ili je zbroj točno 100?"}
  G -- ne --> E5["points_sum_not_100"]
  G -- da --> H{"Jesu li uvjeti<br/>prihvaćeni?"}
  H -- ne --> E6["terms_not_accepted"]
  H -- da --> L["Zaključaj red glasača<br/>(SELECT … FOR UPDATE)"]
  L --> M{"Prazan listić?"}
  M -- da --> N["Obriši listić<br/>= povlačenje glasa"]
  N --> P0["Zapis u lanac<br/>revision 0"]
  M -- ne --> O["Zamijeni stavke listića<br/>revisions + 1"]
  O --> P1["Zapis u lanac<br/>revision N"]
  P0 --> R(["Vrati listić + potvrdu"])
  P1 --> R

  classDef err fill:#fde2e2,stroke:#c0392b,color:#7b241c
  class E1,E2,E3,E4,E5,E6 err

Zaključavanje reda glasača osigurava da dvije istodobne predaje iste osobe ne mogu stvoriti dva listića. Testirano je s 12 paralelnih predaja iste osobe: rezultat je jedan listić, zbroj 100 i 12 revizija.

Životni ciklus jednog listića:

stateDiagram-v2
  [*] --> Nema
  Nema --> Predan: predaja (zbroj 100)<br/>revision 1
  Predan --> Predan: izmjena<br/>revision + 1
  Predan --> Nema: povlačenje<br/>(prazan listić, revision 0)
  Predan --> Zaključan: 31. 12. 2027. 23:59
  Nema --> Zaključan: 31. 12. 2027. 23:59
  Zaključan --> [*]

# Korak 4: lanac hasheva

Svaka predaja, izmjena i povlačenje dodaje jedan red u tablicu maksimir_log. Svaki red sadrži hash prethodnog reda, pa redovi tvore lanac. Promjena bilo kojeg starog reda mijenja njegov hash, a time i hash svakog sljedećeg reda.

flowchart LR
  G["genesis<br/>000…000"] --> R1
  R1["seq 1<br/>prev_hash = 000…000<br/>pseudonym = a3f…<br/>revision 1<br/>6TVJ3MUHR:50,…<br/>hash = 596d…"] --> R2
  R2["seq 2<br/>prev_hash = 596d…<br/>pseudonym = 7bc…<br/>revision 1<br/>…<br/>hash = e41a…"] --> R3
  R3["seq 3<br/>prev_hash = e41a…<br/>pseudonym = a3f…<br/>revision 2<br/>…<br/>hash = 0c9d…"] --> V(["vrh lanca"])

Hashevi u dijagramu su skraćeni; osim 596d… (stvarni prvi glas) ilustrativni su.

Hash svakog reda računa se ovako (SHA-256, heksadecimalno, UTF-8):

hash = sha256(prev_hash | seq | pseudonym | revision | ts_ms | items_canon)

Polje	Značenje
`prev_hash`	hash prethodnog reda; za prvi red 64 nule
`seq`	redni broj, bez rupa: 1, 2, 3, …
`pseudonym`	`sha256("maksimir:" + voter_id)`; ista osoba uvijek ima isti pseudonim, ali se iz njega ne može doznati tko je
`revision`	1 za prvu predaju, zatim 2, 3, …; 0 znači povlačenje
`ts_ms`	trenutak zapisa u milisekundama
`items_canon`	listić u kanonskom obliku `ŠIFRA:bodovi,…`, sortiran po šifri; prazan niz znači povlačenje

Tri zaštite u bazi čuvaju lanac:

Samo dodavanje. Okidači (triggeri) odbijaju svaki UPDATE, DELETE i TRUNCATE nad maksimir_log.
Jedan zapis u isto vrijeme. Prije dodavanja reda uzima se globalni advisory lock, pa dva istodobna glasa ne mogu dobiti isti seq ni pogrešan prev_hash. Testirano s 12 glasača koji istodobno predaju po dva puta: 24 uzastopna zapisa, bez rupa.
Nema izravnog pisanja. Pregledniku su dostupni samo javni RPC-evi. Interne funkcije (_maksimir_append_log i slične) smije pozivati samo sama baza.

# Korak 5: potvrda za glasača

Nakon predaje glasač može preuzeti JSON potvrdu s vlastitim redom iz lanca:

{
  "seq": 1,
  "prev_hash": "0000000000000000000000000000000000000000000000000000000000000000",
  "hash": "596d9959a92f1c845272d4d9e1d0df500f7282111e34cec5c8b6b596aea18a9a",
  "pseudonym": "…",
  "revision": 1,
  "ts_ms": 1790343380427,
  "items_canon": "6TVJ3MUHR:50,GY0F1A9OM:30,W3YS5VJBZ:20"
}

Iz potvrde glasač sam može izračunati hash i kasnije provjeriti da je njegov red u objavljenom lancu, nepromijenjen.

# Korak 6: satni snapshot u Bitcoinu

Lanac hasheva štiti od tihe promjene samo ako netko izvan baze zna kako je lanac izgledao u određenom trenutku. Zato GitHub Action svaki sat (u 17. minuti) radi sljedeće:

sequenceDiagram
  autonumber
  participant GA as GitHub Action (cron 17 * * * *)
  participant DB as Postgres (javni RPC)
  participant R as Repozitorij glasanje/checkpoints
  participant O as OpenTimestamps kalendari
  participant B as Bitcoin

  GA->>DB: maksimir_snapshot()
  DB-->>GA: vrh lanca (seq, hash) + broj glasača + bodovi po radu
  Note over DB,GA: Vrh i rezultati čitaju se u istoj transakciji,<br/>pa su međusobno dosljedni.
  alt vrh se promijenio ili je zadnji snapshot stariji od 24 h
    GA->>R: zapiši UTC-seqN.json (sortirani ključevi, UTF-8)
    GA->>O: ots stamp → UTC-seqN.json.ots
  else nema promjene
    GA->>GA: preskoči novi snapshot
  end
  loop svaki raniji .ots bez Bitcoin atestacije
    GA->>O: ots upgrade
    O-->>GA: dokaz uključenosti u Bitcoin blok (kad je spreman)
  end
  O->>B: zbirni hash upisan u transakciju
  GA->>R: osvježi index.json, commit i push

Što to znači u praksi:

Snapshot je mala JSON datoteka s vrhom lanca, brojem glasača i bodovima svih 88 radova u tom trenutku. Od verzije 2 sadrži i vrh zapisnika ZK grupe i broj javnih glasača. Primjer: 20260925T134427Z-seq1.json.
.ots datoteka dokazuje da je upravo taj snapshot postojao najkasnije u trenutku Bitcoin bloka u koji je upisan. Nakon nekoliko sati dobiva trajnu Bitcoin atestaciju, a u index.json se to vidi kao "bitcoin": true.
Dnevni otkucaj. I kad nitko ne glasa, jednom u 24 sata nastaje snapshot. On dokazuje da se stanje nije mijenjalo i drži repozitorij aktivnim (GitHub gasi zakazane Actione u javnim repozitorijima nakon 60 dana mirovanja).
Bez tajni. Action čita samo javni RPC s javnim anon ključem. Za to mu ne treba nikakva lozinka.

Nakon što je snapshot upisan u Bitcoin, operater baze više ne može tiho prepisati povijest glasanja do tog trenutka: svaka prepravka dala bi drugi hash vrha, a stari hash je trajno zabilježen.

# Korak 7: neovisna provjera

Po zatvaranju glasanja RPC maksimir_log() vraća cijeli lanac. Svatko ga može provjeriti skriptom scripts/maksimir_verify.py, koja koristi samo standardnu biblioteku Pythona i ne vjeruje ni bazi ni web stranici.

python3 scripts/maksimir_verify.py lanac.json glasanje/checkpoints/*.json --receipt moja-potvrda.json

flowchart TD
  L[/"lanac.json<br/>(maksimir_log po zatvaranju)"/] --> V1
  S[/"glasanje/checkpoints/*.json<br/>+ .ots u Bitcoinu"/] --> V2
  P[/"moja-potvrda.json"/] --> V3

  V1["1. Za svaki red ponovno izračunaj hash<br/>i provjeri prev_hash, seq bez rupa,<br/>zbroj 100 i sortiran listić"]
  V2["2. Za svaki snapshot: hash vrha mora biti<br/>jednak hashu reda seq u lancu, a broj glasača<br/>i bodovi po radu jednaki ponovnom brojanju"]
  V3["3. Potvrda mora biti red u lancu<br/>s istim sadržajem i hashem"]

  V1 --> V2 --> V3
  V3 --> OK{"Sve prošlo?"}
  OK -- da --> Y(["SVE PROVJERE PROŠLE<br/>exit 0"])
  OK -- ne --> N(["popis grešaka<br/>exit 1"])

  classDef ok fill:#e3f5e1,stroke:#2e7d32,color:#1b5e20
  classDef bad fill:#fde2e2,stroke:#c0392b,color:#7b241c
  class Y ok
  class N bad

Pojedinačni .ots dokaz može se provjeriti i bez naše skripte: na opentimestamps.org spusti par .json i .ots datoteka ili pokreni ots verify glasanje/checkpoints/<datoteka>.json.ots.

Provjera je isprobana i u suprotnom smjeru: namjerno izmijenjen listić u jednom redu lanca skripta je otkrila s dvije greške i izlaznim kodom 1.

# Korak 8: podijeli svoj glas, javno ili anonimno

Glasač nakon predaje listića može sam izabrati kako će svoj glas podijeliti. Obje objave dobivaju stalnu poveznicu https://maksimir.domovina.ai/g/<id> koja se na društvenim mrežama prikazuje kao kartica s naslovom, opisom i slikom. Tako svaka objava ujedno poziva i druge da glasaju.

	Javno, s imenom	Anonimno, sa ZK dokazom
Što se vidi	ime iz eOsobne u izabranom obliku, svi bodovi, zapis u lancu	samo da je glas predala potvrđena osoba
Oblik imena	„Ime Prezime”, „Ime P.” ili bez imena	nema imena
Kako se provjerava	zapis `#seq` i hash u lancu listića, po zatvaranju s `maksimir_verify.py`	SNARK dokaz i korijen grupe, odmah, u pregledniku posjetitelja
Isključivanje	bilo kada; poveznica ostaje, ali više ne prikazuje glas	dokaz ostaje, jer ne otkriva ništa osobno

Ime dolazi iz eOsobne (identity_verifications), a ne iz polja koje glasač sam upisuje. Zato oznaka „identitet potvrđen eOsobnom” uz ime znači baš to.

# Javna objava

sequenceDiagram
  autonumber
  actor U as Glasač
  participant W as Preglednik
  participant DB as Postgres
  participant PF as Worker /g/id
  actor V as Posjetitelj

  U->>W: izabere oblik imena i potvrdi privolu
  W->>DB: maksimir_set_public('full' | 'initial' | 'anon')
  DB->>DB: provjera: potvrđen, privola, predan listić
  DB-->>W: share_id (12 znakova, stalan po glasaču)
  U->>V: dijeli https://maksimir.domovina.ai/g/share_id
  V->>PF: GET /g/share_id (ili crawler društvene mreže)
  PF->>DB: maksimir_share(id)
  PF-->>V: HTML s OG karticom + preusmjeravanje na /glasanje/g/id
  V->>DB: maksimir_share(id)
  DB-->>V: ime, bodovi, zapis iz lanca (ili null ako više nije javno)

# Anonimna objava sa ZK dokazom

ZK dokaz (zero-knowledge proof, dokaz bez otkrivanja znanja) omogućuje da glasač dokaže tvrdnju „jedan sam od N potvrđenih glasača”, a da ne otkrije koji. Koristi se Semaphore v4: Groth16 dokazi nad krivuljom BN254, hash funkcija Poseidon i Merkleovo stablo LeanIMT. Parametri kruga (trusted setup) dolaze iz javne ceremonije projekta PSE.

sequenceDiagram
  autonumber
  participant W as Preglednik glasača
  participant DB as Postgres
  actor V as Posjetitelj

  Note over W: Tajni ključ nastaje i ostaje ovdje<br/>(localStorage + preuzimanje datoteke).
  W->>W: identitet = EdDSA par ključeva<br/>commitment = Poseidon(javni ključ)
  W->>DB: maksimir_zk_register(commitment) — prijavljen
  DB->>DB: potvrđen + privola + predan listić<br/>zapis „add” u zapisnik grupe (lanac hasheva)
  W->>DB: maksimir_zk_group() — javni popis commitmenta
  W->>W: Merkleovo stablo svih članova<br/>ZK dokaz: korijen, nullifier, poruka, scope
  W->>DB: maksimir_zk_share(dokaz, zk_seq) — BEZ prijave
  DB-->>W: id objave (bez veze na glasača)
  V->>DB: maksimir_share(id) + maksimir_zk_group()
  V->>V: 1. SNARK je valjan (verifyProof)<br/>2. poruka i scope su baš ovog glasanja<br/>3. zapisnik grupe je neprekinut lanac hasheva<br/>4. korijen = stablo iz zapisnika do zk_seq

Pojmovi, ukratko:

Commitment je Poseidon hash javnog ključa. Iz njega se ne može doznati ni tajni ključ ni tko je glasač. Popis svih commitmenta je javan.
Grupa su svi upisani commitmenti, redom upisa, bez uklonjenih. Zapisnik grupe (maksimir_zk_log) je append-only lanac hasheva, kao i lanac listića:
```
hash = sha256(prev_hash | seq | op | commitment)      op = add | remove
```
Nullifier je Poseidon(scope, tajni ključ). Isti ključ uvijek daje isti nullifier, pa jedna osoba ima jednu anonimnu objavu. Baza drugi dokaz s istim nullifierom ne sprema, nego vraća postojeću objavu.
Poruka i scope su fiksni: "glasao-sam" i "maksimir-2026". Dokaz izrađen za drugu svrhu ne prolazi ni bazu ni provjeru na stranici.
Novi ključ (npr. na drugom uređaju) zapisuje u grupu remove starog i add novog commitmenta. Stari dokazi i dalje vrijede za stanje grupe u kojem su izrađeni (zk_seq).

Zašto se dokaz sprema bez prijave: objava se šalje zasebnim, anonimnim klijentom, pa u bazi ne postoji veza „ova sesija je spremila ovaj dokaz”. Baza provjerava oblik dokaza, poruku, scope i to da zk_seq postoji. Sam SNARK Postgres ne može provjeriti, pa to radi svaki preglednik koji otvori objavu. Neispravan dokaz stranica prikazuje kao neispravan.

Što je isprobano (web/scripts/zk-e2e.mjs, nad lokalnom bazom): ispravan dokaz prolazi sve četiri provjere; dokaz nad grupom s izmišljenim članom ima valjan SNARK, ali mu korijen ne odgovara javnoj grupi, pa ga stranica odbija; izmijenjen nullifier ruši SNARK; zamjena ključa daje ispravan lanac add, add, add, remove, add. Izrada dokaza traje oko 2 s, a provjera nekoliko milisekundi.

Na produkciji je 25. 9. 2026. prošao i pravi test prijavom eOsobnom: prvi anonimni dokaz (grupa od jednog člana) prošao je sve četiri provjere u pregledniku posjetitelja, na računalu i na širini mobitela. Javna objava s oblikom imena „Ime P.” pokazala je bodove i zapis #1 iz lanca; nakon isključivanja ista poveznica više ne prikazuje glas. Preuzimanje ključa daje datoteku s uputama i jednim retkom ključa. Uvoz te datoteke na „drugom uređaju” vraća isti ključ, a ponovna izrada daje istu poveznicu, jer je nullifier isti.

# Snapshot v2

Satni snapshot sada nosi i vrh zapisnika ZK grupe te broj javnih glasača (schema: maksimir-snapshot/2). Tako se u Bitcoin žigoše i stanje grupe, pa se ni njezina povijest ne može tiho prepisati. Provjera:

python3 scripts/maksimir_verify.py lanac.json glasanje/checkpoints/*.json --zk zk_grupa.json

zk_grupa.json je izlaz javnog RPC-a maksimir_zk_group(), koji je dostupan i tijekom glasanja.

# Tko što vidi

Podatak	Javnost tijekom glasanja	Javnost po zatvaranju	Operater baze
Rezultati (bodovi, udio, broj podupiratelja po radu)	da, uživo	da	da
Broj glasača	da	da	da
Vrh lanca (`seq`, `hash`)	da, u satnim snapshotovima	da	da
Cijeli lanac pod pseudonimima	ne	da	da
Pojedinačni listić povezan s osobom	ne	ne	da
OIB	ne	ne	samo šifriran; ključ je u edge funkciji
Javni listić (ime iz eOsobne + bodovi)	da, ako je glasač tako izabrao	da	da
Popis ZK commitmenta i zapisnik grupe	da	da	da
Koji je glasač upisao koji commitment	ne	ne	da (granica faze 1)
Tko je autor anonimnog ZK dokaza	ne	ne	posredno, preko veze glasač → commitment
Tajni ZK ključ	ne	ne	ne; nikad ne napušta preglednik

Cijeli lanac tijekom glasanja namjerno nije javan: pseudonim i točno vrijeme predaje omogućili bi nekome tko zna da je određena osoba glasala u 15:36 da pronađe njezin listić.

# Što sustav ne rješava

Glasanje nije tajno prema operateru baze. Veza voter_id → oib_hash postoji u bazi. Javno se objavljuju samo zbrojevi i, po zatvaranju, lanac pod pseudonimima.
Izmišljeni glasači. Pravo glasa potvrđuje Certilia, ali preko našeg poslužitelja, pa bi operater baze teoretski mogao upisati glasače koji ne postoje. Blockchain ni ZK dokazi to ne bi riješili, jer popis ovlaštenih glasača i dalje sastavlja operater. Zaštita je u tome što je broj glasača u svakom satnom snapshotu, pa bi svaki nagli skok bio trajno i javno zabilježen.
ZK anonimnost vrijedi prema javnosti, ne prema operateru. Upis commitmenta ide kroz prijavljenu sesiju, pa operater zna koji je glasač upisao koji commitment. Iz dokaza se to ne vidi, ali operater bi mogao isprobati svaki commitment. Rješenje je u sljedećim fazama (anonimne vjerodajnice).
Anonimni skup je mali dok je grupa mala. S jednim članom dokaz ne skriva ništa. Stranica zato uz svaki dokaz piše koliko je članova grupa imala.

Ono što sustav rješava: nakon satnog snapshota nitko, pa ni operater, ne može tiho promijeniti, obrisati ili preslagati već predane glasove niti lažirati zbrojeve iz tog trenutka.

# Sljedeće faze: što preseliti onchain

Faza 1 namjerno nema pametnih ugovora. Glasači ne trebaju novčanik ni kriptovalutu, nema naknada za transakcije, a sve kriptografske provjere već sad radi svaki preglednik. Ipak, dio povjerenja i dalje leži na operateru baze. Ovo su koraci koji bi to povjerenje prenijeli na javni blockchain (npr. L2 mrežu poput Base, Optimism ili Gnosis Chain), otprilike redom korisnosti. Na blockchain nikad ne idu osobni podaci, nego samo hashevi, commitmenti i dokazi.

#	Što	Danas (offchain)	Onchain	Što se dobiva
1	Korijen ZK grupe	zapisnik u Postgresu, vrh u satnom OTS snapshotu	Semaphore ugovor: operater dodaje commitmente, ugovor čuva povijest korijena	provjera bez preuzimanja cijelog zapisnika; korijen je javan odmah, ne za sat vremena
2	Registar ZK objava	tablica `maksimir_shares`, SNARK provjerava preglednik	`validateProof` u ugovoru: dokaz se provjerava i nullifier trajno bilježi	nitko ne može sakriti ni obrisati anonimnu objavu; dvostruki nullifier odbija ugovor
3	Sidrenje lanca listića	OpenTimestamps svaki sat (Bitcoin, kasni nekoliko sati)	vrh lanca listića i ZK grupe kao događaj ugovora, npr. svakih 5 minuta	brža i jeftinija potvrda; isti vrh može i dalje ići u Bitcoin
4	Javni glasovi	stranica `/g/<id>` iz baze	potpisana atestacija (npr. EAS) s hashem listića i zapisom iz lanca	objava preživi i ako stranica nestane
5	Upis u grupu bez veze na osobu	operater zna vezu glasač → commitment	anonimna vjerodajnica: Certilia (ili operater) slijepo potpiše pravo na jedan upis, a upis ide s nepovezive adrese preko relayera	ni operater ne može povezati anonimni dokaz s osobom
6	Tajni listić s dokazom točnog zbroja	listići su u bazi u čitljivom obliku	MACI: šifrirani listići u ugovoru, koordinator objavljuje zbroj sa ZK dokazom da je točan	glasanje postaje tajno i prema operateru; štiti i od kupovine glasova
7	Dokaz o sadržaju glasa bez otkrivanja	ZK dokaz kaže samo „glasao sam”	vlastiti krug: „dao sam ≥ X bodova radu Y” bez otkrivanja ostatka listića	anonimna objava koja ipak kaže koga podržavaš

Napomene za kasnije faze:

Korak 6 i javne objave idu jedno protiv drugog. MACI štiti od kupovine glasova tako da glasač ne može dokazati kako je glasao. Javna objava radi upravo suprotno. Ako se uvede MACI, javna objava postaje izjava, a ne dokaz.
Relayer i naknade. Glasači ne trebaju novčanik ako transakcije šalje relayer koji plaća naknadu. Relayer ne smije moći mijenjati sadržaj; to jamče dokaz i potpis.
GDPR. Na blockchainu se ništa ne može obrisati, zato tamo ne idu imena, OIB-i ni oib_hash. Javni listić s imenom ostaje u bazi (može se isključiti); onchain ide najviše hash.
Trusted setup. Semaphore koristi javnu ceremoniju PSE-a. Vlastiti krug (korak 7) traži novu ceremoniju ili sustav bez nje (npr. PLONK s univerzalnim parametrima).
Kompatibilnost. Formule hasheva i fiksne vrijednosti poruke i scopea iz faze 1 treba zadržati, da dokazi i potvrde izdani sada vrijede i nakon prelaska.

# Gdje je kôd

Dio	Mjesto
Prijava (skočni prozor + polling) i RPC pozivi	`web/src/glasanje.ts`
Ekran listića, rezultata i potvrde	`web/src/glasanjeView.ts`
Satni snapshot → OpenTimestamps	`scripts/maksimir_checkpoint.py`, `.github/workflows/maksimir-checkpoint.yml`
Neovisna provjera	`scripts/maksimir_verify.py`
Snapshotovi i `.ots` dokazi	`glasanje/checkpoints/`
Baza: tablice, pravila, lanac, RPC-evi	`domovina-api`: `supabase/migrations/20260925120000_maksimir_voting.sql`
Test ponašanja baze (18 provjera)	`domovina-api`: `supabase/tests/20260925_maksimir_voting.sql`
Dijeljenje i ZK: tablice, zapisnik grupe, RPC-evi	`domovina-api`: `supabase/migrations/20260925160000_maksimir_share_zk.sql`
Test dijeljenja i ZK-a (14 provjera)	`domovina-api`: `supabase/tests/20260925_maksimir_share_zk.sql`
Brisanje člana grupe uvijek zapisuje `remove`	`domovina-api`: `supabase/migrations/20260925170000_maksimir_zk_member_removed.sql`
ZK u pregledniku (Semaphore: ključ, dokaz, provjera)	`web/src/zk.ts`
Stranica objave i gumbi za dijeljenje	`web/src/shareView.ts`
OG kartica za `/g/<id>`	`web/worker/share.ts`
E2E test ZK toka	`web/scripts/zk-e2e.mjs`
Edge funkcija `certilia`	`domovina-api`: `supabase/functions/certilia/index.ts`

Vezani dokumenti:

glasanje/README.md: sažetak i upravljanje (rok, ručni checkpoint, lokalni razvoj)
2026-09-25-glasanje-javnosti.md: odluke, mjerenja, zamke i otvorene stavke