My Assessment of Compute Verification in Plan A (+ open questions)

OverviewThese are my non-expert notes on the compute verification section of AIFP’s Plan A. I cover interconnect limits, memory wipes, network taps + replay, and ZKPs. For the most part, the sections can be read independently. I restrict my attention to inference-only verification: ensuring that compute is used for inference, not training. For each method suggested by AIFP, I ask:How much can it slow down training?How much overhead does it add to inference?What sensitive information does it requ...