Closed
Bug 1399763
(hacl-poly1305)
Opened 7 years ago
Closed 7 years ago
Integration of HaCl* - Poly1305 64-bit (not vectorized)
Categories
(NSS :: Libraries, defect, P3)
NSS
Libraries
Tracking
(Not tracked)
RESOLVED
FIXED
3.35
People
(Reporter: franziskus, Assigned: benjamin.beurdouche)
References
(Blocks 1 open bug, )
Details
Attachments
(1 file)
No description provided.
Updated•7 years ago
|
Priority: -- → P3
Reporter | ||
Updated•7 years ago
|
Summary: Integration of HaCl* - Poly1305 (not vectorized) → Integration of HaCl* - Poly1305 64-bit (not vectorized)
Assignee | ||
Comment 1•7 years ago
|
||
https://phabricator.services.mozilla.com/D276
Comment 2•7 years ago
|
||
Comment on attachment 8931345 [details] Bug 1399763 - formally verified code from HACL* for Poly1305 (64bits, non-vectorized) Franziskus Kiefer [:fkiefer or :franziskus] has approved the revision. https://phabricator.services.mozilla.com/D276#7196
Attachment #8931345 -
Flags: review+
Comment 3•7 years ago
|
||
Comment on attachment 8931345 [details] Bug 1399763 - formally verified code from HACL* for Poly1305 (64bits, non-vectorized) Tim Taubert [:ttaubert] has approved the revision. https://phabricator.services.mozilla.com/D276#7369
Attachment #8931345 -
Flags: review+
Comment 4•7 years ago
|
||
I'm btw hitting the same verification problems that we see on Taskcluster on my macOS machine. Not sure how much RAM my Docker VM has, probably not enough? It's killing the process when verifying the BigNum library.
Reporter | ||
Comment 5•7 years ago
|
||
https://hg.mozilla.org/projects/nss/rev/d5433562dee489df800d97c8afb72d3b6971cb9f https://hg.mozilla.org/projects/nss/rev/59f3ff0efb518295aa30eb10dbc88f6381ffe0ed
Assignee: nobody → benjamin.beurdouche
Status: NEW → RESOLVED
Closed: 7 years ago
Resolution: --- → FIXED
Target Milestone: --- → 3.35
Reporter | ||
Comment 6•7 years ago
|
||
Don't use hacl poly on platforms that don't have uint128. https://hg.mozilla.org/projects/nss/rev/3483c9e74def40a7176ba42503c7e3a921a671a3
Updated•6 years ago
|
Attachment #8931345 -
Attachment description: Bug 1399763 - formally verified code from HaCl* for Poly1305 (64bits, non-vectorized) → Bug 1399763 - formally verified code from HACL* for Poly1305 (64bits, non-vectorized)
You need to log in
before you can comment on or make changes to this bug.
Description
•