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)

Wow. This is cool. You’d like noir (https://noir-lang.org/). It’s a rust-like language built specifically for proofs. You could also generate a solidity verifier from your code

cypherpunk wannabe, engineer working on @frames /open-frames /opencast
https://stephancill.co.za create stories at https://stories.steer.fun

@blockbot Steward. Frames Builder. Pro Chess-er ♟️
