The DemTech verified elections logging system.