Profiling resumed executions crashes due to cycle count overflow - Githubissues

risc0 / risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

https://risczero.com

Apache License 2.0

1.69k stars 428 forks source link

Profiling resumed executions crashes due to cycle count overflow #2062

Open hashcashier opened 4 months ago

hashcashier commented 4 months ago

Is there an existing issue?

[X] I have searched the existing issues

Experiencing problems? Have you tried our Discord first?

[X] This is not a support question.

Description of bug

With the profiler enabled, sessions that are resumptions of previously paused sessions crash the executor.

Steps to reproduce

This test file reproduces the test file programmatically

Create a guest that calls env::pause.
Enable the profiler in the env builder.
Prove the first session as normal.
Attempt to prove the second session.

linear[bot] commented 4 months ago

ZKVM-473 Profiling resumed executions crashes due to cycle count overflow