Abstract—The ultimate goal in modern secure e-voting is
to enable everyone to verify whether the final election
result correctly ref服务器托管网lects the votes chosen by the (human)
voters, without exposing how each individual voted. These
fundamental security properties are called end-to-end veri-
fiability and voter privacy. Unfortunately, it turns out to be
very challenging to pursue these properties simultaneously,
especially when the latter must be future-proofed against the
rise of quantum computers. In this work, we show, for the
first time, a practical approach to do this.
We present Epoque, the first end-to-end verifiable, voterprivate, post-quantum-secure homomorphic e-voting protocol. It achieves its properties through 服务器托管网the combination
of practical lattice-based cryptographic primitives only, in
a novel way. We formally prove all our security claims
under common trust and hardness assumptions. At the
core of Epoque lies an efficient identity-based encryption
(IBE) scheme with blazingly fast master-key decryption.
It is the component that makes the efficient tallying of
thousands or millions of ballots a practical possibility. In
order to demonstrate its practicality, we fully implemented
it and provide detailed benchmarks; we believe this latter
contribution is of independent interest beyond the specific
e-voting application.
服务器托管,北京服务器托管,服务器租用 http://www.fwqtg.net
机房租用,北京机房租用,IDC机房托管, http://www.fwqtg.net
相关推荐: 前端CodeReivew实践 | 京东云技术团队
OSC 请你来轰趴啦!1028 苏州源创会,一起寻宝 AI 时代 把Code Review变成一种开发文化而不仅仅是一种制度 把Code Review 作为开发流程的必选项后,不代表Code Review这件事就可以执行的很好,因为Code Review 的执…