Closed Bug 1419173 Opened 7 years ago Closed 7 years ago

Integration of HaCl* - Track the HACL* master branch and Curve25519

Categories

(NSS :: Libraries, defect, P1)

defect

Tracking

(Not tracked)

RESOLVED FIXED

People

(Reporter: benjamin.beurdouche, Assigned: franziskus)

References

(Blocks 2 open bugs)

Details

Attachments

(2 files)

User Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:59.0) Gecko/20100101 Firefox/59.0 Build ID: 20171120100042 Steps to reproduce: Currently NSS is pointing to a specific branch of HACL* called "production-nss". This issue tracks the move to HACL* master in order to benefit from newer verified code.
This should fix 1395833, 1396301, and 1405268 at the same time.
Assignee: nobody → franziskuskiefer
Status: UNCONFIRMED → NEW
Ever confirmed: true
Priority: -- → P1
Target Milestone: --- → 3.35
Status: NEW → RESOLVED
Closed: 7 years ago
Resolution: --- → FIXED
Comment on attachment 8930956 [details] Bug 1419173 - fix uint128 defines, r=ttaubert Tim Taubert [:ttaubert] has approved the revision. https://phabricator.services.mozilla.com/D274#6641
Attachment #8930956 - Flags: review+
follow-up to enable uint128_t again in the HACL* code https://hg.mozilla.org/projects/nss/rev/ce3cd8618d008df60eaa2a99c5c77f29b323340a
Blocks: 1396301
Comment on attachment 8945482 [details] New version of HACL* base and Curve25519 Franziskus Kiefer [:fkiefer or :franziskus] has approved the revision. https://phabricator.services.mozilla.com/D268
Attachment #8945482 - Flags: review+
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Created:
Updated:
Size: