Interesting proposal for Zcash: enable offchain execution with onchain zk verification via a new tx type where UTXOs are locked by a zk proof. This could enable trustless bridges, and thanks to Zcash’s native Halo2 support it would be relatively easy to integrate. https://forum.zcashcommunity.com/t/proposal-trustless-bridging-for-zcash/53884