Pennsylvania, like many regions, is continuously striving to enhance the trustworthiness of its elections. A critical component of this effort involves examining the voting software used to tally votes. Recent concerns surrounding election transparency have brought attention to the importance of verifiable voting systems. This examination will delv