zlacker

Yes - we've even seen entire virtual machines that allow you to prove arbitrary rust code.

Our team is leveraging zkVMs for paygo.wtf