Pennsylvania, like many regions, is actively striving to enhance the trustworthiness of its democratic procedures. A critical component of this effort involves examining the digital systems used to tally votes. Recent challenges surrounding election integrity have highlighted the importance of auditable voting systems. This examination will delve i