Cache execution segment proof for Python VM initialization #1
Description
Python VM initialization alone takes ~60 million cpu cycles so even running a simple python script that uses less than 1 million cycles is prohibitively expensive.
It should be possible to make use of continuations to cache and re-use the proof for this ~60 million cycle execution segment that should be the same between all runs.
References:
- https://github.com/risc0/risc0/blob/a65a841874c0cb27692bd4f7b95d0fcf1e5a46a1/risc0/zkvm/src/host/server/prove/tests.rs#L395
- https://github.com/risc0/risc0/blob/a65a841874c0cb27692bd4f7b95d0fcf1e5a46a1/risc0/zkvm/methods/guest/src/bin/multi_test.rs#L107
- https://discordapp.com/channels/953703904086994974/1212514749720567828
It probably makes sense to go beyond just caching it and embed it in the binary so no user ever has to run that segment.