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)

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.

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.

Btw I dont know if this is a hot take but I dont think proof markets make any sense whatsoever. They quite literally offer no guarantees at all while all the usecases need liveness/availability/pricing guarantees.