My colleague made a python runtime for RISC Zero. It outputs an execution receipt along with the program output.

My colleague made a python runtime for RISC Zero. It outputs an execution receipt along with the program output.

https://github.com/eqtylab/pyzero

Then you can also use the web verifier to check the receipt and view the journal data and a summary of the execution.

Permissionless public infrastructure. Contributing to Optimism at OP Labs. 
🇨🇦🏔️ https://www.pauldowman.com

Then you can also use the web verifier to check the receipt and view the journal data and a summary of the execution.

https://risc0.verify.eqtylab.io/