Teemu (teemu)

Damn. It is crazy to witness these ethereum upgrades go live. Feels like upgrading a small country, but oh, so much more orderly than that would be.

• 0 replies
• 0 recasts
• 1 reaction

I agree. How else could you get 10s or 100s of thousands of people to try out a testnet? It’s an incredibly useful service these people are providing as long as their activity is directed well

• 0 replies
• 0 recasts
• 0 reactions

Recently discovered that Mina Snarketplace has an interesting problem: someone is producing proofs for free and because the system is purely price based, this removes incentives for everyone else to participate. It’s a kind of attack. If everyone else stops participating, this one prover starts to dictate liveness.

• 0 replies
• 0 recasts
• 0 reactions

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

• 1 reply
• 0 recasts
• 3 reactions

Is everyone here signed up for the @gevulot devnet? Launching march 25th and free for registered users. Supports deploying provers, generating and verifying proofs and proof storage. If interested you can sign up at gevulot.com

• 2 replies
• 0 recasts
• 4 reactions

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.

• 0 replies
• 0 recasts
• 0 reactions

@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.

• 1 reply
• 0 recasts
• 0 reactions