# ART: Compiling to zkVMs

**URL:** <https://forum.anoma.net/t/art-compiling-to-zkvms/468>\
**Category:** ART\
**Created:** [February 5, 2024, 7:04pm UTC](https://forum.anoma.net/t/art-compiling-to-zkvms/468 "2024-02-05T19:04:41Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![alberto](https://dub1.discourse-cdn.com/flex013/user_avatar/forum.anoma.net/alberto/32/59_2.png) [@alberto](https://forum.anoma.net/u/alberto)\
**Post date:** [February 5, 2024, 7:04pm UTC](https://forum.anoma.net/t/art-compiling-to-zkvms/468/1 "2024-02-05T19:04:41Z")

</div>

The technical report on zkVMs and compilers is ready

[https://www.overleaf.com/project/653a686a43f852950a85bdf2](https://www.overleaf.com/project/653a686a43f852950a85bdf2)

The report is composed by these small articles:

- [Schemes for recursive proof composition](https://forum.anoma.net/t/schemes-for-recursive-proof-composition/440/1)
- [(N)IVC-based ZKVMs](https://forum.anoma.net/t/n-ivc-based-zkvms/445/1)
- [Arithmetisations for recursive schemes](https://forum.anoma.net/t/arithmetisations-for-recursive-schemes/453/1)
- [ZKVM Compilers: Motivation](https://forum.anoma.net/t/zkvm-compilers-motivation/446/1)
- [ZKVM Compilers: Goals](https://forum.anoma.net/t/zkvm-compilers-goals/459/1)
- [ZKVM Compilers: Conclusion](https://forum.anoma.net/t/zkvm-compilers-conclusion/463/1)

I will be very happy to receive feedback