Tim Carstens Ⓥ✨ is hacking zk (@intoverflow) 's Twitter Profile
Tim Carstens Ⓥ✨ is hacking zk

@intoverflow

Pan computer science. Math and math accessories. Clean, efficient, reliable number systems sold daily. ✨ Eng @ RISC Zero 🤫 Personal account 🥸

ID: 15486667

linkhttps://example.com calendar_today18-07-2008 21:29:33

6,6K Tweet

2,2K Takipçi

1,1K Takip Edilen

nader dabit (@dabit3) 's Twitter Profile Photo

some people who have access to people smarter than them subconsciously view them as a threat when in reality it is a huge blessing

Tim Carstens Ⓥ✨ is hacking zk (@intoverflow) 's Twitter Profile Photo

Congrats to the Aztec fam! It’s like they say … in this world habibi, you must be oh so capitalized, or so oh decentralized I’ve tried capitalized I recommend decentralized

Making Big Things Smol (@yourbuddyconner) 's Twitter Profile Photo

Finally getting around to running a Boundless prover and having tasted a lot of ZK dishes in my time, I think I can say authoritatively that this is some good food. 🍱

Rami ✨️ (@hashcashier) 's Twitter Profile Photo

Worried about fraud? Just ask your operator about Kailua! The best fraud proof system out there! Coming soon to every security aware rollup, like MegaETH, near you!

Making Big Things Smol (@yourbuddyconner) 's Twitter Profile Photo

Had a great time spreading the word about ZKarnage and Prooflab at Frontier Tower today, thanks to House of ZK for the invite! I was told by multiple sources that the best part was the pink hats -- I always have a couple on me if you catch me at a SF Crypto event!

Had a great time spreading the word about ZKarnage and <a href="/TheProofLab/">Prooflab</a> at <a href="/frontiertower/">Frontier Tower</a> today, thanks to <a href="/HouseofZK/">House of ZK</a> for the invite! 

I was told by multiple sources that the best part was the pink hats -- I always have a couple on me if you catch me at a SF Crypto event!
Rami ✨️ (@hashcashier) 's Twitter Profile Photo

The team behind BOB is brilliant, diligent, and has been laying down many of the foundations in the space for years now. And now their rollup rests on the most solid foundation for optimistic security today: Kailua. Go. Read. The. Docs. risc0.github.io/kailua/ gBOB

Lean (@leanprover) 's Twitter Profile Photo

Big day for Lean! Alex Gerko of XTX Markets is donating $10M to the Lean FRO and the new Mathlib Initiative to support the future of formal mathematics and machine-checked proofs. Thank you, Alex Gerko and Convergent Research, for believing in the mission. Read the full