本文档详细描述了Cannon故障证明虚拟机(FPVM)的规范,该虚拟机模拟了一个运行在big-endian 32位MIPS32架构上的最小Linux系统,重点介绍了FPVM的状态(包括内存、寄存器等)、内存管理(包括堆)、延迟槽、系统调用、I/O操作(包括标准流、提示通信和预图像通信)以及异常处理,为理解和实现FPVM提供技术指导。