Issues

• Zig *_64 files (and p448_solinas_32) branch on secret data on riscv32

  mit-plv/fiat-crypto#2462 · Filter by author JasonGross-fiat-crypto-bot opened on Oct 9, 2026
  2

• self-hosted runners with dynamic failover

  mit-plv/fiat-crypto#2439 · Filter by author andres-erbsen opened on Sep 14, 2026

• Timing side-channel: cmovznz initial boolean via cpse on AVR

  mit-plv/fiat-crypto#2379 · Filter by author ZahiyaZahid opened on Aug 11, 2026
  4

• Speeding up MacOS x86_64 build

  mit-plv/fiat-crypto#2314 · Filter by author JasonGross opened on Apr 28, 2026
  4

• Architecture independent P256 functions

  mit-plv/fiat-crypto#2304 · Filter by author miriampolzer opened on Apr 8, 2026
  2

  

• persistent comments/docstrings for bedrock2 and generated C code

  mit-plv/fiat-crypto#2303 · Filter by author miriampolzer opened on Apr 8, 2026
  

• fiat-rust: why word-by-word-montgomery for NIST P-curves?

  mit-plv/fiat-crypto#2284 · Filter by author tarcieri opened on Mar 6, 2026

• Clarification regarding LGPL license used by src/Util/ListUtil/StdlibCompat.v

  mit-plv/fiat-crypto#2257 · Filter by author jas4711 opened on Feb 15, 2026
  5

• Future-proof Signature.v

  mit-plv/fiat-crypto#2238 · Filter by author miriampolzer opened on Jan 15, 2026

• Clean up warnings

  mit-plv/fiat-crypto#2237 · Filter by author miriampolzer opened on Jan 15, 2026
  

• Clean up proof duplication and explicitly named identifiers in Secp256k1

  mit-plv/fiat-crypto#2236 · Filter by author miriampolzer opened on Jan 15, 2026

• Refactor sizedlistarray

  mit-plv/fiat-crypto#2235 · Filter by author miriampolzer opened on Jan 15, 2026
  2

  

• Rename the seprewrite that is not in SeparationLogic but in ProgramLogic to avoid name clashes

  mit-plv/fiat-crypto#2234 · Filter by author miriampolzer opened on Jan 15, 2026

• Remove duplicated bytes_per

  mit-plv/fiat-crypto#2233 · Filter by author miriampolzer opened on Jan 15, 2026

• Easier to use separation logic equivalences

  mit-plv/fiat-crypto#2232 · Filter by author miriampolzer opened on Jan 15, 2026

• update Makefile for rocq command

  mit-plv/fiat-crypto#2225 · Filter by author miriampolzer opened on Dec 23, 2025

• Why is MacOS 13 build so slow?

  mit-plv/fiat-crypto#2208 · Filter by author JasonGross opened on Dec 10, 2025

• PLDI 2024 artifact not building

  mit-plv/fiat-crypto#2164 · Filter by author CharlesAverill opened on Sep 17, 2025
  2

• Run dependabot twice daily

  mit-plv/fiat-crypto#2149 · Filter by author andres-erbsen opened on Sep 2, 2025

• fe25519_inv is not in normal form

  Bug

  mit-plv/fiat-crypto#2135 · Filter by author miriampolzer opened on Aug 8, 2025
  2

• Move fiat-* artifacts off main branch, generate in CI

  mit-plv/fiat-crypto#2123 · Filter by author andres-erbsen opened on Jul 15, 2025
  1

• Fine-grained parallel build (tracking issue)

  mit-plv/fiat-crypto#2119 · Filter by author andres-erbsen opened on Jul 15, 2025
  1

• Asm equivalence checker should handle: (neg 64, [9]) ≠ (slice 0 64, [(negZ, [9])])

  mit-plv/fiat-crypto#2050 · Filter by author JasonGross opened on Mar 11, 2025
  2

• equivalence checker should not assume that all arrays are of uint64

  mit-plv/fiat-crypto#2040 · Filter by author JasonGross opened on Mar 7, 2025

• Field operations for small prime moduli

  mit-plv/fiat-crypto#1982 · Filter by author atrieu opened on Nov 5, 2024
  4