Sequent, a global leader in cryptographically secured digital election platforms, today announced it has advanced the implementation of VoteSecure, an open-source software development kit designed to enable end-to-end verifiable mobile voting, into its election technology platform. This milestone arrives at a pivotal moment as governments, unions and other organizations grapple with declining confidence in democratic processes and growing demand for greater transparency and verifiability.
VoteSecure protocols were developed by Free & Fair, a voting technology research company, and released in November 2025 following 16 months of research aligned with the U.S. Vote Foundation’s “Future of Voting” report. The framework supports multi-factor authentication, biometric identity verification and air-gapped tabulation, meaning votes are tabulated only after being taken offline from the internet, with paper printouts generated to accompany traditional ballot channels.
“We are at an inflection point in democratic history,” said Shai Bargil, CEO and Co-Founder of Sequent. “Voters are asking whether their voices truly count, and election administrators are asking how to prove it. The VoteSecure protocol helps to answer both questions with mathematical certainty.”
Sequent’s implementation builds on a platform already designed around transparency and cryptographic verifiability. Having supported more than 330 elections and served over 9.2 million voters across North America, Europe and Asia, Sequent is translating VoteSecure’s technical specifications into real-world election infrastructure. Unlike traditional “black box” election technologies that rely on institutional trust, VoteSecure is based on publicly auditable cryptographic protocols and open-source transparency principles. It incorporates threshold cryptography, verifiable shuffling and decryption techniques, zero-knowledge proofs and air-gapped tabulation environments to strengthen election integrity while maintaining voter privacy.
The framework also relied on Rigorous Digital Engineering (RDE), a formal model-based systems engineering methodology focused on analyzable specifications, formal verification and high-assurance software development practices commonly associated with critical infrastructure and national security systems. “Election integrity can no longer rely solely on blind trust,” added Bargil. “Modern election systems must provide verifiable evidence that votes were securely cast, accurately recorded and properly counted.”
VoteSecure protocols are open source and publicly available for review and auditing by election technology providers, governments and civic organizations worldwide. For more information, visit Sequent’s website.
