Question: Is cycle count in SP1 correspond to total or user cycles in RISC0?

[yaziciahmet]

Hey guys. It is not clear to me whether the cycle count in SP1 correspond to total or user cycles in RISC0. Would appreciate a clarification.

[puma314]

I'm not exactly sure what "total" vs. "user cycles" is in RiscZero--it might have something to do with their memory argument requiring extra cycles for paging merklized memory?

Our cycle count represents the total amount of instructions that need to be processed to generate an SP1 proof, so my guess is that it corresponds to the "total cycles" in RiscZero.