Are there even any proposals. My understanding was it is just drive chains but those aren't trust less
Discussion
If I need to trust half of all the hash rate, that's trustless in my book. But I know people don't share that view.
ZK_VERIFY is another one (I think there is no formal proposal for this one).
Pay-to-Snark was not remotely practical when in 2013 when Maxwell proposed it