Diego Prats (@mexitlan) 's Twitter Profile
Diego Prats

@mexitlan

VP Engineering @NexusLabs. Working on verifiable computing. prev. @dfinity @harvard @usc

ID: 282717307

calendar_today15-04-2011 19:32:52

8,8K Tweet

4,4K Followers

366 Following

Nexus (@nexuslabs) 's Twitter Profile Photo

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.

Dan | nexus.xyz (@danielmarinq) 's Twitter Profile Photo

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

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
Dan | nexus.xyz (@danielmarinq) 's Twitter Profile Photo

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

Dan | nexus.xyz (@danielmarinq) 's Twitter Profile Photo

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

Diego Prats (@mexitlan) 's Twitter Profile Photo

It’s really cool to work at a place where cryptography, consensus, AI, compilers, economics are all part of the daily dialogue.

Nexus (@nexuslabs) 's Twitter Profile Photo

At BASS and SBC conversations around AI and crypto circled the same question: How do we trust systems we can’t see inside? Alex Fowler and Daniel Marin | nexus.xyz argued that trust will come from infrastructure designed for proofs. Read more: blog.nexus.xyz/verifiable-ai-…