We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Currently our CBMC proofs cover mlkem/*, axiomatizing the code in fips202/* through contracts in (see https://github.com/pq-code-package/mlkem-native/blob/main/fips202/fips202x4.h and https://github.com/pq-code-package/mlkem-native/blob/main/fips202/fips202.h.) This issue tracks the expansion of CBMC coverage to fips202/*.
mlkem/*
fips202/*
I created issues for each function. This issue tracks those:
shake128_absorb_once
shake128_squeezeblocks
shake256
sha3_256
sha3_512
shake256x4_absorb
shake128x4_squeezeblocks
shake256x4
shake128x4_absorb
shake256_inc_squeeze
shake256_inc_finalize
shake256_inc_absorb
shake256_inc_init
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Currently our CBMC proofs cover
mlkem/*
, axiomatizing the code infips202/*
through contracts in (see https://github.com/pq-code-package/mlkem-native/blob/main/fips202/fips202x4.h and https://github.com/pq-code-package/mlkem-native/blob/main/fips202/fips202.h.) This issue tracks the expansion of CBMC coverage tofips202/*
.I created issues for each function. This issue tracks those:
shake128_absorb_once
#484shake128_squeezeblocks
#485shake256
#486sha3_256
#487sha3_512
#488shake256x4_absorb
#489shake128x4_squeezeblocks
#490shake256x4
#491shake128x4_absorb
#492shake256_inc_squeeze
#494shake256_inc_finalize
#495shake256_inc_absorb
#496shake256_inc_init
#497The text was updated successfully, but these errors were encountered: