CBMC: State (not prove) `poly_invntt_tomont` + Prove `polyvec_ntt` and `polyvec_invntt_tomont`#380

Merged

hanno-becker merged 2 commits intomainfrom cbmc-invntt

Nov 12, 2024

+213-17

Commits on Nov 12, 2024

CBMC: Proof polyvec_ntt
mkannwischer
committed
CBMC: State poly_invntt_tomont, polyvec_invntt_tomont; Proof polyvec_invntt_tomont

mkannwischer
authored and
hanno-becker
committed