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

been following risc0's progress from a distance for a while, super impressed with what you guys are doing - excited for your contributions to the OP stack!

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.