Yes, see Curve Trees as I've been describing ad nauseam in this feed :)

+ other zk systems to implement similar things, perhaps.