Pennsylvania, like many regions, is continuously striving to improve the security of its democratic procedures. A critical component of this effort involves evaluating the voting software used to tally votes. Ongoing discussions surrounding election security have shed light on the importance of verifiable voting systems. This assessment will delve