The technical report on zkVMs and compilers is ready
https://www.overleaf.com/project/653a686a43f852950a85bdf2
The report is composed by these small articles:
- Schemes for recursive proof composition
- (N)IVC-based ZKVMs
- Arithmetisations for recursive schemes
- ZKVM Compilers: Motivation
- ZKVM Compilers: Goals
- ZKVM Compilers: Conclusion
I will be very happy to receive feedback