爱沙尼亚政府已在 GitHub 上发布了其名为 IVXV 的在线投票系统源代码。此次发布的首要目标是为公众提供一种机制，用于审查该国具有法律约束力的选举中所使用的软件。虽然该仓库并非用于活跃开发，但政府坚持认为，代码将保持更新，以确保公众审查的版本与选举期间实际部署的软件相匹配。该系统及其相关验证应用程序的开发由爱沙尼亚国家选举办公室监督，以确保严格遵守国家法律。
图片显示了爱沙尼亚政府发布的用于公众审查的 IVXV 源代码的官方 GitHub 仓库。
公众获取源代码引发了一系列关于电子投票安全的技术和社会讨论。一些观察人士指出，仅靠软件透明度并不能保证选举安全，因为硬件层面的破坏或固件问题可能会绕过基于软件的保护措施。为了应对这些风险，一些专家建议，数字风险限制审计（即通过手动、统计抽样纸质选票并与数字记录进行对比）仍是任何电子系统的必要补充。另一些人则认为，该系统的安全性得益于其与爱沙尼亚更广泛数字基础设施的整合，在其中，电子身份和签名已无处不在，且纸质选票仍可覆盖电子选票。
尽管开源仓库提供了透明度，但关于系统实际验证仍存在几个未解决的问题。例如，虽然代码是公开的，但并没有内在保证确保在官方投票和计票计算机上运行的特定代码与托管在 GitHub 上的版本完全相同。此外，一些批评者质疑代码的美学质量，而另一些人则强调，在没有物理审计轨迹的情况下，证明在胜负接近的选举中特定选票被正确计入具有内在难度。这些观点突显了关于开源透明度是否足以防范破坏民主进程的高风险动机的持续辩论。
为了回应这些担忧，一些支持者强调了密码学在确保完整性方面的作用。他们建议，通过使用 ID 卡上的私钥来签署交易，选民可以验证其选票未被软件篡改。在这种模型中，选民理论上可以通过独立设备检查其签署的交易是否与发布的计票结果相匹配。然而，这些加密措施的有效性在很大程度上取决于用户本地设备的安全性以及公共账本的完整性，这使得对底层基础设施的“信任”成为争论的中心点。
最终，IVXV 源代码的发布代表了该国向激进透明度的迈进，该国自 2001 年以来一直使用电子投票。通过提供代码，爱沙尼亚旨在建立公众信心，然而讨论也凸显出技术透明度只是更广泛安全框架的一个组成部分，该框架还包括法律条款、加密协议和潜在的手动审计。此举可作为各国如何在公众监督需求与保障数字民主进程的复杂现实之间取得平衡的案例研究。
该系统的架构包括几个关键组件，如 'collector-admin'、'common'、'core' 和 'verification' 模块，这些模块处理投票生命周期的不同方面。仓库结构表明采用了模块化的方法来处理会话状态、smartID 集成和选票排序。通过公开这些模块，政府允许独立研究人员分析系统如何处理身份验证以及选票如何汇总为最终结果。
讨论中的一个重要权衡是对政府的信任与软件的技术限制之间的紧张关系。一些爱沙尼亚居民表示，虽然目前系统受到信任，但如果这种信任遭到侵蚀，那么模拟计数与数字计数之间的区别对于公众对合法性的感知将变得不再重要。这凸显出 IVXV 系统的成功可能在很大程度上依赖于社会信任和法律框架，而不仅仅是源代码本身的质量。
此外，与美国或瑞士等其他国际系统的比较为爱沙尼亚的方法提供了背景。虽然一些国家使用特定的产品如 ElectionGuard，但爱沙尼亚致力于政府监督的开源模型，旨在提供独特的公众问责水平。代码的持续可用性确保了随着技术的演进，公众可以继续监控管理其民主参与机制的机制。
技术限制依然存在，例如确保选民的特定选票包含在非常微弱的胜选差距中。虽然加密签名可以证明选票已投出，但它们并不总是提供一种简单的方法，让个人在不损害隐私的情况下验证其对最终计票的特定贡献。这些细微差别仍处于围绕安全、透明电子投票未来的对话最前沿。
总之，IVXV 源代码的发布是迈向透明度的重要一步，但它并未解决电子投票的基本挑战。它提供了一个审查平台，但系统的最终安全性依赖于开源原则、强大的密码学以及对管理该过程的机构的稳定社会信任的结合。
该仓库还包括促进审计过程的文档和脚本。通过提供这些工具，爱沙尼亚国家选举办公室邀请社区识别安全漏洞并为系统的加固做出贡献。这种协作方法旨在使系统更具弹性，以抵御可能针对民主基础设施的高动机攻击。
然而，由于该仓库在近期更新较少，一些人开始质疑软件维护的当前状态。虽然这可能表明系统处于稳定状态，但...