Hart InterCivic and Microsoft announced a partnership to incorporate ElectionGuard software into Hart’s Verity voting systems. The partnership makes Hart the first major voting machine manufacturer in the United States to provide end-to-end verifiability to voters. The companies will announce pilot details for an ElectionGuard-enabled Verity system at a later date. ElectionGuard uses technology called homomorphic encryption to keep people’s votes secret and secure while still enabling the math required to count votes. Microsoft has conducted public demonstrations of the software and opened it to the security community for inspection and testing.
Source: https://www.helpnetsecurity.com/2021/06/04/hart-intercivic-microsoft/