tezos proof generating vm with pypy?
![](https://secure.gravatar.com/avatar/5c9f94bedbde75608546ecb7ae9c80b1.jpg?s=120&d=mm&r=g)
Hello, I'm starting to spec out how much work/what to do to make a first cut of a proof generating virtual machine (PVM <https://tezos.gitlab.io/alpha/smart_rollups.html> ) for python with pypy (specifically sandboxed2 pypy - but maybe I worry about that later). My understanding is, this is very general and high level, that I would need to modify the running of the pypy interpreter to output certain cryptographic objects at each low-level step of the pypy vm. So as a first jump into the code I was wondering if there is already some sort of interpreter-tracing system (e.g. for debugging or profiling) already in place that I could monkey about with? Ps I've already checked the pypy code out from hg and built my own pypy3.10-c etc, that's all fine. Thanks Simon
participants (1)
-
simon.parry@karoshibee.com