Gevulot is an internet scale compute network optimized for zk proofs - gevulot.com

Wow some early internet vibes here. Anyone interested in discussing decentralised prover networks? (I work on @gevulot)

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

http://opacity.network

@gevulot can only do validity proofs so it works for stuff like aztec aggregation proofs but not the client side proof. It is possible to do decentralized proving with privacy guarantees with TEEs or MPC but the overhead is significant.

Does prover network/market work for zk over private user data? Ex health data has strict regulations around it like HIPAA.

Prover networks can certainly be used, but I think we still need some client side zk.