-
Notifications
You must be signed in to change notification settings - Fork 8
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Libcrux.Kem.Kyber.Serialize.fst #165
Comments
16 tasks
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Verify functional correctness of compression and serialization in
Compress
,Serialize
, andInd_cpa
Roadmap
serialize_uncompress_ring_element
(PR Kyber: add proofs forserialize_uncompressed_ring_element
#202)compress_then_serialize_5_
The text was updated successfully, but these errors were encountered: