Objet : Discussion list for Belenios
Archives de la liste
[Belenios-discuss] Proposal: quicker implementation of Fiat-Shamir NIZK proofs
Chronologique Discussions
- From: Julien Moutinho <julm+inria AT autogeree.net>
- To: belenios-discuss AT lists.gforge.inria.fr, Mieux Voter <contact AT mieuxvoter.fr>
- Subject: [Belenios-discuss] Proposal: quicker implementation of Fiat-Shamir NIZK proofs
- Date: Thu, 15 Aug 2019 16:36:38 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=julm+inria AT autogeree.net; spf=Pass smtp.mailfrom=julm+inria AT autogeree.net; spf=None smtp.helo=postmaster AT chomsky.autogeree.net
- Ironport-phdr: 9a23:xXH8LRWfecuP5nnZcndR3mS3r4jV8LGtZVwlr6E/grcLSJyIuqrYbBaFt8tkgFKBZ4jH8fUM07OQ7/m6HzVbuN3R6DgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrswndrNQajIV/Jqo+yRbFvmZDdvhLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklDsLOjgk+2zRl8d+jr9UoAi5qhJxw4DafpybOvlwfqzSYdwVWGhOUchKWixOHo+xdZECA/YbMOtaqYT2ulsArQG5BQmpHO7hziJIhnv33aIk1eQqDAbI3As9H9ISsXTUqtX1NKAPWu2yzqnI0DHDb/ZR1Tf87ojIaBEhruuXUL1qbMrR1U4vFwzbgVWKt4PqISmZ1uITvGiH9udtU/+khW0/qwxppjWj290ghpfUio8U0FzI6Dh1zJovKdC2SUN2Z8OvHoFKuCGALYR2R9svQ2F2tyY+zb0LoYK0fCgNyJQi3B7faPyGf5KS7RL+SOaRJjh4i2x/eL2hmRm+606gxfPgVsWs0VZKqDRKksXUu30JyhDf8NaLRuZ880u7xDqDyhzf5vtKLE01jabbLoQuwr80lpodq0TDGSr2lV30jK+LckUk/++k6+XhYrX8p5+TLZR5hRvjMqQyncy/Dvo3MhIQUGeF4+i80qPs/VHhTLVQkvI2irXZsIzdJckDvaG2HQtV3Zgl6xa+CDemy80UkmQGLFJeZB2HkpPpO0rVLfD8DPe/mEiskCxxy/DJML3hBY/NLnfdn7v7fLZ97VRcyAspwtxF6ZJUEOJJHPWmUEL1udrZCQR8Pw2vyPv8E/1515gCQiSADKiDP66UsFmS5+tpLfPILKoUtSvtY8Yi+/P0xSsynlkBdKK19Z4WZW2oAPN6Ll/fb2C60fkbFmJfnBc6TeHswHiFTCJSYXa1F/Y++zU+S4OgF4bKbomwnLuO0T22E9tQa3wQWQPEKmvha4jRA6REUymVOMI0ymVYB4jkcJco0FSVjCG/06Bud7eG8zAEsp3uztV4oeveiUNqrGEmP4Gmy2iIClpMsCYISjsxhvstqkx6z0yAwO5xnuBfGtFJ6v4PVAomZ8aFnr5KTuvqUweERe+nDVOvQ9GoGzY0F49jysISZElwAdivyBbOw3jzDg==
- List-archive: <http://lists.gforge.inria.fr/pipermail/belenios-discuss/>
- List-id: Discussion list for Belenios <belenios-discuss.lists.gforge.inria.fr>
Hi belenios-discuss@,
Could you please consider the following
change to the 1.6 specification of Helios-C.
In section "4.4 Trustee keys" and section "4.13 Tally",
response is defined as "w + x × challenge mod q"
then A and B are computed using a division.
It would be sensibly quicker to avoid the modular exponentiation
of those divisions by defining response as "w + x × challenge mod q",
as done in section "4.11 Signatures"
Before:
benchmarking beleniosFFC/verifyBallot/(questions=20)×(choices=5)==100
time 4.090 s
benchmarking beleniosFFC/verifyBallot/(questions=25)×(choices=7)==175
time 6.945 s
After:
benchmarking beleniosFFC/verifyBallot/(questions=20)×(choices=5)==100
time 2.816 s
benchmarking beleniosFFC/verifyBallot/(questions=25)×(choices=7)==175
time 4.739 s
Regards,
Julien Moutinho
Attachment:
signature.asc
Description: PGP signature
- [Belenios-discuss] Proposal: quicker implementation of Fiat-Shamir NIZK proofs, Julien Moutinho, 15/08/2019
- Re: [Belenios-discuss] Proposal: quicker implementation of Fiat-Shamir NIZK proofs, Julien Moutinho, 15/08/2019
- Re: [Belenios-discuss] Proposal: quicker implementation of Fiat-Shamir NIZK proofs, Stéphane Glondu, 16/08/2019
- Re: [Belenios-discuss] Proposal: quicker implementation of Fiat-Shamir NIZK proofs, Julien Moutinho, 15/08/2019
Archives gérées par MHonArc 2.6.19+.