libcrux icon indicating copy to clipboard operation
libcrux copied to clipboard

Published 20 hours ago • verified publisher icon cryspen

Document the verification state for code

Open karthikbhargavan opened this issue 2 years ago • 0 comments
trafficstars

Not all the code we have in libcrux is verified (e.g. SHA-2 and x25519 from libjade) and we may want to add other partially-verified code in the future. Our policy is that unverified code will never be exposed in the libcrux API. We may want to better document the status of various implementations in a STATUS.md file or something.

karthikbhargavan avatar Sep 05 '23 10:09 karthikbhargavan