Checkout zkVVM on @devfolio https://devfolio.co/projects/zkvvm-fce0