hash based SNARKs vs pairing based SNARKs

Lattice based SNARKs which are additively homomorphic, post quantum secure, work in small fields, and are generally cool. Have a just a few papers.

Memory efficient ZKP at https://NovaNet.xyz

Off-chain compute triggers on-chain actions, on any device.
https://blog.icme.io/

Private Basename
zkbasename.com

Lol. I thought you meant the amount of teams focused on Starkish systems (many). Folding people like homomorphism, Starkish people like small fields, the best of both is in Lattice but it is largely unexplored.

i meant to describe the proof size  with this meme lol

but fair enough. do you think lattice based SNARKs will be more widely adopted in the future in zkVMs or other applications?