本文探讨了在zkVM中，RISC-V的32个寄存器限制导致大量spill操作，增加证明成本的问题。作者通过让Claude修改LLVM，生成了支持1024个寄存器的RISC-V变体（RISCV-X），实验表明可消除函数内spill，减少约14%的trace单元，但调用约定导致的跨函数spill仍然存在。与powdr的crush方案对比，后者通过无限寄存器和帧分离更好地解决了此问题。结论：扩展寄存器对内部寄存器压力有效，但无法解决调用约定问题；AI辅助实验效率高。
