Repository request: mlkem-libjade

pq-code-package / tsc

PQ Code Project Technical Steering Committee resources

https://pq-code-package.github.io/tsc/

Creative Commons Attribution 4.0 International

4 stars 4 forks source link

Repository request: mlkem-libjade #24

Closed mbbarbosa closed 2 months ago

mbbarbosa commented 3 months ago

Repository where we will be placing formally verified asm implementations of mlkem coming from libjade (https://github.com/formosa-crypto/libjade).

Bootstrap Ids:

cryptojedi, tfaoliveira, mbbarbosa, MQuaresma

planetf1 commented 3 months ago

I've added three of you (one request to add to org) Set cryptojedi as admin

For repo, do you want

repo based on template at pq-code-package/template-code
empty repo (can add that other content later)

ryjones commented 3 months ago

done via template

planetf1 commented 3 months ago

@ryjones are you ok with the groups set-up.

pqcp-libjade -> has manual set as maintainer pqcp-libjade-maintainers -> needs a maintainer assigned (ie Peter) pqcp-libjade-admin -> needs a maintainer assigned (ie Peter)

I no longer have access to check the role assignment to each team.

ryjones commented 3 months ago

@planetf1 try now

planetf1 commented 3 months ago

@ryjones I think @ MQuaresma is missing from pqcp-libjade-maintainers otherwise looks good

planetf1 commented 3 months ago

See https://github.com/pq-code-package/tsc/issues/32 - I think the fix there in PR https://github.com/pq-code-package/tsc/pull/36 would close this

planetf1 commented 2 months ago

Closing, since the repo and access groups are created. New issues can be raised for any corrections