Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

http://opacity.network

I'm a little teapot who didn't fill out my bio

The way things are is usually to get fast proving times you have to make verification slower and vice versa.

It appears to be a fundamental trade off at some point. There are things like p-lookup which go against this.

What’s the main benefits/drawbacks of improving one vs the other ?

From my experience verifying is far far faster than proof generation and should be prioritized.

Even though it's a very difficult art psychologically, it turns out that investing in the ATH since 1988 has given a pretty decent advantage in average cumulative return over a period of 1-3 years compared to investing on a random day.