If I were serious about porting this project to Go, where would you recommend that I start?
Perhaps you could team up?
EDIT: is there a license for this? Can I use it?
In all seriousness, thank you. I have exactly zero experience with Rust, but if I can help with anything, feel free to reach out: @lthibault on GitHub.
Moreover, I'll likely be spinning this off into a full-fledged repo of some sort. I'll keep you updated, and am more than happy to coordinate our efforts.
Thanks again, and congratulations on this incredible piece of engineering!
Yeah, it still needs a few changes on the HVM rust compiler to work, but we could figure it out together if you want.
Hit me up on @Cauef on telegram, caue.fcr@gmail.com, or let's talk on the issue pages of HVM!