Is AVM/TEAL compatible with verification of ZK-SNARK proof?

I just saw this answer from @fabrice :

So I’m afraid the answer to my question is no (as I need to implement verification of a SNARK in a smart contract).