@eff Interesting, but the main points against ZKPs could be clearer.
Just to make sure: the main downsides are centralisation and expected shittiness of underlying software, right? With more issues stemming from those two root causes.
Did I get it right?