Jake Massimo comments

Repositories
Issues
Comments

Results 4 comments of


                                            Jake Massimo

ML-DSA integration tests

https://datatracker.ietf.org/doc/draft-ietf-lamps-dilithium-certificates/09/

HOL-Light: Prove AVX2 `poly_caddq`

Currently only an avx2 intrinsic version, this will need to be full x86 for the hol-light proof

C Implementation: Seeds as Keys

Will merge https://github.com/pq-code-package/mldsa-native/pull/42 first

Low performance in mld_H

Nice idea, may cause a little pain in the CBMC proof, but I'm interested to see the performance. Could you elaborate on the bit interleaving performance issue you mentioned? I'm...