Founders/Builders: If you had to choose a zkVM today, what’s your pick and the one killer reason (throughput, cost, DX, roadmap, security model)?

Links welcome.

Protocols, platforms, and the economics of human behavior.

SP1 zkVM because ... well, just look at it.
You just code in rust and voila, MVP done. You don't have to think about it.

Depin Dev hosting /m3ter-heads and building M3tering on Ethereum.

🪙 Tokenize Resources; Democratize Participation 🤝

Abuja, Federal Capital Territory, Nigeria

Ethereum

What's the tradeoff though, how much gas does it take to verify sp1's proof on eth?

For a snark proof, that's about ~270k gas while a plonk proof costs a little more at ~300k gas. 🙂

Here's the gas profile of one SNARK verification I did recently.

22 yr old learning to think in terms of proof systems🦀 and learning to model the world

For a snark proof, that's about ~270k gas while a plonk proof costs a little more at ~300k gas. 🙂

Here's the gas profile of one SNARK verification I did recently.

https://docs.succinct.xyz/docs/sp1/generating-proofs/proof-types

zkVM still have hidden cost of actually zkvm, i've heard it takes multiple high end gpu like h100s for proving an ethereum block in real time.

But then, it's the verification part that really matters. 

As long as everyone else doesn't need the h100s to verify that proof and keep progressing the chain, then it's in fact, a good tradeoff and a viable path that Ethereum should explore.