Hacker News new | ask | show | jobs
by 0xOsprey 348 days ago
Yes - we've even seen entire virtual machines that allow you to prove arbitrary rust code.

Our team is leveraging zkVMs for paygo.wtf