Uma Roy (@pumatheuma) 's Twitter Profile
Uma Roy

@pumatheuma

Making ZKPs accessible to any developer @succinctlabs | Hiring jobs.ashbyhq.com/succinct

ID: 965990932549177344

calendar_today20-02-2018 16:46:00

1,1K Tweet

16,16K Followers

723 Following

Uma Roy (@pumatheuma) 's Twitter Profile Photo

I think another dire hire for Ethereum is the equivalent of Solana's Lily Liu. Someone who deeply understands the needs of institutions, speaks the language of capital markets, and is just a fucking killer.

K Kulkarni (@ks_kulk) 's Twitter Profile Photo

Exciting to see how the vApp development pattern enables fast, secure payments that are more than 10x as scalable as their blockchain-only alternatives. When Joe and sina.eth shared the Paygo demo, it became obvious that apps paying dynamic transaction fees, sharing

Uma Roy (@pumatheuma) 's Twitter Profile Photo

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

Emiliano Bonassi (@emilianobonassi) 's Twitter Profile Photo

I like realtime stuff Here’s the best timing for Ethereum Realtime Proving on Succinct Just 9.1 Seconds 🔥 An historical moment, deserved a mint on zora (link to collect in the thread) Looking forward for ZK future!

I like realtime stuff 

Here’s the best timing for Ethereum Realtime Proving on <a href="/SuccinctLabs/">Succinct</a>

Just 9.1 Seconds 🔥

An historical moment, deserved a mint on <a href="/zora/">zora</a> (link to collect in the thread)

Looking forward for ZK future!
Uma Roy (@pumatheuma) 's Twitter Profile Photo

So much math, performance engineering, distributed systems wrangling in 1 beautiful visualization 😍 chris the 🐐 for real (and designed by 🐐 John Guibas as usual)

Uma Roy (@pumatheuma) 's Twitter Profile Photo

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.

K Kulkarni (@ks_kulk) 's Twitter Profile Photo

The former chair of the Council of Economic Advisers wrote an article saying there's "no legit use case" for crypto. But ironically, his own article points to a huge one: solving KYC with ZK. The article correctly notes that identity is really important for finance today. We

The former chair of the Council of Economic Advisers wrote an article saying there's "no legit use case" for crypto.

But ironically, his own article points to a huge one: solving KYC with ZK. 

The article correctly notes that identity is really important for finance today. We
AzFlin 🌎 (@azflin) 's Twitter Profile Photo

Ok this goes kinda hard Being able to prove you own something (coins, NFTs) without exposing your wallets is legitimately useful etherean tech Only possible with Succinct? (Idk actually I have no idea how zk works lmao)

Uma Roy (@pumatheuma) 's Twitter Profile Photo

🚨 Bootstrapping an anonymous identity with ZKPs is here. ZK identity is going mainstream, powered by Succinct. Freaky is an anonymous HYPE whale (with >$25M in HYPE) that reached out to create an X account with proof of HYPE ownership, while keeping his addresses

Freaky (@freakmycrypto) 's Twitter Profile Photo

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

Clips of Crypto (@clipsofcrypto) 's Twitter Profile Photo

“ZK arguably is to crypto, what the transformer is to AI” Balaji explaining Zero Knowledge technology and its real life use cases - on TBPN crypto day

Uma Roy (@pumatheuma) 's Twitter Profile Photo

Excited to see the Katana chain, Polygon's new incubation, using Succinct for proving. With this announcement, SP1 is powering ZK proofs behind many heavy-hitting L2s: • Mantle (~$1.5B TVL, proofs on testnet) • Katana (flagship DeFi chain, proofs coming to testnet soon) •

Uma Roy (@pumatheuma) 's Twitter Profile Photo

On ETH Proofs, there are now 3 teams besides Succinct that are generating SP1 proofs: Snarkify, ZkCloud and Cysic! Excited to get these prover teams onboarded to the network. In the upcoming weeks, we will have a lot more prover-related announcements. Stay tuned.

On ETH Proofs, there are now 3 teams besides Succinct that are generating SP1 proofs: <a href="/Snarkify_ZKP/">Snarkify</a>, <a href="/thezkcloud/">ZkCloud</a> and <a href="/cysic_xyz/">Cysic</a>!

Excited to get these prover teams onboarded to the network.

In the upcoming weeks, we will have a lot more prover-related announcements. Stay tuned.