willieyz comments

Repositories
Issues
Comments

Results 2 comments of


                                            willieyz

config.h: Align mldsa-native and mlkem-native config.h

Hello, @mkannwischer , thank you for your review! I had addressed according to your comment, include: - Add missing MLD_CONFIG_MONOBUILD_KEEP_SHARED_HEADERS - Also, I had create another PR in mkem-native, added...

CBMC: Add proofs atop of native functions

- Related: #607 - Related: https://github.com/pq-code-package/mlkem-native/pull/1152 During PR #607, the runtime-dispatch mechanism was ported from mlkem-native: https://github.com/pq-code-package/mlkem-native/pull/1152 However, several CBMC-related changes for the native functions were not yet ported due...