Diego Prats | nexus.xyz
@mexitlan
VP Engineering @NexusLabs. Working on verifiable computing. prev. @dfinity @harvard @usc
You might like
At BASS and SBC conversations around AI and crypto circled the same question: How do we trust systems we can’t see inside? @alexanderfowler and @danielmarinq argued that trust will come from infrastructure designed for proofs. Read more: blog.nexus.xyz/verifiable-ai-…
Tanner is awesome
Meet @duveZK, zkVM engineer at Nexus. He studied logic and CS, and now works on formal verification, zero-knowledge proofs, and the infrastructure powering verifiable AI.
🚀
New record on Nexus Testnet III 1 million nodes simultaneously connected
🚀🚀
Check it out! Feedback wanted
Update: Fixing a known issue on the Nexus OS where it doesn’t show devnet points
Humbled to be a part of the team
The team is cooking.
Come by !
At Nexus we are doing a ton of AI work If you are in the SF / Bay Area -- come vibe with us at our vibe coding event tonight, food included: lu.ma/e4u4g4ub
It’s really cool to work at a place where cryptography, consensus, AI, compilers, economics are all part of the daily dialogue.
A very basic overview of our vision for the Nexus Consensus Layer ...and the path towards $100B in assets staked Big things coming
If you're in SF join us for an AI / MCP x crypto night We'll be (vibe) coding a few many AI / agents interacting with blockchains in very exciting ways lu.ma/e4u4g4ub
Excited to share that staring from zkVM 4.0 (coming in a couple of months), all future versions of the Nexus zkVM will have AI-powered soundness verification checks across all circuits and all formal specs
Very excited about this!
Excited to announce the Nexus AI Lab At Nexus, we are massively doubling and tripling down on all our AI efforts, end-to-end. Today, we are already working with a few many partners to accelerate products at the intersection of economics, verifiability and AI DM if you want to…
So glad be working with @riyazdf
Welcome Riyaz Faizullabhoy (@riyazdf) as VP of Security. Riyaz joins Nexus after co-founding Bastion, being CTO @a16zcrypto, tech lead and architect for Novi (formerly Facebook’s Blockchain wallet), and more. blog.nexus.xyz/welcoming-riya…
New deeply technical AI engineering open roles at Nexus. If you’re a highly technical engineer, in love of computers — and looking to deploy software to millions of users worldwide DMs open We’re forming a killer in-person team in San Francisco
We are excited to announce a strategic partnership with Halliday, a trailblazer in enabling seamless payment experiences for Web3. Halliday’s end-to-end payments platform allows users to acquire and manage any asset onchain with just a single click.
Folks, the @NexusLabs X account got hacked through a phishing attack just now -- please be careful and don't interact with it
United States Trends
- 1. Penn State 24.4K posts
- 2. Indiana 40.2K posts
- 3. Mendoza 21.5K posts
- 4. Gus Johnson 7,335 posts
- 5. Heisman 9,721 posts
- 6. #UFCVegas111 6,547 posts
- 7. Iowa 21.5K posts
- 8. Sayin 70.6K posts
- 9. #iufb 4,472 posts
- 10. Mizzou 4,377 posts
- 11. Oregon 34.7K posts
- 12. Omar Cooper 10.2K posts
- 13. Cam Coleman N/A
- 14. Estevao 44.5K posts
- 15. Beck 7,669 posts
- 16. Josh Hokit N/A
- 17. Barcelos N/A
- 18. Kirby Moore N/A
- 19. Stein 3,296 posts
- 20. Pringle N/A
You might like
-
jan.icp ∞
@JanCamenisch -
Kyle ∞
@kylelangham -
lastmjs
@lastmjs -
NFID Labs
@IdentityMaxis -
Kinic AI
@kinic_app -
Bob Bodily / Bitcoin DeFi 🧙🏽♂️
@BobBodily -
Moritz
@cryptoschindler -
ICDevs.org ∞
@ICDevs_org -
Seb 👽
@seb_and_botoko -
ICP Jesse 💬🌮
@icpjesse -
herbert.icp
@herbertyang -
Lomesh Dutta ∞
@lomeshdutta -
wpb
@sayitkind -
Matthias ∎ (🇦🇷,🧉)
@BronerMatthias -
Web3 Biebert
@Web3Biebert
Something went wrong.
Something went wrong.