Bug 1383369 (hacl-chacha20)

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

RESOLVED FIXED in 3.35

Status

P2
normal
RESOLVED FIXED
a year ago
10 months ago

People

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

Tracking

(Blocks: 1 bug)

trunk
3.35
Dependency tree / graph

Firefox Tracking Flags

(Not tracked)

Details

Attachments

(2 attachments)

(Assignee)

Description

a year ago
Integration of the non-vectorized version of Chacha20 from HaCl*
https://github.com/mitls/hacl-star/blob/master/snapshots/hacl-c/Chacha20.c
(Assignee)

Updated

a year ago
Assignee: nobody → bbeurdouche
Status: NEW → ASSIGNED
Alias: hacl-chacha20
Depends on: 1391859
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
Last Resolved: a year ago
Resolution: --- → FIXED
Target Milestone: --- → 3.35

Comment 6

10 months ago
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.