last night i used sp1 to create a program that generates a validity proof that a given number is prime or not without knowing rust or using any crypto

feels like a gamechanger to me. can't wait for these proofs to be snarked and verifiable in solidity

(when i figure out how to do u32 sqrt it's over for yall)

It’s definitely a game changer but the game was changed a long time ago — tons of examples of how to use RISC Zero (the OG general propose zkvm) here:

It’s definitely a game changer but the game was changed a long time ago — tons of examples of how to use RISC Zero (the OG general propose zkvm) here: https://github.com/risc0/risc0/tree/main/examples

Builder, Burner, Artist, Guy
Co-founder, Ex-CEO @ risczero.com

Yeah zkVMs aren’t particularly new.

SP1 seems to be valida (community project) just wrapped into a better devEx.

I don’t think it enables anything new though.

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

http://opacity.network

It’ll be funny to see how people react when they also announce infrastructure to aggregate proofs to make it cheaper to bring onchain (how they monetize).

The great innovation of aggregating proofs.