Figure out procedures for upstreaming HACL* code quickly

cryspen / hacl-packages

The Cryspen HACL Distribution

https://cryspen.com/hacl-packages

Other

13 stars 18 forks source link

Figure out procedures for upstreaming HACL* code quickly #456

Open franziskuskiefer opened 2 months ago

karthikbhargavan commented 2 months ago

The suggestion is that we revisit this after SHA-3 and AES32 have been merged, and work on procedures with the HACL* team. There may be an independent push we want to make towards "Proof Packages" which will be of independent interest.