Yes, that's what @vanishree_rao said! Eyes on the prize -- ZK as the substrate of all computation, but while staying real.