It has been working for years in Zcash.

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

Our team is leveraging zkVMs for paygo.wtf

Ofc, since approx the 80s