Design a conceptual Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARK) protocol for a decentralized voting system. The protocol must allow a voter to prove they are over 18 and a registered citizen without revealing their identity or age. Detail the trusted setup phase, the circuit logic for the proof generation, and the verification algorithm process, specifically addressing the mathematical constraints required to prevent replay attacks.