jrcarter / PragmARC

The PragmAda Reusable Components
27 stars 6 forks source link

(WhishList) Dilithium5 pqc sign, Kyber1024 pqc key encapsulation mechanism and BLAKE3 in pure Ada #9

Closed danieagle closed 1 year ago

danieagle commented 1 year ago

Hi Carter! You Fine? I'm Fine too.

The Dilithium and Kyber are choosen by NIST Champions in his PostQuantum Cryptograph Competition NIST link

Blake3 is a Cryptograph hash.

I Believe Dilithium and Kyber, to a great extent, will become a must for many developers and applications. I am particularly interested in Dilithium5 and Kyber1024 versions, but failed in creating a pure Ada versions from the papers.

Pleeease Carter, can you create Ada versions of Kyber1024 and Dilithium5? and toast me and the Ada Community with your achievement?

Very Very Very Thanks!

Best Whishes, GrateFull, Dani.

Kyber and Dilithium Home Kyber Git Dilithium Git PQClean

p.s.: The PQClean sign versions, has two options to use just the sign part without prepend the data signed.

jrcarter commented 1 year ago

What difficulties did you encounter?

danieagle commented 1 year ago

Hi Carter!

I simply no longer remember all the formulas, calculations and mathematical symbols used in these papers. :-D I can create binds from C versions, but this is more a hack than a permanent solution, and after of long long time seeing your work with Ada, I'm feeling You are The Person(TM) to create these Ada versions.

I can help maintain update and improve the versions than you'll do, but I had no success trying to create Ada versions from scratch.

Very Very Very Thanks!!!

Best Whishes, GrateFull, Dani.

jrcarter commented 1 year ago

Can you provide direct links to descriptions of the algorithms? I am not able to understand the mathematics in the links you supplied.

danieagle commented 1 year ago

Hi Carter!

Very Very Very Thanks!!!!!!!!

kyber.pdf

dilithium_nist.pdf

blake3.pdf

Very Very Very Thanks Again!!!!!!!!!!!!!!!

Best Whishes, GrateFull, Dani.

jrcarter commented 1 year ago

I'm afraid the description of Kyber loses me in the second paragraph of section 1.1.

danieagle commented 1 year ago

Thanks :-D

I'll consider this closed.

Best Wishes, GrateFull Dani.

jrcarter commented 8 months ago

Kyber, now known as ML-KEM, now has a SPARK implementation at awslabs that may be of interest to you.

danieagle commented 8 months ago

Thanks!

-- Enviado com Tuta; aproveite e-mails seguros e sem anúncios: https://tuta.com

16 de fev. de 2024, 07:36 por @.***:

Kyber, now known as ML-KEM, now has a SPARK implementation at > awslabs https://github.com/awslabs/LibMLKEM> that may be of interest to you.

— Reply to this email directly, > view it on GitHub https://github.com/jrcarter/PragmARC/issues/9#issuecomment-1948133675> , or > unsubscribe https://github.com/notifications/unsubscribe-auth/ADC32VD7TKBVJ547VGJTLVLYT4ZBVAVCNFSM6AAAAAASS6MK5WVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTSNBYGEZTGNRXGU> . You are receiving this because you modified the open/close state.> Message ID: > <jrcarter/PragmARC/issues/9/1948133675> @> github> .> com>