Move HACL code out of EGK

Question

Move HACL code out of EGK

JohnLCaron opened this issue 2 years ago · 4 comments

JohnLCaron commented 2 years ago

Hopefully use Cryspen.

Answer 1 · 2023-07-02T11:43:31.000Z

"build project" takes ~ 6 min
building native takes most of that, which sucks because the hacl library never changes

Answer 2 · 2023-07-02T13:35:54.000Z

If I remove the hacl library code compilation , it still takes a similar time.
Most of the time is in the linker.

Can eliminate creating RunBatchEncryption native executable.
Can we eliminate always creating the libekm.so native shared library, and make that a seperately callable task? When we do that we get down to 2 minute (re)build time.

Answer 3 · 2023-07-02T20:41:37.000Z

So Ive removed the HACL source code from EGK. The build works when HACL is installed on the build machine.
Seems like we want to switch to using cryspen.
For now, native is not working.

Answer 4 · 2023-09-12T13:46:10.000Z

NAtive is removed for now