Zk-proof?
Yes, see Curve Trees as I've been describing ad nauseam in this feed :) + other zk systems to implement similar things, perhaps.