Closed Bug 1383369 (hacl-chacha20) Opened 7 years ago Closed 7 years ago

Feature: Integration of HaCl* - Chacha20 (not vectorized)

Categories

(NSS :: Libraries, enhancement, P2)

Product:
NSS
Component:
Libraries
Type:
enhancement

Tracking

(Not tracked)

Status:
RESOLVED FIXED

People

(Reporter: benjamin.beurdouche, Assigned: benjamin.beurdouche)

References

(Blocks 1 open bug)

Details

Attachments

(2 files)

Bug 1383369 - formally verified code from HaCl* for Chacha20 (non-vectorized)
45 bytes, text/x-phabricator-request
benjamin.beurdouche
: review+
ttaubert
: review+
Details | Review
update HACL* dockerfile and ChaCha20
45 bytes, text/x-phabricator-request
ttaubert
: review+
Details | Review 
Integration of the non-vectorized version of Chacha20 from HaCl*
https://github.com/mitls/hacl-star/blob/master/snapshots/hacl-c/Chacha20.c
Assignee: nobody → bbeurdouche
Status: NEW → ASSIGNED
Alias: hacl-chacha20
Priority: -- → P2
Comment on attachment 8930864 [details]
Bug 1383369 - formally verified code from HaCl* for Chacha20 (non-vectorized)

Benjamin Beurdouche has approved the revision.

https://phabricator.services.mozilla.com/D272#6601
Attachment #8930864 - Flags: review+
Comment on attachment 8930864 [details]
Bug 1383369 - formally verified code from HaCl* for Chacha20 (non-vectorized)

Tim Taubert [:ttaubert] has approved the revision.

https://phabricator.services.mozilla.com/D272#6680
Attachment #8930864 - Flags: review+
https://hg.mozilla.org/projects/nss/rev/ff7594d3dc94dc7f6d4f9b8b638a477dc48052a3
Status: ASSIGNED → RESOLVED
Closed: 7 years ago
Resolution: --- → FIXED
Target Milestone: --- → 3.35
Comment on attachment 8931684 [details]
update HACL* dockerfile and ChaCha20

Tim Taubert [:ttaubert] has approved the revision.

https://phabricator.services.mozilla.com/D277
Attachment #8931684 - Flags: review+
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Creator:
Created:
Updated:
Size: