Skip to content
Back to pull request #493

CBMC: Prove mlkem_shake256_prf and mlkem_shake256_rkprf #3075

Sign in to view logs

CBMC: Prove mlkem_shake256_prf and mlkem_shake256_rkprf

CBMC: Prove mlkem_shake256_prf and mlkem_shake256_rkprf #3075

CBMC (ML-KEM-1024)  /  Run test

CBMC (ML-KEM-1024) / Run test
succeeded Dec 4, 2024 in 10m 8s