Oddbean new post about | logout
 Zk-proof? 
 Yes, see Curve Trees as I've been describing ad nauseam in this feed :)

+ other zk systems to implement similar things, perhaps.