Repository navigation

Field vm/3mi whir - #1026

Draft

jotabulacios wants to merge 11 commits into

noepoch/whirfrom

field-vm/3mi-whir

Draft

Field vm/3mi whir#1026
jotabulacios wants to merge 11 commits into
noepoch/whirfrom
field-vm/3mi-whir

Commits on Oct 21, 2026
- Open every next-row column an AIR reads
  jotabulacios
  committed
  cd6daf3
- Add P1W16 and FP3MAC ecalls to the executor
  jotabulacios
  committed
  890b89b
- Prove P1W16 and FP3MAC as VM tables
  jotabulacios
  committed
  3177779
- Add function scope markers to LFM emitters
  jotabulacios
  committed
  7ba8ee1
- Generalize the LFM table verifier to any AIR
  jotabulacios
  committed
  7134c86
- Add the Field VM and its LFM translation
  jotabulacios
  committed
  c9bacb8
- Prove the Field VM with WHIR, bound by checksum
  jotabulacios
  committed
  8c27e0e
- Add a shape-independent Field VM fold kernel
  jotabulacios
  committed
  5a18633
- Emit v_bin as native RISC-V for split leaves
  jotabulacios
  committed
  2e0e2a6
- Compile v_bin to a schedule for one fixed guest
  jotabulacios
  committed
  a9a5013
- Verify Field VM leaves in the WHIR block tree
  jotabulacios
  committed
  44f0afa