# 6. Glasač ima kontrolu nad svojim glasom

Ovaj dokument pokazuje tko što može u glasanju na Gnosis Chainu (MaksimirGlasanjeV1), a tko ne može. Svaka tvrdnja ima test ili transakciju na lancu koja je dokazuje.

Ukratko:

• Tajni ključ nastaje u glasačevu pregledniku i nikad ga ne napušta.
• Listić je ZK dokaz izrađen tim ključem, također u pregledniku.
• Relayer na Cloudflare Workeru dobiva gotov, zapečaćen paket i samo plaća gas. Ne može ga promijeniti, podmetnuti stari ni poslati tuđi. Paket može poslati i bilo tko drugi, pa relayer nije ni nužan.
• Ugovor se ne može nadograditi niti pauzirati, pa ni vlasnik ne može dirati listiće.

# Tko drži koji ključ

flowchart LR
  subgraph B["Preglednik glasača"]
    K["tajni Semaphore ključ<br/>(nastaje ovdje, nikad ne izlazi)"]
    L["listić + revizija"]
    P["ZK dokaz<br/>(Groth16, ~2 s)"]
    K --> P
    L --> P
  end
  subgraph S["domovina.ai"]
    C["Certilia / eOsobna"]
    R["registrar<br/>(EIP-712 potpis prava glasa)"]
    C --> R
  end
  subgraph W["Cloudflare Worker"]
    X["relayer<br/>ključ: samo xDAI za gas"]
  end
  subgraph G["Gnosis Chain"]
    V["MaksimirGlasanjeV1"]
    SEM["Semaphore v4"]
  end

  B -- "commitment (javni dio ključa)" --> R
  R -- "potpis: ovaj commitment smije glasati" --> B
  B -- "gotov paket" --> X
  X -- "tx (plaća gas)" --> V
  B -. "isti paket, bez relayera<br/>(vlastiti novčanik)" .-> V
  V --> SEM

# Što se događa, korak po korak

sequenceDiagram
  autonumber
  actor U as Glasač
  participant B as Preglednik
  participant S as domovina.ai (registrar)
  participant R as Relayer (Worker)
  participant C as MaksimirGlasanjeV1

  Note over B: new Identity() — tajni ključ nastaje ovdje
  U->>S: prijava eOsobnom
  B->>S: commitment = Poseidon(javni ključ)
  S->>S: jednom po osobi (oib_hash)
  S-->>B: EIP-712 potpis Register(commitment, rok)
  B->>R: { commitment, rok, potpis }
  R->>C: register(...)  — gas plaća relayer
  C->>C: potpis je registrarov? → član grupe

  U->>B: raspodijeli 100 bodova
  B->>C: grupa iz događaja (čitanje, bez nas)
  B->>B: poruka = keccak(lanac, ugovor, revizija, listić)<br/>ZK dokaz tajnim ključem
  B->>R: { revizija, listić, dokaz }
  R->>R: simulacija (besplatno)
  R->>C: cast(...)
  C->>C: dokaz valjan? poruka = ovaj listić?<br/>revizija = zadnja + 1?
  C->>C: stari bodovi −, novi +  (zbroj uživo)

Kriptografija se odvija ovdje:

# Što tko može, a što ne može

# Relayer (Cloudflare Worker)

Cenzura se zaobilazi: paket je običan JSON. Glasač ga može poslati iz vlastitog novčanika (test „bilo tko smije poslati glasačev paket”), preko drugog relayera ili ga dati bilo kome da ga pošalje. Web će nuditi i gumb „preuzmi paket”.

# Registrar (domovina.ai)

Izmišljeni glasači ostaju granica sustava, kao i u fazi 1: pravo glasa potvrđuje Certilia, ali preko našeg poslužitelja. Broj registracija i glasača javan je na lancu u svakom bloku.

# Vlasnik (Safe 2/3)

# Glasač

• predaje, mijenja i povlači listić do 31. 12. 2027. 23:59, bilo koliko puta;
• sam odlučuje hoće li listić preseliti u V2 (migrate traži njegov dokaz);
• može objaviti „glasao sam” jednom, anonimno;
• može provjeriti svoj listić i zbroj izravno na lancu, bez nas.

# Iskrene granice

„100 % kontrole” vrijedi uz sljedeće uvjete, i ovdje ih ne skrivamo:

1. Kôd u pregledniku. Ključ je siguran samo ako JavaScript koji ga izrađuje nije zlonamjeran. Taj kôd dolazi s naše stranice. Zaštita: javni izvor, chain/client/ bez ovisnosti o poslužitelju, Subresource Integrity i, kao plan, reproducibilan build objavljen i na IPFS-u, da se stranica može otvoriti i bez nas.
2. Izgubljen ključ znači zamrznut listić. Zadnji predani listić i dalje se broji, ali se više ne može mijenjati. Oporavak ključa preko nas namjerno ne postoji: tko može vratiti ključ, može i glasati umjesto glasača. Registrar izdaje pravo glasa jednom po osobi, pa novi ključ ne znači drugi glas. Ključ se zato preuzima kao datoteka čim nastane (kao u fazi 1).
3. Listići su javni pod pseudonimom (nullifier) čim su predani. Zbroj je javan i provjerljiv uživo, ali tko zna da je netko glasao u 15:36 može potražiti listić predan u to vrijeme. U fazi 1 lanac je zato bio skriven do zatvaranja. Ublažavanje: relayer ne bilježi IP, a paket se može poslati kasnije ili iz drugog konteksta. Potpuna zaštita traži šifrirane listiće (MACI, vidi 05).
4. Nema zaštite od prisile. Glasač može drugome dokazati kako je glasao. To je cijena javne provjerljivosti; MACI bi to riješio (05).
5. Relayer vidi IP i vrijeme. Za potpunu mrežnu anonimnost paket treba slati preko Tora ili iz vlastitog novčanika.

# Kako to svatko može provjeriti

• Izvor ugovora je verificiran uz adresu: Chiado. Za Gnosis će adresa biti ovdje nakon deploya.
• Nema proxyja: kôd na adresi je sam ugovor. runtimeCodeKeccak256 je u chain/deployments/.
• Moj listić: ballotOf(nullifier). Nullifier daje ballotNullifier() iz chain/client/ballot.ts.
• Zbroj: results() ili ponovno zbrajanje svih BallotCast događaja.
• Testovi: cd chain && npx hardhat test (10 testova), a pravi tok na Chiadu daje npx tsx scripts/e2e-chiado.ts.

# Chiado, 26. 9. 2026. (V1 nakon audita, krug 5), sve kroz stvarni kod relayera