7 Pull requests merged by 3 people

• CI: Add EC2 runners and move CBMC there

  #178 merged Apr 28, 2025

• Add spec and proofs for Keccak dependent functions

  #167 merged Apr 25, 2025

• CBMC: Add contract and proof for further polyvec functions

  #176 merged Apr 24, 2025

• CBMC: Add contracts and proofs for more polyvec functions

  #169 merged Apr 24, 2025

• Simplification and proof of unpack_sig() and supporting functions.

  #139 merged Apr 23, 2025

• Add benchmarking (Raspberry Pi 5, Cortex-A55, Banana PI F3)

  #52 merged Apr 23, 2025

• Benchmarking CI: Add Mac Mini M1

  #177 merged Apr 23, 2025

3 Pull requests opened by 2 people

• CMBC: Refactor, add contract and proof for invntt_tomont

  #179 opened Apr 22, 2025

• CBMC: Add contract and proof for poly_invntt_tomont

  #180 opened Apr 23, 2025

• Add spec and proofs for Keccak dependent functions

  #181 opened Apr 25, 2025

7 Issues closed by 1 person

• CBMC: Prove `polyvecl_pointwise_poly_montgomery`

  #120 closed Apr 24, 2025

• CBMC: Prove `polyveck_pointwise_poly_montgomery`

  #131 closed Apr 24, 2025

• CBMC: Prove `polyveck_shiftl`

  #128 closed Apr 24, 2025

• CBMC: Prove `polyveck_ntt`

  #129 closed Apr 24, 2025

• CBMC: Prove `polyveck_power2round`

  #133 closed Apr 24, 2025

• CBMC: Prove `polyvecl_ntt`

  #118 closed Apr 24, 2025

• CBMC: Prove `polyveck_caddq`

  #125 closed Apr 24, 2025

1 Issue opened by 1 person

• Update ACVP to v.1.0.39

  #182 opened Apr 28, 2025

15 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Remove whole-struct assignment in `polyvec` functions

  #102 commented on Apr 22, 2025 • 0 new comments

• CBMC: Prove `invntt_tomont`

  #103 commented on Apr 22, 2025 • 0 new comments

• CBMC: Prove `polyveck_invntt_tomont`

  #130 commented on Apr 22, 2025 • 0 new comments

• CBMC: Prove `polyvecl_invntt_tomont`

  #119 commented on Apr 23, 2025 • 0 new comments

• CBMC: Prove `poly_invntt_tomont`

  #106 commented on Apr 23, 2025 • 0 new comments

• CBMC: Prove `shake128_finalize`

  #150 commented on Apr 28, 2025 • 0 new comments

• CBMC: Prove `shake128_absorb`

  #149 commented on Apr 28, 2025 • 0 new comments

• CBMC: Prove `shake128_init`

  #148 commented on Apr 28, 2025 • 0 new comments

• CBMC: Prove `shake256_finalize`

  #147 commented on Apr 28, 2025 • 0 new comments

• CBMC: Prove `shake256_absorb`

  #146 commented on Apr 28, 2025 • 0 new comments

• CBMC: Prove `shake256_init`

  #145 commented on Apr 28, 2025 • 0 new comments

• CBMC: Prove `shake256_squeezeblocks`

  #144 commented on Apr 28, 2025 • 0 new comments

• CBMC: Prove `mldsa_shake256_stream_init`

  #143 commented on Apr 28, 2025 • 0 new comments

• CBMC: Prove `shake128_squeezeblocks`

  #142 commented on Apr 28, 2025 • 0 new comments

• CBMC: Prove `mldsa_shake128_stream_init`

  #141 commented on Apr 28, 2025 • 0 new comments