Pennsylvania, like many states, is actively striving to enhance the trustworthiness of its democratic procedures. A critical component of this endeavor involves scrutinizing the digital systems used to tally votes. Recent discussions surrounding election security have brought attention to the importance of verifiable voting systems. This analysis w