
Uma Roy
@pumatheuma
Making ZKPs accessible to any developer @succinctlabs | Hiring jobs.ashbyhq.com/succinct
ID: 965990932549177344
20-02-2018 16:46:00
1,1K Tweet
16,16K Followers
723 Following



Yesterday we announced round 2 of our formal verification efforts—this time with Nethermind. We collaborated with them to formally verify our SP1 u32 add/sub circuit with Lean, and set up a foundation for formally verifying all of our circuits over the next few months. Our






Agree with vitalik.eth's priorities for Ethereum L2s. Note that the only way to get (ii) (<1h native withdrawal times) is for rollups to go full ZK.





Uma Roy It's incredible how easy succinct was to use, I just passed in the docs into Cursor's context and within a couple of iterations the proof was working. Took longer to get audited than to build. I'm bullish on Succinct and sp1, though for the network to capture value these proofs



