You'll probably want to check out zerosync, they pioneered this (and afaik they were/are Starkware funded)

Paper: https://zerosync.com/zerosync.pdf Website: https://zerosync.com/

If you want to check a presentation, see the start of #299018 (alt link in case youtube thinks that you're a bot like me)